Java 集合框架核心實現深度解析：List、Map、Set、Queue 特性與選型指南

Java 集合框架核心實現深度解析：List、Map、Set、Queue 特性與選型指南

JDK 提供豐富的集合實現，合格開發者必須能根據功能場景與性能需求選用最合適的集合。本文系統梳理 Collection 與 Map 兩大根接口衍生出的主流實現類，剖析底層數據結構、線程安全特性、適用場景與核心參數。

集合框架總覽

Collection (根接口)
├── List (有序、可重複)     → ArrayList, LinkedList, Vector, CopyOnWriteArrayList
├── Set (無序、不可重複)     → HashSet, LinkedHashSet, TreeSet, ConcurrentSkipListSet
└── Queue (FIFO/優先級)      → PriorityQueue, ArrayBlockingQueue, LinkedBlockingQueue, ConcurrentLinkedQueue

Map (鍵值對，Key 唯一)
├── HashMap, Hashtable, ConcurrentHashMap
├── LinkedHashMap (插入序/訪問序)
├── TreeMap (紅黑樹有序)
└── ConcurrentSkipListMap (跳表有序+線程安全)

List 族系深度對比

遍歷陷阱：LinkedList 絕對不要用 get(i) 遍歷（O(n²)），必須用 Iterator 或增強 for 循環（O(n)）。ArrayList 則隨意。

Map 族系深度對比

HashMap JDK 8 關鍵優化

• 鏈表長度 ≥ 8 且數組長度 ≥ 64 → 樹化（紅黑樹），防止哈希衝突攻擊導致 O(n) 退化
• 樹節點 ≤ 6 → 退化為鏈表
• 擴容時採用「高位掩碼」快速重新分佈，避免重新計算 hash

Set 族系：Map 的「閹割版」

所有 Set 內部封裝同類型 Map：HashSet → HashMap、TreeSet → TreeMap、ConcurrentSkipListSet → ConcurrentSkipListMap。元素作為 Key 存入，Value 統一為 PRESENT = new Object()。特性與對應 Map 完全一致。

Queue/Deque 族系：併發編程利器

選型口訣：
高併發非阻塞 → ConcurrentLinkedQueue
生產消費模型 → LinkedBlockingQueue (無界) / ArrayBlockingQueue (有界)
直接傳遞任務 → SynchronousQueue (線程池 newCachedThreadPool 默認)
優先級處理 → PriorityBlockingQueue
雙端操作/棧 → LinkedBlockingDeque / ArrayDeque (非線程安全)

總結：集合選型決策樹

1. 需要 Key-Value → Map 族系
   • 高併發 → ConcurrentHashMap
   • 需有序遍歷 → TreeMap / ConcurrentSkipListMap
   • LRU 緩存 → LinkedHashMap
   • 一般場景 → HashMap
2. 單純元素集合 → Set 族系（對應 Map 選型）
3. 需要索引/順序/重複 → List 族系
   • 隨機訪問多 → ArrayList
   • 頭尾增刪多 → LinkedList
   • 併發遍歷/讀多寫少 → CopyOnWriteArrayList
4. 生產消費/任務調度 → Queue 族系（見上表選型口訣）

避坑指南

• HashMap 多線程下死循環：JDK 7 擴容頭插法導致鏈表成環，JDK 8 改尾插但仍不安全，嚴禁多線程共享未同步 HashMap
• ConcurrentHashMap 不能保證絕對一致性：`size()`、`containsKey()` 等為弱一致性，復合操作需額外加鎖
• CopyOnWrite 寫入極慢：每次寫復制整個數組，僅適合「讀多寫極少」
• 阻塞隊列 add/offer 差異：有界隊列滿時 add 拋異常，offer 返回 false；put 阻塞等待
• 迭代器弱一致性：並發集合迭代器不拋 ConcurrentModificationException，但可能讀到過期數據