首頁
編程語言
C語言|JAVA編程
Python編程
網頁編程
ASP編程|PHP編程
JSP編程
數據庫
MYSQL數據庫|SqlServer數據庫
Oracle數據庫|DB2數據庫
您现在的位置: 程式碼之家 >> 編程語言 >  >> Java 程式設計 >> Java 程式設計入門

HashMap 深度解析:核心原理、Put/Get 流程、哈希碼機制與最佳實踐

     編輯:Java 程式設計入門

Map 介面體系概覽

介面/類別特點有序性Null 支援執行緒安全
HashMap哈希表,JDK 1.8+ 引入紅黑樹無序允許 1 null key,多 null value非安全
LinkedHashMap雙向鏈表維護插入/存取順序插入序/存取序允許非安全
TreeMap紅黑樹,自然序/比較器序鍵有序不允許 null key非安全
Hashtable同步化 HashMap無序不允許 null安全(效能低)
ConcurrentHashMap分段鎖/CAS,高併發無序不允許 null安全(高效能)

HashMap 核心結構(JDK 1.8+)

┌─────────────────────────────────────┐
│           HashMap                   │
├─────────────────────────────────────┤
│  Node<K,V>[] table (bucket array)   │
│  - 初始容量 16,負載因子 0.75        │
│  - 擴容閾值 = capacity * loadFactor │
└─────────────────────────────────────┘
           │
           ▼
┌─────────────────────────────────────┐
│         Bucket (數組索引)            │
├─────────────────────────────────────┤
│  1. 單一節點                        │
│  2. 鏈表(節點 < 8 且容量 < 64)    │
│  3. 紅黑樹(節點 ≥ 8 且容量 ≥ 64)  │
└─────────────────────────────────────┘

關鍵常數與欄位

static final int DEFAULT_INITIAL_CAPACITY = 1 << 4; // 16
static final int MAXIMUM_CAPACITY = 1 << 30;        // 2^30
static final float DEFAULT_LOAD_FACTOR = 0.75f;
static final int TREEIFY_THRESHOLD = 8;      // 鏈表轉樹閾值
static final int UNTREEIFY_THRESHOLD = 6;    // 樹轉鏈表閾值
static final int MIN_TREEIFY_CAPACITY = 64;  // 最小樹化容量

Put 流程深度解析

public V put(K key, V value) {
    return putVal(hash(key), key, value, false, true);
}

final V putVal(int hash, K key, V value, boolean onlyIfAbsent, boolean evict) {
    Node<K,V>[] tab; Node<K,V> p; int n, i;
    
    // 1. 延遲初始化 table
    if ((tab = table) == null || (n = tab.length) == 0)
        n = (tab = resize()).length;
    
    // 2. 計算索引,桶為空直接插入
    if ((p = tab[i = (n - 1) & hash]) == null)
        tab[i] = newNode(hash, key, value, null);
    else {
        Node<K,V> e; K k;
        // 3. 關鍵比較:key 相同則覆蓋
        if (p.hash == hash && ((k = p.key) == key || (key != null && key.equals(k))))
            e = p;
        // 4. 紅黑樹節點
        else if (p instanceof TreeNode)
            e = ((TreeNode<K,V>)p).putTreeVal(this, tab, hash, key, value);
        // 5. 鏈表節點
        else {
            for (int binCount = 0; ; ++binCount) {
                if ((e = p.next) == null) {
                    p.next = newNode(hash, key, value, null);
                    // 6. 達閾值樹化
                    if (binCount >= TREEIFY_THRESHOLD - 1)
                        treeifyBin(tab, hash);
                    break;
                }
                if (e.hash == hash && ((k = e.key) == key || (key != null && key.equals(k)))) {
                    e = e; break;
                }
                p = e;
            }
        }
        // 7. 覆蓋舊值
        if (e != null) {
            V oldValue = e.value;
            if (!onlyIfAbsent || oldValue == null)
                e.value = value;
            afterNodeAccess(e);
            return oldValue;
        }
    }
    ++modCount;
    // 8. 擴容檢查
    if (++size > threshold)
        resize();
    afterNodeInsertion(evict);
    return null;
}

