您现在的位置：程式碼之家 >> 編程語言 > >> Java 程式設計 >> Java 相關知識

Java equals 與 hashCode 契約深度解析：集合正確性的基石

編輯：Java 相關知識

核心契約：equals 與 hashCode 的不可分割關係

當對象作為集合元素（HashSet）、映射鍵（HashMap、Hashtable）或參與基於哈希的去重/查找操作時，必須同時重寫 equals() 和 hashCode()。違反契約將導致：

邏輯相等對象被視為不同（無法查找、重複存入）
集合行為違反規範（contains、remove 失效）
性能退化（哈希桶退化為鏈表/樹）

equals() 規範：等價關係的五大公理


@Override
public boolean equals(Object obj) {
    if (this == obj) return true;           // 自反性
    if (obj == null || getClass() != obj.getClass()) return null; // 類型檢查
    MyClass other = (MyClass) obj;
    return Objects.equals(field1, other.field1) 
        && Objects.equals(field2, other.field2)
        // ... 比較所有業務關鍵字段
}

| 公理 | 要求 | 違反後果 | |------|------|----------| | **自反性** | x.equals(x) == true | 自身不等，集合邏輯崩潰 | | **對稱性** | x.equals(y) == y.equals(x) | 不同集合操作結果不一致 | | **傳遞性** | x.equals(y) && y.equals(z) => x.equals(z) | 分組/去重邏輯錯誤 | | **一致性** | 多次調用結果不變（字段不變前提） | 集合行為不可預測 | | **非空性** | x.equals(null) == false | NPE 風險 |

關鍵實踐細節

使用 Objects.equals()：空安全，簡潔
比較業務關鍵字段：不一定是所有字段（如 ID、版本號可排除）
getClass() vs instanceof：getClass() 保證對稱性；instanceof 允許子類比較但難保對稱
避免在 equals 中訪問關聯對象：可能觸發懶加載、事務、死循環

hashCode() 規範：哈希分桶的核心依據

核心契約

一致性：對象未修改時，多次調用返回相同值
equals 相等 ⇒ hashCode 相等（逆命題不要求）

標準實現模式


@Override
public int hashCode() {
    return Objects.hash(field1, field2, field3); // JDK 7+ 推薦
    // 或手動實現（性能敏感場景）：
    // int result = 17;
    // result = 31 * result + (field1 == null ? 0 : field1.hashCode());
    // result = 31 * result + (field2 == null ? 0 : field2.hashCode());
    // return result;
}

為什麼用 31？

質數，減少碰撞
31 * i == (i << 5) - i，JVM 可優化為位移+減法

HashMap/HashSet 內部原理：為什麼契約至關重要

存儲流程

計算 key.hashCode()
index = (n - 1) & hash 定位桶位（n 為 2 的冪）
遍歷桶內鏈表/紅黑樹，調用 equals() 比較
找到相等 → 覆蓋值 / 拒絕添加；未找到 → 插入新節點

違反契約的災難性後果

違反類型	現象	根因
equals 相等但 hashCode 不等	`map.get(key)` 返回 null；`set.contains(obj)` 返回 false	對象落入不同桶，equals 從未被調用
equals 不等但 hashCode 相等	性能退化（碰撞增加），但邏輯正確	同桶內通過 equals 正確區分
可變字段參與 hashCode	對象修改後無法在 Map 中找到	哈希值變化導致桶位錯位

實戰最佳實踐清單

✅ 必須重寫的場景

作為 HashMap Key
存入 HashSet/LinkedHashSet
用於基於哈希的去重、分組、索引
實體類、值對象、DTO

❌ 不需重寫的場景

僅用於 ArrayList/LinkedList（靠索引/迭代器）
僅用於 TreeMap/TreeSet（靠 Comparable/Comparator）
無狀態工具類、單例、線程對象
默認 Object 實現（身份相等）滿足需求

🛠 工具鏈支持

IDE 自動生成：IntelliJ Alt+Insert → equals/hashCode
Lombok：@EqualsAndHashCode（可指定字段、調用父類）
Records (JDK 14+)：自動生成基於所有組件的實現
單元測試驗證：EqualsVerifier 庫自動檢測契約合規性

進階話題：可變對象與哈希集合的禁忌

鐵律：參與 equals/hashCode 的字段必須不可變（或至少在對象作為 Key/Element 期間不可變）。


// 危險示例
class MutableKey {
    private String name;
    public void setName(String name) { this.name = name; } // 修改後 hashCode 改變
    // equals/hashCode 基於 name
}

Map map = new HashMap<>();
MutableKey key = new MutableKey("A");
map.put(key, "value");
key.setName("B"); // 災難：key 現在在錯誤的桶中，永遠找不回
map.get(key); // null