C# 4'ün kovaryansı jeneriklerin yuvalanmasını destekliyor mu?

Question

Aşağıdaki 'x' neden dönüştürür, ama 'y' ve 'z' anlamıyorum.

var list = new List<List<int>>(); 

IEnumerable<List<int>> x = list; 
List<IEnumerable<int>> y = list; 
IEnumerable<IEnumerable<int>> z = list; 

yeni kovaryans özellik sadece jenerik jenerik çalışmıyor mu veya yanlış bir şey yapıyorum? (Ben y ve z çalışması için> .Cast < kullanmaktan kaçınmak istiyorum.)

Answer 1

"z" C# 4.0 içinde gayet, IEnumerable<T> eşdeğişkin olduğunu. Ancak, List<T>, "y" çalışmasını yapamazsınız. Öyle olsaydı

Sezgisel, o zaman bu geçerli olacaktır: "liste" sadece List<int> unsurları içerebilir bu sözü keser

List<IEnumerable<int>> y = list 
y.Add(new Stack<int>()); 

.

Answer 2

Burada birkaç hata yapıyorsunuz. İlk olarak, kovaryans ve kontravaryans değer türleri için desteklenmez, bu nedenle "int" ile yapmaya çalıştığınız her şey işe yaramaz.

İkincisi, iç içe jenerik tipte varyans kontrol geçerli bir örnektir daha şuna benzer:

var list = new List<List<String>>(); 
IEnumerable<IEnumerable<object>> z = list; 

Ben kovaryans olan nesnelerin IEnumerables ait IEnumerable için dizeleri listesi listesi atayabilirsiniz. Daha fazla bilgi için, Covariance and Contravariance FAQ'a bakın.