为何在抽象基类中实现IEquatable接口无法正常工作？

问题背景 #

定义抽象基类ValueObject<T>并实现IEquatable<T>接口，子类Person继承该基类后，使用List.Except方法对比两个元素值相同的集合时测试失败；但将IEquatable<T>接口的实现移到Person子类中后，测试即可成功。

第一种实现（测试失败） #

抽象基类代码

public abstract class ValueObject<T>: IEquatable<T>
{
    public abstract bool checkPropertyEquality(T t);

    public bool Equals(T? other)
    {
        if (ReferenceEquals(null, other)) 
            return false;

        if (ReferenceEquals(this, other)) 
            return true;

        return checkPropertyEquality(other);
    }

    public override bool Equals(object? obj)
    {
        if (ReferenceEquals(null, obj)) 
            return false;

        if (ReferenceEquals(this, obj)) 
            return true;

        if (obj.GetType() != this.GetType()) 
            return false;

        return Equals((T)obj);
    }

    public abstract int GetHashCode();
}

Person子类代码

public class Person : ValueObject<Person>
{
    public Guid Id { get; set; }
    public string Name { get; set; }
    public string Family { get; set; }

    public override bool checkPropertyEquality(Person t)
    {
        return Name == t.Name && Family == t.Family;
    }

    public override int GetHashCode()
    {
        return HashCode.Combine(Name, Family);
    }
}

测试代码

[Fact]
public void test1()
{
    var list = new List<Person>()
    {
        new Person { Name = "test1", Family = "testii", Id = Guid.NewGuid() },
        new Person { Name = "test2", Family = "testipoor", Id = Guid.NewGuid() },
    };

    var list1 = new List<Person>()
    {
        new Person { Name = "test1", Family = "testii", Id = Guid.NewGuid() },
        new Person { Name = "test2", Family = "testipoor", Id = Guid.NewGuid() },
    };

    var e = list.Except(list1).ToList();
    var e1 = list1.Except(list).ToList();

    Assert.Empty(e1);
    Assert.Empty(e);
}

第二种实现（测试成功） #

修改后的抽象基类

public abstract class ValueObject<T> //: IEquatable<T>
{
    public abstract bool checkPropertyEquality(T t);
}

修改后的Person子类

public class Person : ValueObject<Person>, IEquatable<Person>
{
    public Guid Id { get; set; }
    public string Name { get; set; }
    public string Family { get; set; }

    public override bool checkPropertyEquality(Person t)
    {
        return Name == t.Name && Family == t.Family;
    }

    public override int GetHashCode()
    {
        return HashCode.Combine(Name, Family);
    }

    public bool Equals(Person? other)
    {
        if (ReferenceEquals(null, other)) 
            return false;

        if (ReferenceEquals(this, other)) 
            return true;

        return Name == other.Name && Family == other.Family;
    }

    public override bool Equals(object? obj)
    {
        if (ReferenceEquals(null, obj)) 
            return false;

        if (ReferenceEquals(this, obj))  
            return true; 

        if (obj.GetType() != this.GetType()) 
            return false;

        return Equals((Person)obj);
    }
}

原因分析 #

核心问题在于EqualityComparer<T>.Default的内部逻辑和接口实现的层级：

1. 基类实现IEquatable时的问题
   当ValueObject<T>实现IEquatable<T>，Person通过继承间接实现IEquatable<Person>时，EqualityComparer<Person>.Default会优先检查Person是否直接实现了IEquatable<Person>。由于接口实现来自基类而非子类本身，比较器会回退到使用object.Equals进行判断。

虽然基类重写了object.Equals，最终会调用子类的checkPropertyEquality方法，但Enumerable.Except依赖的HashSet<T>在处理元素时，会先通过哈希码分组，再对哈希码相同的元素执行相等性判断。此时由于比较器未正确绑定到基类的IEquatable<T>.Equals方法，可能出现判断偏差，导致Except认为元素不相等。

2. 子类直接实现IEquatable时的解决逻辑
   当Person直接实现IEquatable<Person>时，EqualityComparer<Person>.Default会明确识别到接口实现，直接调用子类的Equals(Person other)方法。该方法直接基于Name和Family判断相等性，同时GetHashCode也基于相同属性计算，因此Except能正确识别元素相等，测试通过。

补充优化建议 #

如果希望保留基类实现IEquatable<T>的结构，可以将基类的Equals(T? other)方法标记为virtual，让子类重写该方法，确保EqualityComparer<T>.Default能正确绑定到子类的相等性逻辑：

public abstract class ValueObject<T>: IEquatable<T>
{
    public abstract bool checkPropertyEquality(T t);

    public virtual bool Equals(T? other)
    {
        if (ReferenceEquals(null, other)) 
            return false;

        if (ReferenceEquals(this, other)) 
            return true;

        return checkPropertyEquality(other);
    }

    // 其余代码不变
}

内容的提问来源于stack exchange，提问作者Navid_pdp11