[C#] 제네릭의 <out T> vs <T>

out제네릭 의 키워드는 인터페이스의 T 유형이 공변량임을 나타내는 데 사용됩니다. 자세한 내용은 공분산 및 반공 분산 을 참조하십시오.

고전적인 예는 IEnumerable<out T>입니다. IEnumerable<out T>공변량 이므로 다음을 수행 할 수 있습니다.

IEnumerable<string> strings = new List<string>();
IEnumerable<object> objects = strings;

문자열이 객체에서 파생되므로 논리적으로 작동하더라도 공변량이 아닌 경우 위의 두 번째 줄은 실패합니다. 일반 인터페이스의 분산 이 C # 및 VB.NET에 추가 되기 전에 (VS 2010의 .NET 4에서) 컴파일 시간 오류였습니다.

.NET 4 이후에 IEnumerable<T>공변량으로 표시되어되었습니다 IEnumerable<out T>. 그 IEnumerable<out T>안에있는 요소 만 사용하고 추가 / 변경하지 않기 때문에 열거 가능한 문자열 컬렉션을 열거 가능한 개체 컬렉션으로 취급하는 것이 안전합니다 . 즉, 공변량 을 의미합니다 .

메소드 가 IList<T>있으므로 와 같은 유형에서는 작동하지 않습니다 . 이것이 허용된다고 가정하십시오.IList<T>Add

IList<string> strings = new List<string>();
IList<object> objects = strings;  // NOTE: Fails at compile time

그런 다음 전화를 걸 수 있습니다.

objects.Add(new Image()); // This should work, since IList<object> should let us add **any** object

물론 이것은 실패 할 것이므로 IList<T>공변량으로 표시 할 수 없습니다.

in비교 인터페이스와 같은 것들에 사용되는 옵션 인 btw도 있습니다. IComparer<in T>예를 들어 반대 방향으로 작동합니다. 인터페이스가 반 변형 이기 때문에 콘크리트를 if 의 서브 클래스 IComparer<Foo>로 직접 사용할 수 있습니다 .IComparer<Bar>BarFooIComparer<in T>

답변

String : Object
Bar : Foo

class Fruit {}

class Banana : Fruit {}

interface ICovariantSkinned<out T> {}

interface ISkinned<T> {}

void Peel(ISkinned<Fruit> skinned) { }

void Peel(ICovariantSkinned<Fruit> skinned) { }