Java HashMap 深度解析：equals() 比較邏輯與源碼級原理解讀

兩個 `HashMap` 可直接用 `equals()` 比較嗎？答案是**肯定的**，且 JDK 已內建完善的比較邏輯。本文透過源碼深度剖析 `HashMap.equals()` 的實現細節，揭示其「先比大小、再比鍵值、嚴格匹配」的核心演算法，助你理解為何它能精準判斷兩個 Map 是否「內容相等」。

直觀驗證：代碼即真理

HashMap n1 = new HashMap<>() {{ put("2", "s"); }};
HashMap n2 = new HashMap<>() {{ put("2", "s"); }};
System.out.println(n1.equals(n2)); // 輸出: true

雙括號初始化是匿名內部類寫法 (JDK 1.7+)，等同於建立實例後連續 `put`。結果為 `true`，證明 `equals` 比較的是**內容**而非引用。

源碼深度剖析 (JDK 8 `AbstractMap.equals()`)

`HashMap` 未覆寫 `equals`，繼承自 `AbstractMap`，核心邏輯如下：

public boolean equals(Object o) {
    if (o == this) return true;                    // 1. 同引用快速返回
    if (!(o instanceof Map)) return false;         // 2. 必須是 Map 介面實現
    Map<?,?> m = (Map<?,?>) o;
    if (m.size() != size()) return false;          // 3. 大小不同直接 false

    try {
        Iterator<Entry<K,V>> i = entrySet().iterator();
        while (i.hasNext()) {
            Entry<K,V> e = i.next();
            K key = e.getKey();
            V value = e.getValue();
            
            if (value == null) {                   // 4. 值為 null 特殊處理
                if (!(m.get(key) == null && m.containsKey(key))) return false;
            } else {                               // 5. 值非 null 用 equals 比較
                if (!value.equals(m.get(key))) return false;
            }
        }
    } catch (ClassCastException | NullPointerException unused) {
        return false;                              // 6. 型別不兼容/空指針保護
    }
    return true;                                   // 7. 全部匹配，相等
}

核心邏輯四步走

1. 同引用檢查：`o == this` 為 `true` 直接返回，效能優化。
2. 型別與大小守門：非 `Map` 或 `size()` 不等，毫不猶豫返回 `false`。這是最廉價的過濾器。
3. 逐項鍵值匹配：遍歷 **當前 Map 的 `entrySet()`**，對每個 `key`：
   • 檢查對方 Map `m` 是否**包含該鍵** (`containsKey`)。
   • 比較**值是否相等**：`value.equals(m.get(key))`。注意：此處調用的是 **Value 物件的 `equals()`**，故自定義類作為 Value 時**必須正確覆寫 `equals()`/`hashCode()`**。
   • Null 值特殊邏輯：`value == null` 時，要求對方 `get(key) == null` **且** `containsKey(key) == true`。這精準區分了「鍵存在但值為 null」與「鍵不存在」兩種語義不同的情況。
4. 異常兜底：捕獲 `ClassCastException` (鍵型別不匹配導致 `get` 拋異常) 與 `NullPointerException` (極少見，防禦性編程)，統一返回 `false`。

關鍵啟示與最佳實踐

• 順序無關性：`HashMap` 無序，`equals` 不要求鍵順序一致，只要求**鍵值對集合完全相同**。
• Value 的 `equals()` 至關重要：若 Value 為自定義物件且未覆寫 `equals()`，將退化為引用比較，導致內容相同但引用不同的 Map 判定為不相等。**務必為 Value 類正確實現 `equals()`/`hashCode()` 契約。**
• 效能特徵：最佳 O(1) (同引用/大小不同)；最差 O(N) (需遍歷所有 Entry)。大 Map 比較前建議先比 `size()` 或 `hashCode()` (若有緩存)。
• 適用於所有 Map 實現：`TreeMap`、`LinkedHashMap`、`ConcurrentHashMap` 等均繼承此邏輯，跨實現類比較 (如 `HashMap` vs `TreeMap`) 同樣有效。

總結

`Map.equals()` 實現了**數學意義上的集合相等**：同鍵集、同值映射。其源碼展示了嚴謹的邊界處理 (null 值語義、型別安全、異常防禦)，是 Java 集合框架設計精髓的縮影。下次當你寫 `map1.equals(map2)` 時，腦海中應浮現這套「比大小、遍鍵、比值、防 null、捕異常」的標準流程。