Effective C# 原則 9：瞭解相等比較的關係（完）

Equals() 正確實作模板

public override bool Equals(object obj)
{
    // 1. null 檢查
    if (obj is null) return false;

    // 2. 參考相等（同一物件）
    if (ReferenceEquals(this, obj)) return true;

    // 3. 型別完全相等（不可用 is/as，避免衍生類型通過）
    if (obj.GetType() != GetType()) return false;

    // 4. 內容比較
    return Equals((MyType)obj);
}

protected virtual bool Equals(MyType other)
{
    return _field1 == other._field1 && _field2 == other._field2;
}

// 實作 IEquatable
public bool Equals(MyType other) => Equals((object)other);

衍生類別的相等比較陷阱

public class Base
{
    public override bool Equals(object obj)
    {
        if (obj is null) return false;
        if (ReferenceEquals(this, obj)) return true;
        if (obj.GetType() != GetType()) return false; // 關鍵：型別完全相等
        return Equals((Base)obj);
    }
}

public class Derived : Base
{
    public override bool Equals(object obj)
    {
        if (obj is null) return false;
        if (ReferenceEquals(this, obj)) return true;
        if (obj.GetType() != GetType()) return false;
        return base.Equals(obj) && Equals((Derived)obj);
    }
}

關鍵：GetType() != GetType() 確保對稱性。若用 is Base，base.Equals(derived) 可能回傳 true，但 derived.Equals(base) 回傳 false → 破壞對稱性。

四種相等機制分工

實值型別必覆寫的三個成員

1. override bool Equals(object)
2. bool Equals(T)（實作 IEquatable）
3. operator == / operator !=

並必須覆寫 GetHashCode()（見原則 10）。

參考型別覆寫 Equals 的判斷

只有當「值相等」語意不同於「參考相等」時才覆寫（如 string、Uri、DTO）。大多數參考型別保留預設參考相等。

總結

• 不覆寫 ReferenceEquals、static Equals
• 實值型別：必覆寫 instance Equals、==、!=、GetHashCode
• 參考型別：視語意覆寫 Equals，通常不覆寫 ==
• 衍生類別用 GetType() 檢查確保對稱性
• 實作 IEquatable 避免裝箱