Java ThreadLocal 核心原理與實戰應用：執行緒隔離變數模式

核心概念

ThreadLocal 提供執行緒區域變數：每個執行緒擁有獨立副本，互不干擾。「以空間換時間」，避免同步開銷。

內部實作原理

每個 Thread 內部持有 ThreadLocalMap：

// 簡化版 ThreadLocalMap
static class ThreadLocalMap {
    static class Entry extends WeakReference> {
        Object value;
        Entry(ThreadLocal k, Object v) { super(k); value = v; }
    }
    private Entry[] table;
    // get/set 操作當前執行緒的 map
}

ThreadLocal 作為 key，值存儲於當前執行緒的 map 中。

標準使用模式

public class RequestContext {
    private static final ThreadLocal holder = new ThreadLocal<>();
    
    public static void set(Request req) { holder.set(req); }
    public static Request get() { return holder.get(); }
    public static void clear() { holder.remove(); } // 防洩漏
}

// 過濾器中
RequestContext.set(new Request(httpRequest));
try {
    // 業務邏輯可隨處取得 Request
    Request req = RequestContext.get();
} finally {
    RequestContext.clear();
}

經典應用場景

InheritableThreadLocal

子執行緒可繼承父執行緒的值：

InheritableThreadLocal itl = new InheritableThreadLocal<>();
itl.set("parent-value");
// 新執行緒自動獲得副本

記憶體洩漏風險與防範

• 執行緒池重用執行緒 → ThreadLocal 值殘留
• 必須在 finally 呼叫 remove()
• 使用弱參考 key，但 value 強參考需手動清理

Java 20+ 新功能：Scoped Values

// 結構化並發專用，自動生命週期管理
ScopedValue SV = ScopedValue.newInstance();
ScopedValue.runWhere(SV, request, () -> {
    // 子執行緒自動可見，結束自動清理
});