19

定义 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<TKey, TElement> 中是协变的，IGrouping<TKey, TElement> 在 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 的未来版本吗？

4

1 回答 1

7

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

IGrouping<TKey, TElement>并且ILookup<TKey, TElement>从 .NET Framework 3.5 开始就存在。在 .NET Framework 4.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 是协变的是合理的

于 2013-02-21T09:57:20.550 回答