在TElement中，ILookup<TKey，TElement>不应该是(声明的)协变吗？
定义System.Linq.ILookUp为
interface ILookup<TKey, TElement> : IEnumerable<IGrouping<TKey, TElement>>, IEnumerable {
int Count {
get;
}
IEnumerable<TElement> this[TKey key] {
get;
}
bool Contains(TKey key);
}由于IEnumerable在IGrouping、IGrouping在TElement中是协变的，并且接口只公开TElement作为返回类型，所以我假设ILookup在TElement中也是协变的。实际上，这个定义
interface IMyLookup<TKey, out TElement> : IEnumerable<IGrouping<TKey, TElement>>, IEnumerable {
int Count {
get;
}
IEnumerable<TElement> this[TKey key] {
get;
}
bool Contains(TKey key);
}编译时没有问题。
那么，原始定义中缺少out关键字的原因可能是什么呢？它是否会被添加到Linq的未来版本中？
回答 1
Stack Overflow用户
发布于 2013-02-21 17:57:21
追踪MSDN文档，Covariance and Contravariance in Generics已经在.NET Framework4中引入。在此之前，从.NET Framework2.0到.NET Framework3.5都有IEnumerable<T>。然后，在.NET Framework4.0中，我们可以看到类型参数T作为协方差的IEnumerable<out T>。
IGrouping<TKey, TElement>和ILookup<TKey, TElement>从.NET Framework3.5开始就存在了。在.NET Framework4.0中，前者已更新为IGrouping<out TKey, out TElement>，但后者已被省略，未指明原因。
TKey不能是协变的，因为Contains(TKey)和this[TKey]的实现阻止了这种情况。
关于TElement，这个问题还不清楚。我不相信设计师们只是错过了它。也许原因在于对未来的计划。或者他们想阻止类似下面这样的事情，但我不知道为什么：
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).也有其他作者关注这个问题：
有一点奇怪，那就是IGrouping在TKey和TElement中是协变的，而ILookup在两个类型参数中都是不变的。虽然TKey必须是不变的，但对于TElement来说，协变
是合理的
https://stackoverflow.com/questions/14883727
复制相似问题
腾讯云开发者
