Pregunta sobre C# covarianza

Question

En el siguiente código:

interface I1 { } 
class CI1: I1 { } 

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

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

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

soy capaz de asignar mi "listOfCI1" a un IEnumerable<I1> (debido a la covarianza)

Pero por qué no soy capaz de asignar a un IList<I1>? Por lo demás, no puede ni siquiera hacer lo siguiente:

List<I1> listOfI12 = listOfCI1; 

No debe covarianza me permite asignar un tipo derivado a un tipo base?

Answer 1

En pocas palabras, IList<T> no es covariante, mientras que IEnumerable<T> es. He aquí por qué ...

Suponer IList<T>fue covariant. El código siguiente claramente no es seguro para tipos ... pero ¿dónde quieres que sea el error?

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 

Para un montón de detalles sobre varianza, ver Eric Lippert de blog post series en él, o ver el video de mi charla sobre la varianza de NDC.

Básicamente, la variación solo se permite donde se garantiza que es segura (y de forma que se preserve la representación, por lo que no se puede convertir IEnumerable<int> en IEnumerable<object> - la conversión de boxeo no conserva la representación).

Answer 2

Nº

De lo contrario, podría entonces añadir una implementación diferente de I1 a una lista que sólo debe contener C1 s.

Answer 3

IList<T> interfaz no es covariante.

Answer 4

declaraciones Comparar (MSDN)

public interface IEnumerable<out T> : IEnumerable 

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

que ver esa palabra mágica out? Esto significa que la covarianza está activada.