Java 構造器成員初始化陷阱：父類調用被覆寫方法導致字段重置

前言：一個反直覺的現象

看似簡單的繼承代碼，運行結果卻違背直覺。這是《Java Puzzlers》中的經典陷阱，揭示了 Java 對象初始化順序的深層機制。

一、陷阱代碼重現

public class Base {
    Base() { preProcess(); }
    void preProcess() {}
}

public class Derived extends Base {
    public String whenAmISet = "set when declared";
    @Override void preProcess() { 
        whenAmISet = "set in preProcess()"; 
    }
}

public class Main {
    public static void main(String[] args) {
        Derived d = new Derived();
        System.out.println(d.whenAmISet); // 輸出什麼？
    }
}

直覺預期："set in preProcess()"
實際輸出："set when declared"

二、完整初始化順序深度解析

Java 對象創建的完整順序（以 new Derived() 為例）：

1. 進入 Derived 構造器（隱式 super() 前）
2. 為 Derived 成員變量分配內存，賦默認值 (whenAmISet = null)
3. 隱式調用 Base() 構造器
4. Base 構造器調用 preProcess()
5. 動態綁定觸發 Derived.preProcess()，設置 whenAmISet = "set in preProcess()"
6. 執行 Derived 成員變量顯式初始化：whenAmISet = "set when declared" ← 關鍵覆蓋點
7. 執行 Derived 構造器體（本例為空）

核心誤區

錯誤假設：成員變量聲明與初始化是原子操作。
事實真相：Java 將「聲明（分配內存+默認值）」與「顯式初始化」分離，初始化發生在父類構造器完成之後、子類構造器體之前。

三、為什麼要這樣設計？

3.1 父類優先初始化原則

Java 強制父類構造器先於子類成員初始化完成，保證子類可安全使用父類已初始化的狀態。若子類成員先初始化，父類構造器中調用被覆寫方法訪問子類字段時將讀到未初始化狀態。

3.2 C++ vs Java 的不同選擇

C++ 禁止成員聲明處初始化，強制在構造器初始化列表顯式初始化，從語法層面規避此問題；Java 允許聲明處初始化，靈活性換取了認知負擔。

四、避坑最佳實踐

1. 構造器中不調用可覆寫方法：將 preProcess() 標記 final、private 或 static
2. 初始化邏輯下沉到子類構造器：避免依賴父類構造器調用的回調方法初始化子類字段
3. 使用工廠方法/建造者模式：複雜初始化交給靜態工廠完成，構造器保持簡單
4. 靜態分析工具輔助：SpotBugs、SonarQube 可檢測 "Constructor calls overridable method" 模式

五、延伸閱讀推薦

Joshua Bloch & Neal Gafter 合著 **《Java Puzzlers: Traps, Pitfalls, and Corner Cases》** (中文版《Java 解惑》) 第 45 題 "Initialization Order" 深度剖析此陷阱，是每位 Java 開發者的必讀經典。

六、總結

「聲明 ≠ 初始化」、「父類構造器調用子類覆寫方法時子類字段尚未顯式初始化」—— 理解這兩點，即可避開 Java 最隱蔽的初始化陷阱。記住：構造器只做賦值，不做業務；多態留給構造器之後。