제네릭 형식 매개 변수의 경우 키워드는 out 형식 매개 변수가 공변성임을 지정합니다.
out 제네릭 인터페이스 및 대리자에서 키워드를 사용합니다.
공변성에서는 제네릭 매개 변수가 지정하는 것보다 더 많은 파생 형식을 사용할 수 있습니다. 이 기능을 사용하면 공변 인터페이스를 구현하는 클래스를 암시적으로 변환하고 대리자 형식을 암시적으로 변환할 수 있습니다. 공변성 및 반공변은 참조 형식을 지원하지만 값 형식은 지원하지 않습니다.
공변 형식 매개 변수가 있는 인터페이스를 사용하면 해당 메서드가 형식 매개 변수에 지정된 형식보다 더 많은 파생 형식을 반환할 수 있습니다. 예를 들어 .NET에서 IEnumerable<T>T 형식은 공변이므로 특수 변환 메서드를 사용하지 않고 형식의 개체를 형식의 개체에 IEnumerable<object> 할당 IEnumerable<string> 할 수 있습니다.
동일한 형식의 다른 대리자에게 공변 대리자를 할당할 수 있지만 더 파생된 제네릭 형식 매개 변수를 사용할 수 있습니다.
자세한 내용은 공변성 및 반공변성(Contravariance)을 참조하세요.
C# 언어 참조는 가장 최근에 릴리스된 C# 언어 버전을 문서화합니다. 또한 예정된 언어 릴리스의 공개 미리 보기 기능에 대한 초기 설명서도 포함되어 있습니다.
설명서는 언어의 마지막 세 버전 또는 현재 공개 미리 보기에서 처음 도입된 기능을 식별합니다.
팁 (조언)
C#에서 기능이 처음 도입된 시기를 찾으려면 C# 언어 버전 기록에 대한 문서를 참조하세요.
다음 예제에서는 공변 제네릭 인터페이스를 선언, 확장 및 구현하는 방법을 보여줍니다. 또한 공변 인터페이스를 구현하는 클래스에 암시적 변환을 사용하는 방법을 보여 줍니다.
// Covariant interface.
interface ICovariant<out R> { }
// Extending covariant interface.
interface IExtCovariant<out R> : ICovariant<R> { }
// Implementing covariant interface.
class Sample<R> : ICovariant<R> { }
class Program
{
static void Test()
{
ICovariant<Object> iobj = new Sample<Object>();
ICovariant<String> istr = new Sample<String>();
// You can assign istr to iobj because
// the ICovariant interface is covariant.
iobj = istr;
}
}
제네릭 인터페이스에서 다음 조건을 충족하는 경우 형식 매개 변수 공변을 선언합니다.
형식 매개 변수는 인터페이스 메서드의 반환 형식으로만 사용하며 메서드 인수의 형식으로 사용하지 않습니다.
비고
이 규칙에는 한 가지 예외가 있습니다. 공변 인터페이스에 메서드 매개 변수로 반공변 제네릭 대리자가 있는 경우 공변 형식을 이 대리자의 제네릭 형식 매개 변수로 사용할 수 있습니다. 공변성 및 반공변 제네릭 대리자에 대한 자세한 내용은 대리자에서의 분산 및 Func 및 작업 제네릭 대리자에서 분산 사용을 참조하세요.
형식 매개 변수는 인터페이스 메서드에 대한 제네릭 제약 조건으로 사용하지 않습니다.
다음 예제에서는 공변 제네릭 대리자를 선언, 인스턴스화 및 호출하는 방법을 보여줍니다. 또한 대리자 형식을 암시적으로 변환하는 방법도 보여줍니다.
// Covariant delegate.
public delegate R DCovariant<out R>();
// Methods that match the delegate signature.
public static Control SampleControl()
{ return new Control(); }
public static Button SampleButton()
{ return new Button(); }
public void Test()
{
// Instantiate the delegates with the methods.
DCovariant<Control> dControl = SampleControl;
DCovariant<Button> dButton = SampleButton;
// You can assign dButton to dControl
// because the DCovariant delegate is covariant.
dControl = dButton;
// Invoke the delegate.
dControl();
}
제네릭 대리자에서 메서드 인수가 아닌 메서드 반환 형식으로만 사용하는 경우 형식 공변을 선언합니다.
C# 언어 사양
자세한 내용은 C# 언어 사양을 참조하세요. 언어 사양은 C# 구문 및 사용의 최종 소스입니다.
참고하십시오
- 제네릭 인터페이스의 분산
- 안의
- 한정자
.NET