Java 匿名內部類訪問外部局部變量：final 關鍵字與 JLS 規範深度解析

問題代碼

public class Test {
    public void say(String name) {
        new RunnableWithReturn() {
            @Override
            public Object execute() {
                System.out.println(name); // 編譯錯誤：name 必須是 final 或 effectively final
                return null;
            }
        };
    }
}

interface RunnableWithReturn {
    Object execute();
}

編譯錯誤原因

Java 語言規範（JLS）規定：**匿名內部類（及局部類、Lambda）只能訪問 final 或 effectively final 的局部變量**。

• final：顯式聲明不可變。
• effectively final（Java 8+）：未聲明 final，但編譯器推斷其初始化後**從未被重新賦值**。

方法參數 name 在方法體中可被修改（如 name = "other"），故非 effectively final，編譯報錯。

解決方案

方案一：參數聲明 final（Java 7 及之前必須）

public void say(final String name) { ... }

方案二：賦值給 final 局部變量（通用）

public void say(String name) {
    final String finalName = name; // 復制引用
    new RunnableWithReturn() {
        @Override
        public Object execute() {
            System.out.println(finalName); // 訪問 final 副本
            return null;
        }
    };
}

方案三：Java 8+ Lambda 表達式（自動 effectively final 檢查）

public void say(String name) {
    RunnableWithReturn r = () -> {
        System.out.println(name); // name 不能在 Lambda 中被修改
        return null;
    };
}

底層原理：值捕獲 vs 變量捕獲

• 值捕獲（Java 方式）：編譯時將變量**值複製**到內部類實例的隱藏字段中。要求值不變，否則內外不一致。
• 變量捕獲（C++/JS 閉包）：捕獲變量**引用/地址**，內外共享同一存儲單元。

Java 選擇值捕獲簡化內存模型，避免多線程下局部變量生命周期結束後內部類仍持有引用導致未定義行為。

effectively final 判定規則

1. 變量聲明後**僅賦值一次**（初始化）。
2. 無任何後續賦值語句（var = ...、var++、for (var : ...) 等）。
3. Lambda/匿名類體內**不修改**該變量。

總結

匿名內部類訪問外部局部變量，**必須保證變量不可變**。Java 7 用 final，Java 8+ 允許 effectively final（隱式 final）。最佳實踐：參數加 final 或 提取 final 副本，代碼意圖清晰，兼容所有版本。