제네릭 형식 매개 변수의 in 경우 키워드는 형식 매개 변수가 반공변성임을 지정합니다. 제네릭 인터페이스 및 대리자 in 에서 키워드를 사용할 수 있습니다.
반공변을 사용하면 제네릭 매개 변수에 지정된 것보다 덜 파생된 형식을 사용할 수 있습니다. 이렇게 하면 반공변 인터페이스를 구현하는 클래스를 암시적으로 변환하고 대리자 형식을 암시적으로 변환할 수 있습니다. 제네릭 형식 매개 변수의 공변성 및 반공변은 참조 형식에 대해 지원되지만 값 형식에는 지원되지 않습니다.
형식은 메서드의 반환 형식이 아닌 메서드의 매개 변수 형식을 정의하는 경우에만 제네릭 인터페이스 또는 대리자에서 반공변성으로 선언할 수 있습니다.
In, ref및 out 매개 변수는 고정이어야 하며, 이는 공변성이나 반공변성이 아니어야 하므로
반공변 형식 매개 변수가 있는 인터페이스를 사용하면 해당 메서드가 인터페이스 형식 매개 변수에 지정된 것보다 덜 파생된 형식의 인수를 수락할 수 있습니다. 예를 들어 인터페이스에서 IComparer<T> T 형식은 반공변성이며 상속되는 경우 Employee 특수 변환 메서드를 사용하지 않고 형식의 개체를 형식의 IComparer<Employee> 개체에 할당 IComparer<Person> 할 수 있습니다Person.
반공변 대리자는 동일한 형식의 다른 대리자를 할당할 수 있지만 파생된 제네릭 형식 매개 변수는 적습니다.
자세한 내용은 공변성 및 반공변성(Contravariance)을 참조하세요.
반공변 제네릭 인터페이스
다음 예제에서는 반공변 제네릭 인터페이스를 선언, 확장 및 구현하는 방법을 보여줍니다. 또한 이 인터페이스를 구현하는 클래스에 암시적 변환을 사용하는 방법도 보여 줍니다.
// Contravariant interface.
interface IContravariant<in A> { }
// Extending contravariant interface.
interface IExtContravariant<in A> : IContravariant<A> { }
// Implementing contravariant interface.
class Sample<A> : IContravariant<A> { }
class Program
{
static void Test()
{
IContravariant<Object> iobj = new Sample<Object>();
IContravariant<String> istr = new Sample<String>();
// You can assign iobj to istr because
// the IContravariant interface is contravariant.
istr = iobj;
}
}
반공변 제네릭 대리자
다음 예제에서는 반공변 제네릭 대리자를 선언, 인스턴스화 및 호출하는 방법을 보여줍니다. 또한 대리자 형식을 암시적으로 변환하는 방법도 보여줍니다.
// Contravariant delegate.
public delegate void DContravariant<in A>(A argument);
// Methods that match the delegate signature.
public static void SampleControl(Control control)
{ }
public static void SampleButton(Button button)
{ }
public void Test()
{
// Instantiating the delegates with the methods.
DContravariant<Control> dControl = SampleControl;
DContravariant<Button> dButton = SampleButton;
// You can assign dControl to dButton
// because the DContravariant delegate is contravariant.
dButton = dControl;
// Invoke the delegate.
dButton(new Button());
}
C# 언어 사양
자세한 내용은 C# 언어 사양을 참조하세요. 언어 사양은 C# 구문 및 사용의 최종 소스입니다.
참고하십시오
.NET