c# - 使用基类 IEqualityComparer 执行 Distinct()，并且仍然返回子类类型？

Question

我有许多派生自类 BaseClass 的类，其中 BaseClass 仅具有一个“Id 属性”。

我现在需要对其中一些对象的集合进行区分。我为每个子类一遍又一遍地编写以下代码:

public class PositionComparer : IEqualityComparer<Position>
{
    public bool Equals(Position x, Position y)
    {
        return (x.Id == y.Id);
    }

    public int GetHashCode(Position obj)
    {
        return obj.Id.GetHashCode();
    }
}

鉴于逻辑仅基于 Id，我想创建一个比较器以减少重复:

public class BaseClassComparer : IEqualityComparer<BaseClass>
{
    public bool Equals(BaseClass x, BaseClass y)
    {
        return (x.Id == y.Id);
    }

    public int GetHashCode(BaseClass obj)
    {
        return obj.Id.GetHashCode();
    }
}

但这似乎无法编译:

  IEnumerable<Position> positions = GetAllPositions();
  positions = allPositions.Distinct(new BaseClassComparer())

...正如它所说，它无法从 BaseClass 转换为 Position。为什么比较器强制返回此 Distinct() 调用的返回值？

Answer 1

更新:这个问题是 the subject of my blog in July 2013 .感谢您提出很好的问题!

---

您在泛型方法类型推理算法中发现了一个不幸的边缘案例。我们有:

Distinct<X>(IEnumerable<X>, IEqualityComparer<X>)

接口(interface)在哪里:

IEnumerable<out T> -- covariant

和

IEqualityComparer<in T> -- contravariant

当我们从 allPositions 进行推断时至 IEnumerable<X>我们说“IEnumerable<T> 在 T 中是协变的，所以我们可以接受 Position 或任何更大的类型。(基本类型比派生类型“更大”；在 T 中有比长颈鹿更多的动物世界。)

当我们从比较器进行推断时，我们说“IEqualityComparer<T> 在 T 中是逆变的，因此我们可以接受 BaseClass 或任何更小的类型。”

那么当实际推导类型参数时会发生什么呢？我们有两个候选人:Position和 BaseClass . 两者都满足规定的界限。 Position满足第一个界限，因为它与第一个界限相同，并且满足第二个界限，因为它小于第二个界限。 BaseClass满足第一个界限，因为它大于第一个界限，并且与第二个界限相同。

我们有两个赢家。我们需要决胜局。在这种情况下我们该怎么办？

这是一些争论的焦点，并且存在三个方面的争论:选择更具体的类型，选择更通用的类型，或者让类型推断失败。我不会重复整个论点，但足以说明“选择更一般”的一方赢得了胜利。

(更糟糕的是，规范中有一个拼写错误说“选择更具体的”是正确的做法!这是设计过程中的编辑错误的结果，从未得到更正。编译器实现“选择更通用的”。我已经提醒 Mads 这个错误，希望这会在 C# 5 规范中得到修复。)

就这样吧。在这种情况下，类型推断会选择更通用的类型并推断调用意味着 Distinct<BaseClass>。 .类型推断从不考虑返回类型，当然也不考虑表达式被分配给什么，所以它选择的类型是与赋值变量不兼容不是问题。

我的建议是在这种情况下明确说明类型参数。