Put 關鍵步驟圖解

  1. 哈希計算:hash(key.hashCode()) → 擾動函數,高 16 位參與運算,減少碰撞
  2. 索引定位:(n - 1) & hash → 位運算替代取模,要求容量為 2 的冪次
  3. 碰撞處理:鏈表法 → 紅黑樹優化(O(log n) 查找)
  4. Key 判等:hash 相同 && (同一引用 || equals 為真)
  5. 擴容機制:容量翻倍,重新計算索引(JDK 1.8 優化:原索引或原索引+舊容量)

Get 流程解析

public V get(Object key) {
    Node<K,V> e;
    return (e = getNode(hash(key), key)) == null ? null : e.value;
}

final Node<K,V> getNode(int hash, Object key) {
    Node<K,V>[] tab; Node<K,V> first, e; int n; K k;
    if ((tab = table) != null && (n = tab.length) > 0 &&
        (first = tab[(n - 1) & hash]) != null) {
        // 1. 首節點直接匹配
        if (first.hash == hash && ((k = first.key) == key || (key != null && key.equals(k))))
            return first;
        // 2. 紅黑樹查找
        if ((e = first.next) != null) {
            if (first instanceof TreeNode)
                return ((TreeNode<K,V>)first).getTreeNode(hash, key);
            // 3. 鏈表遍歷
            do {
                if (e.hash == hash && ((k = e.key) == key || (key != null && key.equals(k))))
                    return e;
            } while ((e = e.next) != null);
        }
    }
    return null;
}

哈希碼機制深度解析

hashCode() 契約

  1. 一致性:同一物件多次調用返回相同值(前提是 equals 依賴欄位未變)
  2. 相等性:a.equals(b) == true → a.hashCode() == b.hashCode()
  3. 不等不要求不同:!a.equals(b) 允許哈希碼相同(但應盡量分散)

HashMap 專用擾動函數

static final int hash(Object key) {
    int h;
    return (key == null) ? 0 : (h = key.hashCode()) ^ (h >>> 16);
}

高 16 位參與運算,充分利用低位變化,減少碰撞。因為索引計算 (n-1) & hash 僅使用低位。

自定義類別正確重寫 hashCode/equals

public class Student {
    private String name;
    private int age;
    
    @Override
    public boolean equals(Object o) {
        if (this == o) return true;
        if (o == null || getClass() != o.getClass()) return false;
        Student student = (Student) o;
        return age == student.age && Objects.equals(name, student.name);
    }
    
    @Override
    public int hashCode() {
        return Objects.hash(name, age); // JDK 7+ 推薦
        // 手動實現:31 * name.hashCode() + age
    }
}

遍歷方式效能對比

方式程式碼效能適用場景
entrySetfor (Entry<K,V> e : map.entrySet())最佳需同時取 key/value
keySet + getfor (K k : map.keySet()) map.get(k)較差僅需 key,或舊版 JDK
forEach (JDK 8)map.forEach((k,v) -> ...)佳函數式風格,Lambda
IteratorIterator<Entry> it = map.entrySet().iterator()佳需刪除元素

常見陷阱與最佳實踐

陷阱後果解決方案
可變物件作 Key修改後找不到原值使用不可變物件(String、Integer、自定義不可變類)
未重寫 hashCode/equals邏輯相等視為不同 Key務必成對重寫,使用 IDE 自動生成或 Objects.hash
初始容量過小頻繁擴容,效能損耗預估大小,new HashMap<>(expectedSize)
多執行緒並發 Put資料遺失、死循環(JDK 1.7)使用 ConcurrentHashMap 或 Collections.synchronizedMap
遍歷時修改ConcurrentModificationException使用 Iterator.remove() 或 Collectors.toMap 重建

JDK 1.7 vs 1.8 關鍵差異

  • 資料結構:1.7 數組+鏈表 → 1.8 數組+鏈表/紅黑樹
  • 擴容遷移:1.7 重新哈希 → 1.8 原位或舊容量偏移(位運算優化)
  • 插入方式:1.7 頭插法(易倒序、死循環) → 1.8 尾插法(保持順序)
  • 查找優化:1.8 紅黑樹 O(log n) 替代鏈表 O(n)
  1. 上一篇文章:
  2. 下一篇文章:
Copyright © 程式碼之家 All Rights Reserved