Dlaczego IEnumerable <T> jest zdefiniowany jako IEnumerable <out T>, nie IEnumerable <T>

Question

Powiel możliwe:
Why was IEnumerable<T> made covariant in C# 4?

Brałem spojrzeć na MSDN dla IEnumerable<T> ubterfejsu i zobacz:

public interface IEnumerable<out T> : IEnumerable 

Zastanawiam się, dlaczego T jest zdefiniowany jako out, dlaczego nie?

public interface IEnumerable<T> : IEnumerable 

Jaki jest tego powód?

Answer 1

Więcej informacji można znaleźć here.

Parametr out tworzy kowariancję parametru. Oznacza to, że możesz użyć typu lub dowolnego typu pochodnego. Zauważ, że out działa tylko w ten sposób w przypadku generycznych, ma inne znaczenie, gdy jest używany w sygnaturach metod (chociaż prawdopodobnie już to wiedziałeś).

Oto przykład wzięty z referenced page:

// 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; 
    } 
} 

Jak widać, out w podpisie interfejs pozwala można przypisać ICovariant<String> do zmiennej ICovariant<Object>, jak String wywodzi Object. Bez słowa kluczowego out nie byłbyś w stanie tego zrobić, ponieważ typy byłyby różne.

Możesz przeczytać więcej o kowariancji (i powiązanej sprzeczności) here.

W innych odpowiedzi podkreśliło, IEnumerable został wykonany tylko w .NET kowariantna 4. Próba pisania kodu, takich jak:

IEnumerable<Object> strings = new List<string>(); 

zostanie skompilowany w .NET 4 i nowsze wersje, ale nie w poprzednich wersjach .

Answer 2

Covariance. Umożliwia to przypisanie kolekcji elementów bardziej szczegółowych lub wyprowadzonych, niż określono w parametrze generycznym.

IEnumerable<T> nie zawsze była kowariancyjna; było to nowością w .NET 4, a przyczyna zmiany została wyjaśniona here.

Answer 3

Aby osiągnąć ten cel:

class Base {} 
class Derived : Base {} 

List<Derived> list = new List<Derived>(); 
IEnumerable<Base> sequence = list; 

Answer 4

typu out parametr specyfikator oznacza kowariancji.

W praktyce

Jeśli zdefiniuję dwa interfejsy.

ISomeInterface<T> 
{ 
} 

ISomeCovariantInterface<out T> 
{ 
} 

Następnie wdrażam je w ten sposób.

SomeClass<T> : ISomeInterface<T>, ISomeCovariantInterface<T> 
{ 
} 

Potem próbuję skompilować ten kod,

ISomeCovariantInterface<object> = new SomeClass<string>(); // works 
ISomeInterface<object> = new SomeClass<string>(); // fails 

IS ponieważ kowariantna interfejs pozwala instancji więcej pochodnych, gdzie jak standardowy interfejs nie.