C# 记录类中的自定义 EqualityContract

问：

在 C# 记录类中为属性提供自定义实现的正确方法和预期用途是什么？System.Type EqualityContract { get; }

默认（综合）实现返回记录类。因此，只能将 type 的实例与 类型的其他实例进行比较，否则结果始终为 。这在典型情况下非常有意义。但是，允许将该默认实现替换为自定义实现，因此必须有原因。我希望它允许多个记录类共享相等契约，例如，如果它们具有相同的实例属性或它们派生自相同的基本记录类。但是，这需要声明 和 的自定义覆盖，这是被禁止的。typeof(R)RRRfalsebool Equals(object? other)bool Equals(Base? other)

[编辑：请注意，问题是关于定义自定义平等合同的目的和可用性。下面的例子只是为了展示一个潜在的用途，但这个用途是行不通的。我不是在问如何使用不同的机制使示例工作。

例如，假设我希望一个记录类重用其基本记录类的相等协定，以便允许在 的实例之间进行比较，并基于 的实例属性。我需要做这样的事情：DerivedBaseBaseDerivedBase

record Base(int X);

record Derived(int X) : Base(X) {
    protected override System.Type EqualityContract => base.EqualityContract;
    public virtual bool Equals(Derived? other) => base.Equals(other);
    public sealed override bool Equals(Base? other) => base.Equals(other); // forbidden
    public override bool Equals(object? other) => base.Equals(other);      // forbidden
    /* some additional stuff */
}

我不能这样做，因为在 C# 记录中禁止声明自定义重写。如果没有禁止的自定义覆盖，记录类将如下所示（包含用于说明的合成覆盖）：EqualsDerivedEquals

record Derived(int X) : Base(X) {
    protected override System.Type EqualityContract => base.EqualityContract;
    public virtual bool Equals(Derived? other) => base.Equals(other);
    public sealed override bool Equals(Base? other) => Equals((object)other); // synthesized
    public override bool Equals(object? other) => Equals(other as Derived);   // synthesized
    /* some additional stuff */
}

然后，相等契约无法正常工作。例如，以下代码生成：True False

Base obj1 = new Base(1);
Derived obj2 = new Derived(1);
System.Console.WriteLine($"{obj1 == obj2} {obj2 == obj1}");

这两种比较都使用 的运算符 ，该运算符调用方法 。对于 ，使用了 from 的实现，它比较了相等契约（在本例中相等）和 的值（在本例中相等）并返回 。对于 ，使用了 from 的实现，这会导致对 的调用，该调用返回 ，因为 是 。==Basebool Equals(Base? other)obj1 == obj2BaseXtrueobj2 == obj1Derivedobj2.Equals(obj1 as Derived)falseobj1 as Derivednull

那么，我应该如何利用自定义平等合同呢？我错过了什么吗？允许自定义覆盖有什么问题？Equals

我搜索了 C# 设计存储库中的讨论以查找一些信息。我发现的仅有的两个相关评论表明，我上面的方案是可行的：https://github.com/dotnet/csharplang/issues/3137#issuecomment-581558013 https://github.com/dotnet/csharplang/discussions/3787#discussioncomment-130523