Java 向前引用機制深度解析：變量初始化順序與符號表陷阱

什麼是向前引用？

在定義類、方法、變量之前使用它們。Java 允許向前引用，C++ 則要求先聲明。

class MyClass {
    void method() {
        System.out.println(myvar); // 向前引用 myvar
    }
    String myvar = "var value"; // 後定義
}

經典陷阱：初始化順序導致的 0 值問題

class MyClass {
    int method() { return n; }   // ① 向前引用 n
    int m = method();            // ② 初始化 m，調用 method()
    int n = 1;                   // ③ 初始化 n
}

測試代碼

System.out.println(new MyClass().method()); // 輸出 1 ✅
System.out.println(new MyClass().m);        // 輸出 0 ❌（預期 1）

底層原理：雙階段初始化與符號表

1. 編譯期：詞法/語法/語義檢查，生成 .class，將初始化表達式記錄在常量池，不執行初始化。
2. 運行期加載類：
   • 階段一：按聲明順序將所有字段放入符號表，賦予默認值（int=0, ref=null）。此時符號表中 n=0。
   • 階段二：按聲明順序執行真正初始化，更新符號表中的值。

為什麼 m=0？

初始化 m 時（階段二），調用 method() → 讀取 n → 符號表中 n 仍為階段一的默認值 0 → 返回 0 → m=0。
隨後階段二繼續執行 n=1，符號表 n 更新為 1，但 m 已固化為 0。

調整聲明順序即可修復

class MyClass {
    int method() { return n; }
    int n = 1;        // 先初始化 n
    int m = method(); // 再初始化 m，此時 n 已為 1
}

System.out.println(new MyClass().m); // 輸出 1 ✅

關鍵結論

• 類初始化嚴格按源碼聲明順序執行
• 向前引用讀取的是符號表中的當前值（可能是默認值）
• 實例創建完成後，字段值不可變（除非再次賦值）
• 靜態字段同理，也遵循聲明順序初始化

最佳實踐

1. 避免在字段初始化中調用可能依賴其他未初始化字段的方法
2. 將無依賴的字段聲明在前，有依賴的聲明在後
3. 複雜初始化邏輯移至構造器或初始化塊，手動控制順序
4. 使用 IDE 檢查「字段可能未初始化」警告

理解符號表雙階段機制，是避開 Java 初始化陷阱的關鍵！