Effective C#：區別四個判等函數 (3) - 值型別與運算符重載最佳實踐

子類別轉型破壞等價關係

子類別物件可透過 as 轉為基類別，導致不同型別物件進行判等，違反等價關係（自反性、對稱性、傳遞性）。

值型別判等建議：重載 == 運算符

Equals 參數為 object，值型別呼叫時必須裝箱，影響效率。建議值型別重載 == 與 !=：

public struct KeyData
{
    private int _data;
    public int Data { get { return _data; } set { _data = value; } }
    
    public static bool operator ==(KeyData left, KeyData right)
        => left.Data == right.Data;
    public static bool operator !=(KeyData left, KeyData right)
        => left.Data != right.Data;
}

.NET 要求 == 與 != 成對定義，確保判等一致性。

引用型別判等建議：使用 Equals

引用型別不應重載 == 運算符，應覆寫 Equals。這是 .NET 慣例：判斷引用型別相等用 Equals，不用 ==。

四種判等函數比較表

撰寫判等函數三原則

1. 確認型別是否具備判等意義
2. 滿足等價規則（自反、對稱、傳遞）
3. 值型別重載 ==/!=，引用型別覆寫 Equals