这是预期的 C# 4.0 元组相等行为吗？

Question

我看到在 .NET 4.0 的两个新 Tuple 实例之间使用 .Equals 和 == 之间的不同行为。如果我在 Tuple 中的对象上覆盖了 Equals 并在 Tuple 上调用 .Equals ，则将调用 Equals 的覆盖。如果我在元组上使用 ==，则不会调用 Equals 的覆盖。这是设计使然吗？是否有意义？

编辑：从答案和 cmets 我可以看出我不清楚。我知道 Tuple 是一个引用类型，对于引用类型 == 将检查身份（ReferenceEquals）。但是，是否应该 Tuple 覆盖 == 来检查它包含的对象的相等性？为了一致性，可能不会。

例如，如果我有一个简单的对象

public class NameAndNumber
{
    public int Number { get; set; }
    public string Name { get; set; }

    public override bool Equals(object obj)
    {
        if (obj is NameAndNumber)
        {
            NameAndNumber other = (NameAndNumber)obj;
            return Number == other.Number && Name == other.Name;
        }

        return false;
    }
}

然后我做这样的事情：

Tuple<NameAndNumber, NameAndNumber> left = new Tuple<NameAndNumber, NameAndNumber>(
      new NameAndNumber { Name = "one", Number = 1 }, 
      new NameAndNumber { Name = "two", Number = 2 });
Tuple<NameAndNumber, NameAndNumber> right = new Tuple<NameAndNumber, NameAndNumber>(
      new NameAndNumber { Name = "one", Number = 1 }, 
      new NameAndNumber { Name = "two", Number = 2 });
bool operatorResult = left == right;
bool equalsResult = left.Equals(right);
Console.Out.WriteLine("operatorResult = {0}  equalsResult = {1}", 
        operatorResult, equalsResult);

我得到 operatorResult = false equalsResult = true

我应该期待吗？

我知道 NameAndNumber 上的 Equals 实现并不“正确”，它只是简化的示例代码。

我也尝试过实现 IEquatable、==、!= 和 GetHashCode。结果相同。

Answer 1

您看到的结果来自design compromise，元组现在在 F# 和 C# 之间共享。重点是所有元组确实都是作为引用类型实现的，这不是很明显。

Tuples 是否应该进行深层或浅层相等性检查的决定已移至两个接口：IStructuralComparable、IStructuralEquatable。请注意，这 2 个现在也由 Array 类实现。

Answer 2

对于引用类型：== 执行身份比较，即只有当两个引用都指向同一个对象时才会返回 true。虽然 Equals() 方法预计会执行值比较，即如果引用指向等效的对象，它将返回 true。

对于 == 未被重载的引用类型，它会比较两个引用是否引用同一个对象

Answer 3

默认情况下，运算符 == 测试引用相等性，因此是您看到的结果是预期的。

见Guidelines for Overriding Equals() and Operator == (C# Programming Guide):

在 C# 中，有两种不同的类型 相等性：引用相等性（也 称为身份）和价值平等。 价值平等是普遍的 理解平等的含义：它 意味着两个对象包含 相同的值。例如，两个整数 值为 2 有值 平等。引用相等意味着 没有两个对象 比较。

Answer 4

默认情况下，==（在一个类上）表示引用相等；即它们是同一个实例吗？ object.ReferenceEquals(x,y) 会返回什么。

您可以提供自己的 == / != 运算符来获得预期的行为 - 当您覆盖 Equals 时，覆盖 GetHashCode 也很重要（否则您会破坏使用作为键 - Why is it important to override GetHashCode when Equals method is overriden in C#?）：

public static bool operator == (NameAndNumber x, NameAndNumber y) {
    if (x == null && y == null) return true;
    if (x == null || y == null) return false;
    return x.Number == y.Number && x.Name == y.Name;
    // or if polymorphism is important: return x.Equals(y);
}
public static bool operator !=(NameAndNumber x, NameAndNumber y) {
    return !(x == y); // lazy but works
}
public override int GetHashCode() {
    return (Name == null ? 0 : Name.GetHashCode()) +
        17 * Number.GetHashCode();
}