Java 初始化塊、靜態初始化塊、構造函數執行順序深度解析

核心結論先行

實證：三層繼承鏈驗證

測試代碼

class A {
    static { System.out.println("Static init A."); }
    { System.out.println("Instance init A."); }
    A() { System.out.println("Constructor A."); }
}
class B extends A {
    static { System.out.println("Static init B."); }
    { System.out.println("Instance init B."); }
    B() { System.out.println("Constructor B."); }
}
class C extends B {
    static { System.out.println("Static init C."); }
    { System.out.println("Instance init C."); }
    C() { System.out.println("Constructor C."); }
}
public class Main {
    static { System.out.println("Static init Main."); }
    { System.out.println("Instance init Main."); }
    Main() { System.out.println("Constructor Main."); }
    public static void main(String[] args) {
        new C(); // 單次實例化
    }
}

單次實例化輸出

Static init Main.
Static init A.
Static init B.
Static init C.
Instance init A.
Constructor A.
Instance init B.
Constructor B.
Instance init C.
Constructor C.

二次實例化（new C(); new B();）輸出

Static init Main.
Static init A.
Static init B.
Static init C.
Instance init A.
Constructor A.
Instance init B.
Constructor B.
Instance init C.
Constructor C.
Instance init A.
Constructor A.
Instance init B.
Constructor B.

關鍵觀察：靜態塊僅首次加載執行；實例塊與構造函數每次實例化均按「父類實例塊 → 父類構造器 → 子類實例塊 → 子類構造器」順序執行。

字節碼視角：javap 反編譯揭秘

Main 構造函數字節碼

public Main();
  Code:
   0: aload_0
   1: invokespecial #1  // java/lang/Object."":()V
   4: getstatic #2      // System.out
   7: ldc #3            // "Instance init Main."
   9: invokevirtual #4  // println
  12: getstatic #2
  15: ldc #5            // "Constructor Main."
  17: invokevirtual #4
  20: return

**發現**：實例初始化塊代碼被編譯器**前置插入**到構造函數體中，位於 `super()` 調用之後、構造函數自有代碼之前。

C 類構造函數字節碼

C();
  Code:
   0: aload_0
   1: invokespecial #1  // B."":()V
   4: getstatic #2
   7: ldc #3            // "Instance init C."
   9: invokevirtual #4
  12: getstatic #2
  15: ldc #5            // "Constructor C."
  17: invokevirtual #4
  20: return

證實：子類構造函數首行必調 `super()`，隨後執行本類實例塊，最後執行構造函數體。

實戰用途指南

靜態初始化塊

• 複雜靜態字段初始化：如加載配置文件、初始化緩存、註冊 JDBC 驅動（`Class.forName()`）
• 單例模式預熱：靜態塊初始化輕量字段，構造函數延遲加載重資源
• 類加載偵測/日誌：記錄類首次被使用時間點

實例初始化塊

• 多構造器代碼復用：將公共初始化邏輯集中，避免重複
• 最終字段賦值：`final` 字段若依賴複雜邏輯計算，可在實例塊賦值
• 匿名內部類初始化：無法定義構造函數時的唯一選擇

⚠️ 避坑原則

1. **嚴禁在初始化塊中拋出受檢異常**（除非構造函數同聲明）
2. **避免依賴執行順序的副作用邏輯**——難維護、難測試
3. **靜態塊異常導致類加載失敗**（`ExceptionInInitializerError`），後續無法使用該類
4. **實例塊異常阻斷實例化**，構造函數不再執行

總結

初始化塊不是語法糖，而是編譯器協助的**構造器模板方法模式**實現：

• 靜態塊 = 類級模板方法（ClassLoader 調用）
• 實例塊 = 實例級模板方法（構造器調用）

善用它們可提升代碼復用與可讀性，濫用則增加認知負擔。**原則：能用構造函數/字段聲明初始化的，就不寫初始化塊。**