Java 靜態區塊、非靜態區塊與建構子執行順序深度解析

Java 初始化區塊與建構子執行機制完整指南

在 Java 類別載入與物件建立過程中，靜態區塊、非靜態區塊（實例初始化區塊）與建構子的執行順序是面試高頻考點，也是理解 JVM 類別載入機制的關鍵。本文通過詳細的代碼實驗與輸出分析，徹底釐清這三者的執行規則與繼承關係下的複雜行為。

核心概念速覽

單一類別執行順序驗證

public class TestStatic {
    static { System.out.println("靜態區塊"); }
    { System.out.println("非靜態區塊"); }
    public TestStatic() { System.out.println("建構子"); }
    public static void main(String[] args) {
        new TestStatic();
        System.out.println("---分割線---");
        new TestStatic();
    }
}

輸出結果：

靜態區塊
非靜態區塊
建構子
---分割線---
非靜態區塊
建構子

繼承體系下的複雜執行順序

當子類別繼承父類別時，執行順序遵循「父靜態 → 子靜態 → 父非靜態 → 父建構子 → 子非靜態 → 子建構子」的鏈式規則。關鍵點：

1. 靜態區塊：父類別優先，僅在首次主動使用類別時執行（調用靜態方法、存取靜態欄位、new 物件、反射）
2. 非靜態區塊與建構子：每次 new 子類別物件都會完整執行一次父子鏈
3. 隱含 super()：子類別建構子首行隱含呼叫父類別無參建構子，觸發父類別初始化鏈

實驗代碼與輸出分析

// 父類別
class Base {
    static { System.out.println("父靜態區塊"); }
    { System.out.println("父非靜態區塊"); }
    Base() { System.out.println("父建構子"); }
    static void staticMethod() { System.out.println("父靜態方法"); }
}

// 子類別
class Derived extends Base {
    static { System.out.println("子靜態區塊"); }
    { System.out.println("子非靜態區塊"); }
    Derived() { System.out.println("子建構子"); }
    static void staticMethod() { System.out.println("子靜態方法"); }
}

public class Test {
    public static void main(String[] args) {
        System.out.println("=== 測試1: 僅調用父類別靜態方法 ===");
        Base.staticMethod();
        
        System.out.println("\n=== 測試2: 調用子類別靜態方法 ===");
        Derived.staticMethod();
        
        System.out.println("\n=== 測試3: new 子類別物件 ===");
        new Derived();
        
        System.out.println("\n=== 測試4: 再次 new 子類別物件 ===");
        new Derived();
    }
}

輸出結果解析

=== 測試1: 僅調用父類別靜態方法 ===
父靜態區塊
父靜態方法

=== 測試2: 調用子類別靜態方法 ===
父靜態區塊
子靜態區塊
子靜態方法

=== 測試3: new 子類別物件 ===
父非靜態區塊
父建構子
子非靜態區塊
子建構子

=== 測試4: 再次 new 子類別物件 ===
父非靜態區塊
父建構子
子非靜態區塊
子建構子

進階陷阱與最佳實踐

⚠️ 常見誤區

• 靜態區塊非線程安全：雖類別載入由 JVM 保證單線程，但靜態區塊中啟動新執行緒可能導致並發問題
• final 靜態欄位初始化順序：編譯期常量（static final int A = 1;）優於靜態區塊，運算期常量（static final int B = compute();）在靜態區塊中按順序執行
• 非靜態區塊不可拋受檢異常：除非建構子聲明 throws，否則區塊內必須捕獲處理

✅ 實戰應用場景

1. 單例模式雙重檢查鎖：靜態區塊初始化 InstanceHolder 類別實現延遲載入
2. 資料庫連線池預熱：靜態區塊建立核心連線，非靜態區塊配置事務隔離級別
3. 框架元件註冊：Spring 的 @PostConstruct 本質上在非靜態區塊後、建構子後執行

總結圖譜

類別載入階段          物件實例化階段（每次 new）
┌─────────────────┐    ┌─────────────────────────────┐
│ 父靜態區塊/欄位  │───▶│ 父非靜態區塊/欄位          │
│ 子靜態區塊/欄位  │    │ 父建構子                    │
│ (僅首次觸發)     │    │ 子非靜態區塊/欄位          │
└─────────────────┘    │ 子建構子                    │
                       └─────────────────────────────┘

掌握這套機制，不僅能應付面試，更能在設計框架、排查類別載入死鎖、優化啟動效能時遊刃有餘。建議動手跑通文中所有實驗，在腦海中建立完整的時序圖譜。