Java 對象初始化順序深度驗證與原理解析

引言

Java 對象創建過程涉及父類構造、靜態/非靜態字段初始化、初始化塊、構造方法等多個階段。理解準確的初始化順序對於避免難以排查的 Bug、設計合理的繼承體系至關重要。本文通過一個經典驗證案例，詳細拆解對象初始化的完整鏈路。

驗證代碼

public class Derive extends Base {
    private Member m1 = new Member("Member 1");
    {
        System.out.println("Initial Block()");
    }

    public Derive() {
        System.out.println("Derive()");
    }

    private Member m2 = new Member("Member 2");
    private int i = getInt();

    private int getInt() {
        System.out.println("getInt()");
        return 2;
    }

    public static void main(String[] args) {
        new Derive();
    }
}

class Base {
    public Base() {
        System.out.println("Base()");
    }
}

class Member {
    public Member(String m) {
        System.out.println("Member() " + m);
    }
}

輸出結果

Base()
Member() Member 1
Initial Block()
Member() Member 2
getInt()
Derive()

順序深度解析

1. 父類構造方法優先執行

JVM 規定：子類構造方法第一行隱式或顯式調用 super()。因此 Base() 最先輸出。若父類無無參構造，子類必須顯式調用帶參 super(...)。

2. 非靜態字段初始化與實例初始化塊按聲明順序執行

父類構造完成後，進入子類初始化階段：

1. m1 初始化：new Member("Member 1") → 輸出 "Member() Member 1"
2. 實例初始化塊：{ System.out.println("Initial Block()"); } → 輸出 "Initial Block()"
3. m2 初始化：new Member("Member 2") → 輸出 "Member() Member 2"
4. i 初始化：調用 getInt() → 輸出 "getInt()"

關鍵點：字段初始化和初始化塊的執行順序完全取決於它們在類中聲明的順序，交替執行。

3. 最後執行子類構造方法體

所有字段初始化完成後，執行 Derive() 構造方法體 → 輸出 "Derive()"。

完整初始化順序總結（不含靜態成員）

1. 父類構造方法（遞歸向上至 Object）
2. 當前類非靜態字段初始化與實例初始化塊（按聲明順序交替）
3. 當前類構造方法體

靜態成員初始化補充

若包含靜態字段/靜態初始化塊，順序為：

1. 父類靜態字段/靜態塊（按聲明順序）
2. 子類靜態字段/靜態塊（按聲明順序）
3. 父類非靜態字段/初始化塊 → 父類構造方法
4. 子類非靜態字段/初始化塊 → 子類構造方法

靜態初始化在類加載階段（Class.forName、new 對象、訪問靜態成員時）觸發，僅執行一次。

常見陷阱與最佳實踐

• 構造方法中調用可覆寫方法：子類字段尚未初始化，可能導致空指針或邏輯錯誤。
• 字段初始化依賴其他字段：嚴格遵循聲明順序，避免前向引用。
• 初始化塊濫用：優先使用構造方法，初始化塊僅用於多構造方法共享邏輯。