LINQ Distinct with EqualityComparer<T>.Default: IEquatable<T> 实现被忽略？

Question

我有一个类 Foo 有两个字段，其中 Equals 和 GetHashCode 方法已被覆盖：

public class Foo
{
    private readonly int _x;
    private readonly int _y;

    public Foo(int x, int y) { _x = x; _y = y; }

    public override bool Equals(object obj) {
        Foo other = obj as Foo;
        return other != null && _y == other._y;
    }

    public override int GetHashCode() { return _y; }
}

如果我创建一个 Foo:s 数组并计算该数组的 Distinct 值的数量：

var array = new[] { new Foo(1, 1), new Foo(1, 2), new Foo(2, 2), new Foo(3, 2) };
Console.WriteLine(array.Distinct().Count());

不同值的数量被识别为：

2

如果我现在让我的班级 Foo 使用以下实现实现 IEquatable<Foo>：

public bool Equals(Foo other) { return _y == other._y; }

不同值的数量仍然是：

2

但如果我将实现更改为：

public bool Equals(Foo other) { return _x == other._x; }

计算出的不同Foo:s 的数量既不是3（即不同_x 的数量）也不是2（不同_y 的数量），但是：

4

如果我注释掉 Equals 和 GetHashCode 覆盖但保留 IEquatable<Foo> 实现，答案也是 4。

根据MSDN documentation，这个Distinct重载应该使用静态属性EqualityComparer.Default来定义相等比较，并且：

The Default property checks whether type T implements the System.IEquatable<T>
interface and, if so, returns an EqualityComparer<T> that uses that 
implementation. Otherwise, it returns an EqualityComparer<T> that uses the 
overrides of Object.Equals and Object.GetHashCode provided by T.

但是看上面的实验，这个说法似乎不成立。最好的情况是，IEquatable<Foo> 实现支持已经提供的Equals 和GetHashCode 覆盖，最坏的情况是它完全破坏了相等比较。

我的问题：

• 为什么IEquatable<T>的独立实现会破坏相等比较？
• 它能否独立于Equals 和GetHashCode 覆盖发挥作用？
• 如果不是，为什么EqualityComparer<T>.Default 会先寻找这个实现？

Answer 1

您的GetHashCode 方法仅依赖于y。这意味着如果您的 Equals 方法不依赖于 y，那么您就违反了平等契约……它们是不一致的。

Distinct() 会期望相等的元素具有相同的哈希码。在您的情况下，x 值的唯一相等元素具有 不同 哈希码，因此 Equals 甚至不会被调用。

来自IEquatable<T>.Equals的文档：

如果你实现了Equals，你还应该重写Object.Equals(Object)和GetHashCode的基类实现，使它们的行为与IEquatable<T>.Equals方法的行为一致。

您对Equals(Foo) 的实现与任一 Equals(object) 或 GetHashCode 不一致。

EqualityComparer<T>.Default 仍将委托给您的 GetHashCode 方法 - 它只会使用您的 Equals(T) 方法而不是您的 Equals(object) 方法。

所以按顺序回答你的问题：

• 为什么IEquatable<T>的独立实现会破坏相等比较？

因为您引入了不一致的实现。 意味着在行为方面是独立的。它只是为了通过避免类型检查（以及值类型的装箱）来提高效率。

• 它能否发挥独立于Equals 和GetHashCode 覆盖的作用？

为了理智，它应该与Equals(object)一致，为了正确，它必须与GetHashCode一致。

如果不是，为什么EqualityComparer<T>.Default 会先寻找这个实现？

主要是为了避免运行时类型检查和装箱/拆箱。