Tipo de varianza en .NET Framework 4.0

Question

IEnumerable<T>, IComparable<T> y algunos más son variantes de tipo. IList<T>, ICollection<T> y muchos otros no lo son. ¿Por qué?

Answer 1

.NET Framework 4.0 introduce caja fuerte co/contra-varianza. IList<T> y ICollection<T> tener T tanto en las posiciones de entrada y salida, mientras que IEnumerable<T> sólo tiene Ten posiciones de salida y IComparable<T> tiene Tsólo en las posiciones de entrada.

Asumir IList<T> tipo soportado varianza:

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 tiene una breve pero esclarecedora discusión que describe co/contravarianza en su charla, "El futuro de C#." Su discusión sobre covarianza y contravarianza comienza a los 50 minutos y 17 segundos de la presentación.

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

Answer 3

Consulte también: What C# 4.0 covariance doesn't do