Java 並發編程核心：ThreadLocal 原理、手寫實現與最佳實踐

ThreadLocal：以空間換時間的線程隔離神器

ThreadLocal<T> 為每個線程提供獨立變量副本，解決多線程共享變量的線程安全問題。本文從原理、手寫簡易版、實戰模式、內存洩漏風險四個維度深度解析。

核心原理

• 本質：Thread 內部持有 ThreadLocalMap<ThreadLocal<?>, Object>，Key 為 ThreadLocal 實例（弱引用），Value 為線程局部變量
• get/set：以當前線程為 Key 操作其 Map，互不干擾
• vs synchronized：同步是「以時間換空間」（排隊訪問共享副本），ThreadLocal 是「以空間換時間」（每線程一份副本，並發零等待）

手寫簡易版

public class SimpleThreadLocal {
    private final Map<Thread, T> valueMap = 
        Collections.synchronizedMap(new HashMap<>());

    public void set(T value) {
        valueMap.put(Thread.currentThread(), value);
    }

    public T get() {
        Thread t = Thread.currentThread();
        T val = valueMap.get(t);
        if (val == null && !valueMap.containsKey(t)) {
            val = initialValue();
            valueMap.put(t, val);
        }
        return val;
    }

    public void remove() { valueMap.remove(Thread.currentThread()); }
    protected T initialValue() { return null; }
}

實戰驗證：線程隔離計數器

class Count {
    private final ThreadLocal<Integer> count = ThreadLocal.withInitial(() -> 0);
    public int increase() { 
        count.set(count.get() + 1); 
        return count.get(); 
    }
}

// 4 線程並發，各自獨立計數 1→2→3
new Thread(() -> { for (int i=1;i<=3;i++) log(increase()); }).start();

輸出證明：每線程計數器互不干擾，均從 1 開始遞增。

四大核心場景

1. 數據庫連接/Session 管理：每線程獨享 Connection，避免參數混亂
2. 事務管理：線程綁定 Transaction 上下文
3. 用戶身份上下文：Spring Security SecurityContextHolder 底層即 ThreadLocal
4. 格式化工具復用：SimpleDateFormat 非線程安全，ThreadLocal 緩存實例

內存洩漏陷阱與防範

• 成因：ThreadLocalMap Key 為弱引用，ThreadLocal 實例被 GC 回收後，Key 變 null，但 Value 強引用鏈仍存在（Thread → ThreadLocalMap → Entry → Value），導致 Value 洩漏
• 高危場景：線程池線程長期存活、Web 容器線程復用
• 鐵律：用完必須 remove()，推薦 try-finally 模式

try {
    threadLocal.set(value);
    // 业务逻辑
} finally {
    threadLocal.remove(); // 关键！
}

JDK 8+ 新特性

• ThreadLocal.withInitial(Supplier)：懶加載初始值，簡化匿名內部類
• InheritableThreadLocal：父線程值自動傳遞給子線程（注意：僅創建瞬間快照，後續修改不同步）