Java 線程安全與非線程安全深度解析：選擇策略、性能權衡與最佳實踐

「線程安全」是 Java 併發編程的核心概念，但常被誤解為「加鎖就安全」或「非線程安全就不能用」。本文從定義本質、典型容器對比、性能代價、選擇決策矩陣、以及現代併發包替代方案五個維度，構建完整的線程安全認知體系。

一、 核心定義：什麼是線程安全？

Brian Goetz《Java Concurrency in Practice》定義：當多個線程訪問某個類時，不管運行時環境採用何種調度方式、線程如何交替執行，主調代碼不需要任何額外同步或協調，這個類都能表現出正確行為，那麼這個類就是線程安全的。

關鍵點：

• 「正確行為」由類的規約定義（如 List.add 後 size 增加 1、get 能取到剛加入的元素）。
• 「無需主調代碼額外同步」——封裝了同步細節，調用者透明使用。
• 非線程安全 ≠ 絕對不可用，僅意味著多線程並發訪問同一實例時可能出現數據競爭、狀態損壞。

二、 經典容器對比：同功能不同安全級別

三、 線程安全的實現代價與性能權衡

• 舊 API（Vector、Hashtable、StringBuffer）：方法級 synchronized，粗粒度鎖，單線程/低併發下性能損耗巨大（鎖獲取/釋放、內存屏障、上下文切換開銷）。
• 現代併發容器：
  • ConcurrentHashMap：JDK 7 分段鎖 → JDK 8 CAS + synchronized + 紅黑樹，細粒度鎖，讀操作無鎖，極高吞吐。
  • CopyOnWriteArrayList/Set：寫時復制底層數組，讀完全無鎖，適合「讀多寫極少、容忍短暫不一致」場景。
  • LongAdder/DoubleAdder：分段計數器，高併發計數比 AtomicLong 快數量級。

四、 選擇決策矩陣：何時用什麼？

1. 單線程 / 線程封閉：優先 ArrayList、HashMap、StringBuilder。無同步開銷，性能最優。
2. 多線程共享實例，讀多寫少：CopyOnWriteArrayList、CopyOnWriteArraySet、ConcurrentHashMap（读無鎖）。
3. 多線程共享實例，讀寫均衡/寫多：ConcurrentHashMap、ConcurrentLinkedQueue、LongAdder。
4. 需要複合操作原子性（如 check-then-act：if (!map.containsKey(k)) map.put(k, v)）：
   • 使用 ConcurrentHashMap.computeIfAbsent、putIfAbsent 等原子方法。
   • 或外部加鎖（同步塊/ReentrantLock），但需持有鎖期間完成整個邏輯。
5. 迭代器一致性要求：
   • 弱一致性迭代器（ConcurrentHashMap、ConcurrentLinkedQueue）：允許並發修改，不拋 ConcurrentModificationException，可能不反映最新狀態。
   • 快照迭代器（CopyOnWrite 系列）：遍歷時見不到後續寫入，絕對安全。

五、 避坑指南與最佳實踐

1. 不要盲目選「線程安全」類：單線程場景用 Vector 是性能自殺。
2. 複合操作需額外同步：ConcurrentHashMap 單個方法原子，但 get-then-put 組合非原子。
3. 發布與逸出：構造過程中 this 逸出（啟動線程、註冊監聽器）會導致對象未構造完成就被其他線程看到，破壞線程安全。
4. 不可變對象天然線程安全：String、Integer、Guava ImmutableList、自定義 final 字段無 setter 類。優先使用不可變模式。
5. ThreadLocal 不是萬能藥：解決線程封閉，但需注意內存洩漏（Key 弱引用、Value 強引用、線程池長生命周期）。

六、 總結

線程安全是類封裝同步策略、調用者無感知的承諾。非線程安全類在單線程/外部同步場景完全可用且性能更優。現代 Java 開發應優先選擇 java.util.concurrent 包下的高性能併發容器，根據讀寫比例、一致性要求、複合操作需求精準匹配，而非簡單二元選擇。