Вопрос о C# ковариации

Question

В приведенном ниже коде:

interface I1 { } 
class CI1: I1 { } 

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

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

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

Я могу назначить свой «listOfCI1» к IEnumerable<I1> (вследствие ковариации)

Но почему я не в состоянии назначить его a IList<I1>? на то пошло, я даже не могу сделать следующее:

List<I1> listOfI12 = listOfCI1; 

не должны ковариации позволяют мне присвоить производный тип к базовому типу?

Answer 1

Проще говоря, IList<T> не ковариант, а IEnumerable<T> есть. Вот почему ...

Предположим, IList<T>был covariant. Код ниже явно не безопасен для типов ... но где вы хотите, чтобы ошибка была?

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 

Для много деталей о дисперсии см Эрик Липперта blog post series на нем, или смотреть video моего разговора о дисперсии НДЦ.

В принципе, дисперсия разрешена только там, где она гарантирована быть безопасным (и в режиме сохранения изображений, поэтому вы не можете преобразовать IEnumerable<int> в IEnumerable<object> - конверсия бокса не сохраняет представление).

Answer 2

No.

В противном случае, вы бы тогда иметь возможность добавить другую реализацию I1 в список, который должен содержать только C1 с.

Answer 3

IList<T> интерфейс не ковариант.

Answer 4

Сравнить декларации (MSDN)

public interface IEnumerable<out T> : IEnumerable 

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

вы видите, что волшебное слово out? Это означает, что ковариация продолжается.