在 IEquatable中实施是必要的参考检查

Question

我有一个实现 IEquatable 的类。是否有必要在 Equals() 中进行引用检查，或者是否在框架中进行了处理？

class Foo : IEquatable<Foo>
{
    int value;
    Bar system;

    bool Equals(Foo other)
    {
        return this == other || 
        ( value == other.value && system.Equals(other.system) );
    }
}

上面的例子中的 this==other 语句是多余的还是必要的？

更新 1

我知道我需要更正代码如下：

    bool Equals(Foo other)
    {
        if( other==null ) { return false; }
        if( object.ReferenceEquals(this, other) ) { return true; } //avoid recursion
        return value == other.value && system.Equals(other.system);
    }

感谢您的回复。

Answer 1

这通常是一种优化 - 这将是一个奇怪的 Equals 实现，没有它就会失败。因此，我不认为它是必要的 - 但它也没有“在框架中得到照顾”。 I 是一种成本低廉的优化，因此通常值得包含。

请注意，如果您还重载 ==，那么您可能应该使用 object.ReferenceEquals 来执行这些比较。

Answer 2

当心。我实际上强烈不鼓励这样做，因为如果您想根据Equals<重载您的Foo类型的==运算符/code> （正如我的经验中通常所做的那样）你会发现自己处于无限递归状态。

为了说明我的意思，这里是 == 在 Equals 方面的常见实现：

public static bool operator ==(Foo x, Foo y)
{
    // Will overflow the stack if Equals uses ==:
    return !ReferenceEquals(x, null) && x.Equals(y);
}

也就是说，我完全同意 Jon 的观点认为使用 ReferenceEquals 可能比较合适。

Answer 3

它不是必要，因为它可能不需要正确性，但框架肯定不会“照顾它”，所以它可能放入，通常是出于性能原因。

一点：如果实现由 EqualityComparer.Default 包装，则如果一个或两个参数为 null，则它不会输入用户代码，因此在这种情况下，它确实会执行某种引用检查措施（如果不是完整的ReferenceEquals(x, y)）。

public override bool Equals(T x, T y)
{
    if (x != null)
    {
        return ((y != null) && x.Equals(y));
    }
    if (y != null)
    {
        return false;
    }

    return true;
}

题外话，您的示例方法中存在几个 null 取消引用问题（other 可能是 null，this.system 可能是 空）。

我会将您的方法编写为如下所示：

public bool Equals(Foo other)
{
    if(other == null)
         return false;

    if(other == this)
         return true;

    return value == other.value
            && EqualityComparer<Bar>.Default.Equals(bar, other.bar)
            // You don't *have to* go down the EqualityComparer route
            // but you do need to make sure you don't dereference null.

}

另外，每当您编写自己的相等比较时，请记住覆盖 GetHashCode 。

Answer 4

我认为有必要检查this == other，因为你定义了自己的equals。如果您不希望对其进行指针检查，则可以编写自己的 IEquatable。

Answer 5

IEquatable 是一个接口；实施由实施者决定。

由于您正在实现接口，因此您需要对接口定义的所有预期行为负责。

Answer 6

我相信这是必要的。参考检查是比较对象时可以执行的第一个快速步骤。

在您给出的示例中，请务必在访问其值之前检查 other 是否不为 null。

bool Equals(Foo other)
{
    if(other == null) return false;

    if(this == other) return true;

    // Custom comparison logic here.
}