Wariancja typu w .NET Framework 4.0

Question

IEnumerable<T>, IComparable<T> i kilka innych jest teraz wariantami typu. IList<T>, ICollection<T> i wiele innych nie jest. Czemu?

Answer 1

.NET Framework 4.0 wprowadza bezpieczne co/contra-variance. IList<T> i ICollection<T> mieć T zarówno na stanowiskach wejściowych i wyjściowych podczas IEnumerable<T> ma tylko Tw pozycjach wyjściowych i IComparable<T> ma Ttylko na wejściu pozycjonuje.

Załóżmy IList<T> obsługiwany typ wariancji: "Przyszłość 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 ma krótki, ale oświetlające dyskusji opisujący CO/kontrawariancji w rozmowie, Jego dyskusja na temat kowariancji i kontrawariancji rozpoczyna się po 50 minutach i 17 sekundach od prezentacji.

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

Answer 3

Zobacz także: What C# 4.0 covariance doesn't do