Java 類定義與執行順序完全指南：從構造器到實例化的生命週期

理解 Java 類的定義語法與運行時初始化順序，是寫出正確、可預測代碼的基石。本文通過圖解與代碼追蹤，帶你釐清從 .class 載入到物件誕生的完整鏈路。

一、類的基本結構

public class Dog {
    // 成員變量（屬性）
    String name;
    int age;

    // 構造器：無返回值、名稱與類同
    public Dog(String name, int age) {
        this.name = name;
        this.age = age;
        System.out.println("感謝主人領養了我");
    }

    // 實例方法
    public void bark() { System.out.println("汪汪！"); }
    public void hungry() { System.out.println("主人，我餓了"); }
}

三類變量辨析

二、對象創建三步曲

Dog myDog;                    // 1. 聲明：引用變量，棧上分配 4/8 字節
myDog = new Dog("花花", 3);   // 2. 實例化 + 3. 初始化：堆上分配對象、調用構造器
// 或合寫
Dog myDog = new Dog("花花", 3);

三、類初始化與對象初始化的完整執行順序

以以下代碼為例：

public class Demo {
    private String name = "微學苑"; // ① 實例變量顯式初始化
    private int age = 3;            // ②

    public Demo() {                 // ③ 構造器
        System.out.println("構造器執行");
    }

    public static void main(String[] args) { // ④ 程序入口
        Demo obj = new Demo();      // ⑤ 創建對象
        System.out.println(obj.name);
    }
}

執行流程圖解

1. JVM 啟動 → 定位 main 入口（第 ④ 行）
2. 執行 new Demo()（第 ⑤ 行）
3. 先初始化類（若未加載）：
   • 執行靜態變量賦值、靜態塊（按聲明順序）
4. 再初始化對象：
   • 在堆上分配內存，預設值（0/null/false）
   • 按聲明順序執行實例變量顯式初始化（①→②）
   • 執行實例初始化塊（若有，按順序）
   • 執行構造器代碼（③）
5. 構造器完成，new 表達式返回引用賦給 obj
6. 繼續執行 main 後續代碼

關鍵口訣

父類靜態 → 子類靜態 → 父類實例變量/塊 → 父類構造器 → 子類實例變量/塊 → 子類構造器

四、常見誤區與最佳實踐

• 誤區：以為構造器先於實例變量初始化執行。事實：實例變量初始化在構造器之前。
• 誤區：構造器中調用可覆寫方法。風險：子類覆寫方法可能訪問尚未初始化的子類字段 → NPE 或邏輯錯誤。建議：構造器僅調用 private/final/static 方法。
• 最佳實踐：不可變對象全部在構造器初始化完成，無 setter；大量字段考慮 Builder 模式。

五、圖解總結：new 關鍵字背後發生了什麼？

new Dog("花花", 3)
   │
   ├─▶ 1. 類加載檢查（首次用到才觸發）
   │       └─▶ 靜態初始化（只一次）
   │
   ├─▶ 2. 堆內存分配（指針碰撞/空閒列表）
   │
   ├─▶ 3. 零值初始化（默認值）
   │
   ├─▶ 4. 設置對象頭（哈希碼、GC 年齡、類指針、鎖狀態…）
   │
   ├─▶ 5. 實例變量顯式賦值 + 實例初始化塊（按順序）
   │
   └─▶ 6. 構造器執行（ 方法）
           │
           └─▶ 返回引用地址

清晰掌握初始化順序，能幫你規避 90% 的「字段未初始化」、「循環依賴」、「子類覆寫導致空指針」等隱形坑。建議將本文流程圖收藏，寫構造器時隨時對照。