Java 內部類 final 語義的字節碼級實現機制深度解析

前言

Java 內部類頻繁引用外部類變數，但這些變數如何傳遞給內部類？本文從字節碼層面揭示編譯器如何實現 final 語義與變數捕獲。

場景一：局部基本型別變數（final）

final int x = 10;
new Runnable() {
    public void run() { System.out.println(x); }
}.run();

字節碼分析

0: getstatic #2 // System.out
3: bipush 10                    // 常量直接內聯
5: invokevirtual #3 // println
8: return

結論：基本型別 final 變數編譯期常量折疊，直接以字面值嵌入內部類字節碼，相當於值拷貝。

場景二：局部引用型別變數（final）

final T t = new T();
new Runnable() {
    public void run() { System.out.println(t); }
}.run();

字節碼關鍵點

• 內部類自動生成 final T val$t 欄位（ACC_FINAL | ACC_SYNTHETIC）。
• 構造函數簽名變為 T$1(T)，外部傳入 t 賦值給 val$t。
• run() 中通過 getfield val$t 讀取。

場景三：帶參數的匿名內部類

Thread thread = new Thread("thread-1") {
    public void run() { System.out.println(t); }
};

編譯器將構造函數從 (String) 改為 (String, T)，同步傳入外部捕獲變數。

場景四：非 final 實例欄位（基本型別）

int t = 3;
private void xx() {
    new Runnable() {
        public void run() { System.out.println(t); }
    }.run();
}

內部類構造函數接收外部類 this 引用（this$0），運行時雙層 getfield 訪問最新值。不進行常量折疊，因為欄位可變。

場景五：final 實例引用欄位

final String t = new String("abc");
private void xx() { ... }

同樣傳遞 this$0，但在 run() 中走 getfield this$0 → getfield t 雙層訪問。

場景六：static 欄位

static String t = new String("abc");

• 內部類仍保留 this$0 引用（符合內部類規範）。
• run() 中直接 getstatic t 訪問，不再走實例欄位鏈。

總結：編譯器統一策略

1. 修改構造函數：將所有需捕獲變數作為額外參數傳入內部類構造器。
2. 合成欄位：在內部類生成 ACC_SYNTHETIC 欄位保存捕獲值或外部引用。
3. 特化優化：基本型別 final 局部變數直接常量內聯，避免欄位開銷。

JVM 層面無特殊處理

所有邏輯均在 編譯期 完成，JVM 僅見普通類與構造函數參數。SYNTHETIC 標記供反射識別編譯器生成成員（Member.isSynthetic()）。

實踐啟示

理解底層實現有助於：

• 預判捕獲變數的生命週期與記憶體保持行為
• 避免匿名內部類隱性持有外部類導致記憶體洩漏
• 在高性能場景下權衡 Lambda 與匿名類的捕獲開銷