Java 集合框架深度解析（二）：Set 實現類、底層結構與選型指南

Java 集合框架深度解析（二）：Set 實現類、底層結構與選型指南

本文為「Java 集合框架」系列第二篇，系統梳理 Set 介面五大實現類的底層資料結構、特性、適用場景與線程安全選型建議。

1. 五大 Set 實現類與底層結構對照

2. 選型決策樹

1. 不需要有序 → HashSet（首選）
2. 需要插入順序 → LinkedHashSet
3. 需要排序順序 → TreeSet（單執行緒）或 ConcurrentSkipListSet（多執行緒）
4. 高併發讀多寫少、需遍歷無鎖 → CopyOnWriteArraySet
5. 高併發寫入多、需有序 → ConcurrentSkipListSet

3. 核心實現原理速覽

HashSet / LinkedHashSet

• 內部持有 HashMap<E, Object>，key 存元素，value 共用 PRESENT 虛擬物件
• LinkedHashSet 額外維護雙向鏈表記錄插入順序

TreeSet

• 內部持有 TreeMap<E, Object>，基於紅黑樹實現
• 元素必須實現 Comparable<E> 或構造時傳入 Comparator<E>
• 所有操作 O(log n)

ConcurrentSkipListSet

• 基於 ConcurrentSkipListMap，跳表結構
• 提供 contains、add、remove 原子性保證
• 批量操作（addAll 等）非原子，需外部同步

CopyOnWriteArraySet

• 內部持有 CopyOnWriteArrayList
• 寫入時複製整個數組，讀取直接訪問當前快照，遍歷不拋 ConcurrentModificationException
• 適合「讀遠多於寫」、需頻繁遍歷的場景（如事件監聽器列表）

4. 線程安全 Set 選型對比

5. 總結

• 掌握底層結構（哈希表、紅黑樹、跳表、數組）是理解性能特徵的關鍵
• 「有序性需求」是選型首要決策因素
• 線程安全 Set 並非銀彈，需根據讀寫比例、遍歷頻率、一致性要求權衡

下一篇將深入剖析 Map 族群：HashMap、TreeMap、LinkedHashMap、ConcurrentHashMap 等核心實現。