不应该ILookup 在TElement中被（声明）协变？

System.Linq.ILookUp定义读取

interface ILookup : IEnumerable<IGrouping>, IEnumerable { int Count { get; } IEnumerable this[TKey key] { get; } bool Contains(TKey key); } 

由于IEnumerable在IGrouping 中是协变的，因此IGrouping 在TElement中是协变的，并且接口仅将TElement作为返回类型公开，我认为ILookup在TElement中也是协变的。 的确，定义

 interface IMyLookup : IEnumerable<IGrouping>, IEnumerable { int Count { get; } IEnumerable this[TKey key] { get; } bool Contains(TKey key); } 

编译没有问题。

那么，原始定义中缺少out关键字的原因可能是什么？ 可能会添加Linq的未来版本吗？

Answer 1

跟踪MSDN文档，在.NET Framework 4中引入了generics中的协方差和逆变，在此之前，从.NET Framework 2.0到.NET Framework 3.5，有IEnumerable 。 然后在.NET Framework 4.0中，我们可以看到IEnumerable ，类型参数T为协方差。

从.NET Framework 3.5开始ILookup IGrouping和ILookup已经存在。 在.NET Framework 4.0中，前者已更新为IGrouping但后者在没有指定原因的情况下被省略。

TKey不能协变，因为Contains(TKey)和this[TKey]阻止了这一点。

关于TElement ，问题尚不清楚。 我不相信设计师只是错过了它。 也许原因在于未来的计划。 或者他们想要阻止类似下面的事情，但我不知道为什么：

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

还有其他作者关注这个问题：

ToLookup ：

值得注意的一点是，尽管IGrouping在TKey和TElement中是协变的，但ILookup在其两个类型参数中都是不变的。 虽然TKey必须是不变的，但TElement是协变的是合理的