Czy ILookup <TKey, TElement> nie powinien być (zadeklarowany) kowariantem w TElement?

Question

System.Linq.ILookUp definicja brzmi

interface ILookup<TKey, TElement> : IEnumerable<IGrouping<TKey, TElement>>, IEnumerable { 
    int Count { 
     get; 
    } 

    IEnumerable<TElement> this[TKey key] { 
     get; 
    } 

    bool Contains(TKey key); 
} 

Od IEnumerable jest kowariantna w IGrouping < TKey, TElement >, IGrouping < TKey, TElement > jest kowariantna w TElement a interfejs tylko naraża TElement jako typ zwracany, Zakładam, że ILookup jest również kowariancyjny w TElement. Rzeczywiście, kompilacja bez problemów jest zdefiniowana.

Co może być przyczyną braku słowa kluczowego poza w pierwotnej definicji? Czy można dodać przyszłe wersje Linq?

Answer 1

Śledzenie dokumentacji MSDN, Covariance and Contravariance in Generics zostało wprowadzone w .NET Framework 4 Poprzednio istniała IEnumerable<T> od .NET Framework 2.0 do .NET Framework 3.5. Następnie w .NET Framework 4.0 możemy zobaczyć IEnumerable<out T> z parametrem typu T jako kowariancją.

IGrouping<TKey, TElement> i ILookup<TKey, TElement> istniały od .NET Framework 3.5. W programie .NET Framework 4.0 ten pierwszy został zaktualizowany do wersji IGrouping<out TKey, out TElement>, ale ten ostatni został pominięty bez podania przyczyny.

TKey nie może być kowariantem, ponieważ uniemożliwiają to implementacje Contains(TKey) i .

W odniesieniu do TElement problem nie jest jasny. Nie wierzę, że projektanci po prostu to przegapili. Być może przyczyna leży w planach na przyszłość. Albo chcieli zapobiec coś jak poniżej, ale nie wiem dlaczego:

string[] strings = new[] {"a", "a", "b", "b", "b", "c"}; 
ILookup<string, string> lookup = strings.ToLookup(s => s); // Valid. 
ILookup<string, object> lookup = strings.ToLookup(s => s); // Now invalid, but would correct if TElement was covariant (out TElement). 

Istnieją również inni autorzy, które zwracają uwagę na ten temat:

ToLookup:

Należy zauważyć, że choć IGrouping jest kowariancyjny w TKey i TElement, ILookup jest niezmienny w obu parametrach typu. O ile TKey musi być niezmienny, byłoby uzasadnione, aby TElement był kowariantem