JVM 類加載機制深度解析：靜態字段與實例初始化順序經典案例

類加載生命週期與初始化順序陷阱

Java 虛擬機規範定義類加載過程為：加載 → 驗證 → 準備 → 解析 → 初始化 → 使用 → 卸載。其中準備階段為靜態字段分配內存並設置默認值，初始化階段執行 <clinit>() 類構造器（靜態變量賦值+靜態代碼塊，按源碼順序）。

經典面試題：輸出什麼？

public class StaticTest {
    public static void main(String[] args) {
        staticFunction();
    }
    
    static StaticTest st = new StaticTest(); // ①
    static { System.out.println("1"); }      // ②
    { System.out.println("2"); }             // ③ 實例代碼塊
    StaticTest() {                           // ④ 構造器
        System.out.println("3");
        System.out.println("a=" + a + ",b=" + b);
    }
    public static void staticFunction() {    // ⑤
        System.out.println("4");
    }
    int a = 110;                             // ⑥ 實例變量
    static int b = 112;                      // ⑦ 靜態變量
}

正確輸出：

2
3
a=110,b=0
1
4

深度執行流程圖解

1. 觸發初始化： main 調用 staticFunction() → 觸發 StaticTest 類初始化；
2. 準備階段： st=null、b=0（默認值），a 不分配（非靜態）；
3. 初始化階段按源碼順序：
   • 執行 ① st = new StaticTest() → 嵌套觸發實例初始化：
   •   ① 父類初始化（無）
   •   ② 實例變量賦值：a=110（⑥）
   •   ③ 實例代碼塊：打印 2（③）
   •   ④ 構造器：打印 3，此時 b 仍為默認值 0 → 輸出 a=110,b=0
   • 實例初始化完成，返回繼續類初始化；
   • 執行 ② 靜態代碼塊：打印 1；
   • 執行 ⑦ 靜態變量賦值：b=112（但無打印）；
   • 類初始化結束，返回 main 繼續執行 ⑤：打印 4。

核心知識點總結

1. 實例初始化可嵌套在類初始化中間：當靜態字段賦值為 new 當前類() 時，實例初始化插入到類初始化流程中；
2. 類初始化只執行一次：JVM 維護初始化狀態，嵌套調用不會重複觸發 <clinit>()；
3. 靜態變量賦值與靜態代碼塊合併為 <clinit>()，順序=源碼順序；
4. final 靜態常量在準備階段賦值：static final int b=112 準備期即為 112，非常量準備期為默認值。

簡化模型驗證

public class Test {
    public static void main(String[] args) { func(); }
    static Test st = new Test(); // 嵌套實例化
    static void func() {}
}

執行流程：main → 類初始化 → st賦值觸發實例化 → 實例初始化完成 → 類初始化結束。若構造器中訪問靜態字段，可能看到默認值。

開發建議

• 避免在靜態字段初始化中創建當前類實例（單例模式除外，且需雙檢鎖/內部類寫法）；
• 靜態代碼塊中不要依賴尚未初始化的靜態字段；
• 使用 -XX:+TraceClassLoading 觀察類加載順序調試複雜依賴。