Java final 變量初始化完全指南：三大位置、執行順序與常見陷阱

final 變量一旦賦值不可更改，但初始化位置與時機有嚴格規則。本文系統梳理三大初始化位置、執行順序、編譯器檢查邏輯及常見坑點。

三大合法初始化位置

1. 聲明處直接賦值：final int a = 1;
2. 實例初始化塊：{ a = 2; } 或 static { b = 2; }
3. 構造器中：public Demo() { c = 3; }

注意：Java 1.1 前僅支持聲明處初始化；靜態 final 變量不能在構造器初始化（構造器屬實例，靜態屬類）。

完整案例演示

public class InitOrder {
    // 實例 final
    final int a1 = 1;      // 1. 聲明處
    final int b1;          // 2. 構造器
    final int c1;          // 3. 實例塊（後）
    final int d1;          // 4. 實例塊（前） - 特殊

    // 靜態 final
    static final int a2 = 1;
    static final int c2;   // 靜態塊（後）
    static final int d2;   // 靜態塊（前） - 特殊

    // 實例初始化塊（前）
    { System.out.println("before-field"); d1 = 3; }
    // 靜態初始化塊（前）
    static { System.out.println("before-static"); d2 = 3; }

    // 實例初始化塊（後）
    { System.out.println("after-field"); c1 = 4; System.out.println("c1=" + c1); }
    // 靜態初始化塊（後）
    static { System.out.println("after-static"); c2 = 4; System.out.println("c2=" + c2); }

    public InitOrder() { b1 = 2; }

    public static void main(String[] args) {
        InitOrder o = new InitOrder();
        System.out.println("c1=" + o.c1);
        System.out.println("c2=" + o.c2);
        System.out.println("d1=" + o.d1);
        System.out.println("d2=" + o.d2);
    }
}

輸出與順序分析

before-static
after-static
c2=4
before-field
after-field
c1=4
c1=4
c2=4
d1=3
d2=3

執行順序鏈

1. 靜態階段（類加載）：靜態字段賦值 → 靜態塊（按定義順序）
2. 實例階段（new 對象）：實例字段賦值 → 實例塊（按定義順序） → 構造器

關鍵規則與陷阱

「前賦值後讀取」為何非法？

Java 要求「讀取前必須確定賦值」。編譯器按文本順序進行確定性分析：

• { d1 = 3; print(d1); } → d1 在 print 前已賦值 → ✅
• { print(d1); d1 = 3; } → print 時 d1 未確定賦值 → ❌

這與運行時內存分配無關，純屬編譯期靜態分析規則。

最佳實踐建議

1. 優先聲明處初始化：簡潔、不可變、線程安全
2. 構造器初始化：依賴構造參數時使用，確保所有構造器覆蓋
3. 避免初始化塊賦值 final：易混淆順序，維護成本高
4. 靜態 final 用於常量：static final int MAX = 100;，命名全大寫下劃線
5. 引用類型 final：引用不可變，但對象內部狀態可變，勿誤解為深度不可變

總結

final 初始化遵循「聲明處 > 初始化塊 > 構造器」的靈活性，但受「靜態先於實例、文本順序確定賦值」兩大硬約束。理解編譯器確定性賦值分析，能避開 90% 的 final 初始化坑點。