Java 集合源碼深度解析：HashSet 底層原理、構造方法、核心操作與去重機制全景圖

前言

HashSet 是 Java 集合框架中最常用的 無序、不重複 集合實現。其核心秘密在於：底層完全委託 HashMap 實現。本文將從源碼級別剖析 HashSet 的結構設計、四大構造器、add/remove/contains 核心方法，並深入講解其去重機制與序列化細節，助你徹底掌握這一基礎組件。

一、核心結構：一個 HashMap 撐起整個 HashSet

public class HashSet<E> extends AbstractSet<E> implements Set<E>, Cloneable, java.io.Serializable {
    // 底層存儲容器
    private transient HashMap<E, Object> map;
    // 虛擬值，所有元素在 Map 中對應的 value 都是這個對象
    private static final Object PRESENT = new Object();
    // ...
}

設計精髓：

• Key 存元素，Value 存 PRESENT：利用 HashMap 「Key 唯一」特性天然實現 Set 去重。
• transient map：序列化時不直接序列化 HashMap，而是通過 writeObject/readObject 手動控制，節省空間並保證兼容性。

二、四大構造器：靈活配置初始容量與負載因子

三、核心方法源碼解析

1. add(E e) —— 去重的關鍵

public boolean add(E e) {
    return map.put(e, PRESENT) == null;
}

邏輯推演：

1. 調用 map.put(key, value)，Key 為元素 e，Value 為 PRESENT。
2. HashMap.put 返回值語義：舊值（若 Key 已存在）或 null（Key 不存在）。
3. 若返回 null → 元素原本不在集合中 → 添加成功 → 返回 true。
4. 若返回 PRESENT → 元素已存在 → 新 Entry 的 value 覆蓋舊 value（均為 PRESENT），Key 不變 → 返回 false。

結論： HashSet.add 的去重完全依賴 HashMap.put 的 Key 唯一性，而 Key 的相等判斷依賴 hashCode() 與 equals() 契約。

2. contains(Object o) / remove(Object o)

public boolean contains(Object o) { return map.containsKey(o); }
public boolean remove(Object o) { return map.remove(o) == PRESENT; }

直接委託 Map 的 containsKey、remove，時間複雜度 O(1)。

3. clone() —— 淺拷貝實現

public Object clone() {
    try {
        HashSet<E> newSet = (HashSet<E>) super.clone();
        newSet.map = (HashMap<E, Object>) map.clone(); // 淺拷貝 HashMap
        return newSet;
    } catch (CloneNotSupportedException e) {
        throw new InternalError();
    }
}

注意：元素對象本身不拷貝，新舊 Set 共享元素引用。

四、最佳實踐與避坑指南

1. 務必重寫 hashCode() 和 equals()：存入 HashSet 的自定義對象若不重寫，將使用 Object 默認實現（地址比較），導致「邏輯相同」的對象被視為不同元素，無法去重。
2. 預估大小避免擴容：大量數據預知時使用 new HashSet<>(expectedSize)，減少 rehash 開銷。
3. 不可變對象作元素：元素對象加入 Set 後不要修改其影響 hashCode/equals 的字段，否則會導致無法從 Set 中查找/刪除該元素（因哈希桶位置已變）。
4. 線程不安全：多線程環境下使用 Collections.synchronizedSet(new HashSet<>()) 或改用 ConcurrentHashMap.newKeySet()（Java 8+）。
5. 遍歷時不得修改：Iterator 為 fail-fast，併發修改拋 ConcurrentModificationException。