Java 程式設計哲學筆記：初始化與清理的完整機制解析

前言

隨著軟體系統複雜度提升，「不安全」的程式設計方式成為維護成本暴增的主因。Java 透過建構子保證初始化、垃圾回收器負責清理，從語言層面解決資源管理難題。本文深度解析初始化的完整生命週期。

一、Java 的解決方案

• 建構子：特殊方法，將「初始化」與「建立」綁定，兩者不可分離
• 垃圾回收器：自動釋放無用物件記憶體，但不保證執行時間

二、方法重載——建構子共存的基石

2.1 判定條件

1. 參數個數不同
2. 參數型別不同

核心規則：方法名稱必須相同，只要上述任一條件滿足即構成重載。回傳型別不同不構成重載。

2.2 建構子鏈呼叫

class Flower {
    String name;
    Flower() { this("Unknown"); } // 呼叫另一個建構子
    Flower(String name) { this.name = name; }
    
    // 規則：this() 必須置於第一行，且只能呼叫一個建構子
    // 非建構子方法中禁止呼叫建構子
}

三、成員初始化的四種途徑與順序

3.1 初始化途徑

1. 自動初始化：基本型別賦預設值（0、false、null），物件參考為 null
2. 定義時指定：int x = 10;
3. 實例初始化區塊：{ x = 20; }
4. 建構子初始化：public Flower() { x = 30; }

3.2 初始化順序鐵律

1. 靜態成員（靜態變數、靜態初始化區塊）—— 類別載入時執行一次
2. 非靜態成員（實例變數、實例初始化區塊）—— 依宣告順序執行
3. 建構子本體程式碼

class Mug {
    Mug(int marker) { System.out.println("Mug(" + marker + ")"); }
    void f(int marker) { System.out.println("f(" + marker + ")"); }
}

public class Mugs {
    Mug mug1;
    Mug mug2;
    { // 實例初始化區塊
        mug1 = new Mug(1);
        mug2 = new Mug(2);
        System.out.println("mug1 & mug2 initialized");
    }
    Mugs() { System.out.println("Mugs()"); }
    Mugs(int i) { System.out.println("Mugs(int)"); }

    public static void main(String[] args) {
        System.out.println("Inside main()");
        new Mugs();
        System.out.println("new Mugs() completed");
        new Mugs(1);
        System.out.println("new Mugs(1) completed");
    }
}
/* 輸出順序：
Inside main()
Mug(1)
Mug(2)
mug1 & mug2 initialized
Mugs()
new Mugs() completed
Mug(1)
Mug(2)
mug1 & mug2 initialized
Mugs(int)
new Mugs(1) completed
*/

四、靜態資料初始化細節

• 無論建立多少物件，靜態資料只佔用一份儲存空間
• static 不能用於區域變數，僅作用於欄位
• 首次存取類別（如 new、存取靜態成員）觸發類別載入與靜態初始化

五、總結：完整初始化流程圖

1. 靜態變數初始化（首次載入類別時，僅一次）
2. 非靜態變數隱式預設值
3. 顯式指定初始值 / 實例初始化區塊（依宣告順序）
4. 建構子執行

最佳實踐建議

1. 盡可能在定義處初始化，減少建構子複雜度
2. 不可變物件：所有欄位 final，建構子一次性初始化完成
3. 避免在建構子中呼叫可被覆寫的方法（可能存取未初始化的子類別欄位）
4. 資源清理：實作 AutoCloseable，搭配 try-with-resources，不依賴 finalize()