C# 型別相等與恆等深度解析：Equality vs Identity

核心定義

CLR 提供的四種比較機制

// 1. 靜態 ReferenceEquals：永遠比較 Identity
object.ReferenceEquals(a, b);

// 2. 靜態 Equals：比較 Equality（內部呼叫虛擬 Equals）
object.Equals(a, b);

// 3. 實例虛擬 Equals：預設比較 Identity，值型別重寫比較值
a.Equals(b);

// 4. 運算子 ==：可多載，行為由型別定義
a == b;

值型別 vs 參考型別行為差異

值型別 (struct)

• ReferenceEquals 永遠回傳 false（會裝箱產生不同物件）。
• ValueType.Equals 使用反射逐欄位比較，效能差 → 建議自行重寫 Equals 並多載 ==/!=。

參考型別 (class)

• 預設 Equals/== 比較參考（Identity）。
• 若語意為「值語意」（如 string、Uri），必須重寫 Equals 並多載 ==/!=。

Equals vs == 多型行為差異

object a = "hello";
object b = "hello";

Console.WriteLine(a.Equals(b)); // true：虛擬方法多型，呼叫 string.Equals
Console.WriteLine(a == b);      // false：編譯期綁定 object.== (參考比較)

Equals 是虛擬方法（多型），== 是靜態多載（編譯期決定）。

最佳實務清單

1. 實作值型別：重寫 Equals(object)、IEquatable<T>.Equals(T)、多載 ==/!=、實作 GetHashCode。
2. 實作參考型別（值語意）：同樣重寫上述成員，並考慮 IEquatable<T>。
3. 參考型別（參考語意）：不要 重寫 Equals/==，保留預設 Identity 行為。
4. 永遠搭配 GetHashCode 實作，確保字典/雜湊集合正確運作。