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 回答