Tipo varianza in .NET Framework 4.0

Question

IEnumerable<T>, IComparable<T> e alcuni altri sono ora di tipo variante. IList<T>, ICollection<T> e molti altri non lo sono. Perché?

Answer 1

.NET Framework 4.0 introduce sicuro co/contro-varianza. IList<T> e ICollection<T> avere T sia in posizioni di ingresso e uscita mentre IEnumerable<T> ha solo Tnelle posizioni di uscita e IComparable<T> ha Tsolo in ingresso le posizioni.

Si supponga IList<T> supportato tipo varianza: "Il futuro di C#"

static void FailingMethod(IList<object> list) { 
    list[0] = 5; 
} 

static void Test() { 
    var a = new List<string>(); 
    a[0] = "hello"; 
    FailingMethod(a); // if it was variant, this method call would be unsafe 
} 

Answer 2

Anders Hejlseberg ha una breve, ma illuminante discussione che descrive co/controvarianza nel suo discorso, La sua discussione sulla covarianza e la contravarianza inizia a 50 minuti e 17 secondi nella presentazione.

http://channel9.msdn.com/pdc2008/TL16/

Answer 3

Consulta anche: What C# 4.0 covariance doesn't do