Domanda su C# covarianza

Question

Nel codice qui sotto:

interface I1 { } 
class CI1: I1 { } 

List<CI1> listOfCI1 = new List<CI1>(); 

IEnumerable<I1> enumerableOfI1 = listOfCI1; //this works 

IList<I1> listofI1 = listOfCI1; //this does not 

sono in grado di assegnare la mia "listOfCI1" per un IEnumerable<I1> (a causa di covarianza)

Ma perché non sono io in grado di assegnare a un IList<I1>? Del resto, non si può nemmeno effettuare le seguenti operazioni:

List<I1> listOfI12 = listOfCI1; 

Non dovrebbe covarianza mi permetterà di assegnare un tipo di derivato ad un tipo di base?

Answer 1

In poche parole, IList<T> non è covariante, mentre IEnumerable<T> è. Ecco perché ...

Supponiamo che IList<T>sia covariante. Il codice sottostante non è chiaramente sicuro per tipo ... ma dove vorresti che fosse l'errore?

IList<Apple> apples = new List<Apple>(); 
IList<Fruit> fruitBasket = apples; 
fruitBasket.Add(new Banana()); // Aargh! Added a Banana to a bunch of Apples! 
Apple apple = apples[0]; // This should be okay, but wouldn't be 

Per sacco di dettagli sulla varianza, vedere Eric Lippert di blog post series su di esso, o guardare il video del mio parlare di varianza da NDC.

In sostanza, la varianza è sempre e solo permesso dove è garantito per essere sicuri (e in un certo senso la rappresentazione-conservazione, motivo per cui non è possibile convertire in IEnumerable<int>IEnumerable<object> - la conversione di boxe non conserva rappresentazione).

Answer 2

No.

In caso contrario, si dovrebbe quindi essere in grado aggiungere una diversa implementazione di I1 ad una lista che dovrebbe contenere solo C1 s.

Answer 3

IList<T> l'interfaccia non è covariante.

Answer 4

dichiarazioni confronta (MSDN)

public interface IEnumerable<out T> : IEnumerable 

public interface IList<T> : ICollection<T>, IEnumerable<T>, IEnumerable 

si vede che parola magica out? Ciò significa che la covarianza è attiva.