透過實例深度解析 Java 對象構造過程：避開構造器調用抽象方法的陷阱

一個令人困惑的 NullPointerException

作者提供了一個抽象對話框基類 BaseDlg，要求子類實現 createClientPanel() 方法。大多數代碼正常，但同事的 ChildDlg2 拋出 NullPointerException。對比發現，唯一差別在於實例變量 jTextFieldName 的初始化位置：

// 正常：ChildDlg1 - 在方法內初始化
public JPanel createClientPanel() {
    jTextFieldName = new JTextField();  // 此處初始化
    ...
}

// 異常：ChildDlg2 - 在字段聲明處初始化
JTextField jTextFieldName = new JTextField();  // 字段初始化器
public JPanel createClientPanel() {
    panel.add(jTextFieldName);  // 此時為 null！
    ...
}

Java 對象創建與初始化的完整時序

通俗認知認為「字段初始化發生在構造器之前」——這在單類情況下成立，但繼承鏈下並不準確。完整流程包含 5 步遞歸：

1. 分配參數給指定構造器
2. 若首句為 this(...) 調用本類其他構造器 → 遞歸執行 5 步，正常則跳至步驟 5
3. 若非 this(...) 且非 Object 類 → 調用父類構造器 (super(...) 顯式或隱式) → 遞歸執行 5 步，正常則跳至步驟 5
4. 按聲明順序初始化本類字段 (字段初始化器、初始化塊)
5. 執行構造器剩餘語句

核心結論：父類構造器執行發生在子類字段初始化之前。

驗證代碼

class Animal { Animal() { System.out.println("Animal"); } }
class Cat extends Animal { Cat() { System.out.println("Cat"); } }
class Store { Store() { System.out.println("Store"); } }
public class Petstore extends Store {
    Cat cat = new Cat();  // 字段初始化器
    Petstore() { System.out.println("Petstore"); }
    public static void main(String[] args) { new Petstore(); }
}

輸出順序：Store → Animal → Cat → Petstore，證明父類構造器 → 子類字段初始化 → 子類構造器主體。

異常根因分析

1. 創建 ChildDlg2 實例 → 調用 super(null, "Title")
2. 執行父類 BaseDlg 構造器
3. BaseDlg 構造器中調用 createClientPanel() (抽象方法)
4. 動態綁定調用子類 ChildDlg2.createClientPanel()
5. 方法內使用 jTextFieldName，但子類字段初始化尚未執行 (步驟 4 尚未到達)
6. jTextFieldName 仍為默認值 null → 拋出 NullPointerException

ChildDlg1 將初始化移入方法內，故在調用時已完成賦值，避開陷阱。

兩種解決方案

方案一：約定俗成 (治標)

要求子類在實現方法時先初始化所需字段。但這違背「字段初始化宜在聲明處或構造器」的良好設計原則，且依賴開發者自覺，風險大。

方案二：重構基類 (治本，推薦)

將「佈局用戶界面」職責從構造器剝離，延遲到構造完成後調用：

public abstract class BaseDlg extends JDialog {
    public BaseDlg(Frame frame, String title) {
        super(frame, title, true);
        getContentPane().setLayout(new BorderLayout());
        getContentPane().add(createHeadPanel(), BorderLayout.NORTH);
        getContentPane().add(createButtonPanel(), BorderLayout.SOUTH);
        // 移除此處對 createClientPanel() 的調用
    }

    /** 構造完成後必須調用此方法完成界面佈局 */
    public void initGUI() {
        getContentPane().add(createClientPanel(), BorderLayout.CENTER);
    }
    // ... 其他方法不變
}

使用方式：

ChildDlg dlg = new ChildDlg();
dlg.initGUI();  // 此時子類字段已全部初始化完畢
dlg.setVisible(true);

設計原則總結

構造器的基本職責是正確初始化字段，讓對象進入就緒狀態，切勿賦予過多職責。

構造器設計鐵律

• 用最簡單方式讓對象進入就緒狀態
• 若可能，避免在構造器中調用任何方法
• 構造器內唯一安全調用：基類 final 方法或 private 方法 (編譯器隱式 final)
• 因 final 方法不可被子類覆寫，不會觸發多態調用導致字段未初始化

遵循此原則，可從根源消除「構造器調用可覆寫方法」引發的初始化順序陷阱，編寫更健壯的 Java 代碼。