Java 類生命週期深度解析：載入、連結、初始化、實例化到卸載全流程

Java 類從 `.class` 位元組碼檔案到 JVM 可執行狀態，再到最終被卸載，經歷了一個嚴格規範的生命週期。理解這個過程，不僅是面試必考題，更是排查 `ClassNotFoundException`、`NoClassDefFoundError`、`ClassCircularityError`、靜態欄位初始化順序等疑難雜症的關鍵。本文依據 JVM 規範 (JVMS §5)，結合 HotSpot 實作細節，系統梳理七大階段、觸發條件、線程安全機制與實戰陷阱。

一、生命週期七階段總覽

┌─────────────┐   ┌─────────────┐   ┌──────────────┐   ┌─────────────┐   ┌─────────────┐   ┌─────────────┐   ┌─────────────┐
│   Loading   │──▶│  Linking    │   │ Initialization │▶│   Using     │▶│ Unloading   │
│  (載入)     │   │  (連結)     │   │  (初始化)      │   │  (使用)     │   │  (卸載)     │
└─────────────┘   └──────┬──────┘   └──────────────┘   └─────────────┘   └─────────────┘
                        │
         ┌──────────────┼──────────────┐
         ▼              ▼              ▼
    Verification   Preparation    Resolution
    (驗證)         (準備)         (解析)

二、載入：尋找並載入二進制流

核心動作

1. 透過**完全限定名**獲取定義此類的二進制位元組流（來源：磁碟 `.class`、JAR、網路、動態生成、資料庫等）。
2. 將位元組流所代表的靜態儲存結構轉化為**方法區**的運行時數據結構（運行時常量池、字段表、方法表、Class 物件等）。
3. 在**堆**中生成一個 `java.lang.Class` 實例，作為方法區此類數據的訪問入口。

關鍵點

• 雙親委派模型：啟動類載入器 → 擴展類載入器 → 應用類載入器 → 自定義類載入器。保證核心類庫安全、避免重複載入。
• 載入器命名空間：同一個類由不同載入器載入，視為**不同類型**（`ClassA != ClassB`），即使位元組碼相同。
• 載入階段與連結階段**交叉進行**（載入完成部分即開始連結），但**初始化嚴格在連結完成後**。

三、連結：合併進運行時狀態

1. 驗證 — 確保位元組碼安全合規

• 檔案格式驗證（魔數、版本號、常量池結構）。
• 元數據驗證（語義分析：繼承鏈、final 修飾符、方法重寫規則）。
• 位元組碼驗證（資料流/控制流分析：操作數棧平衡、類型轉換合法、跳轉指令目標合法）。
• 符號引用驗證（解析階段執行：類/字段/方法是否存在、訪問權限）。

⚡ -Xverify:none 可關閉大部分驗證（生產環境不建議）。

2. 準備 — 為靜態欄位分配記憶體並賦「零值」

• 僅包含 static 修飾的字段（類變數），不含實例字段。
• 賦值為類型的**預設零值**（int=0, boolean=false, reference=null 等），非代碼中指定的初始值。
• static final **編譯期常數**（基本型別/String，`ConstantValue` 屬性）在此階段直接賦為**代碼指定值**。

public static int a = 10;        // 準備階段 a=0 → 初始化階段 a=10
public static final int B = 20;  // 準備階段 B=20 (ConstantValue)
public static final Object C = new Object(); // 準備階段 C=null → 初始化階段 new Object()

3. 解析 — 符號引用轉直接引用

• 將常量池中的**符號引用**（字面量形式）替換為**直接引用**（指針/偏移量/句柄），針對：類/介面、字段、方法、方法型別、方法句柄、調用點限定符。
• 可延遲至首次使用時執行（`ldc`、`invokedynamic` 等指令觸發）。
• 對於 `invokedynamic`，解析過程包含 BootstrapMethod 調用，支援動態語言特性。

四、初始化：執行 `` 賦予「真實初始值」

觸發條件（JVMS §5.5，僅這六種「主動使用」）

1. new 實例化對象
2. 讀取/寫入 static 字段（final 編譯期常數除外，已在準備階段賦值）
3. 調用 static 方法
4. 反射調用上述成員（`Class.forName`、`Method.invoke`、`Field.get/set`）
5. 初始化子類（觸發父類初始化）
6. JVM 啟動指定的主類（含 `main` 方法）

⚠️ 除此之外（如訪問父類靜態欄位、定義陣列、使用泛型類型參數）屬「被動使用」，**不觸發初始化**。

初始化流程

1. 若類有直接父類且父類未初始化，**遞歸初始化父類**（保證父類 `` 先於子類執行）。
2. 執行類構造器 ``：按源碼順序合併 static {} 靜態塊與靜態字段賦值語句。
3. 由 JVM **隱式同步**（鎖住 Class 物件），多線程並發初始化時**只有一個線程執行**，其餘阻塞等待。

經典陷阱：循環初始化

class A { static { System.out.println("A init"); B.value = 10; } static int value; }
class B { static { System.out.println("B init"); A.value = 20; } static int value; }
// main: A.value = 1; → 輸出 A init → B init → 完成
// 若 main: B.value = 1; → 輸出 B init → A init → 完成
// 關鍵：JVM 檢測到正在初始化的類再次被初始化請求，直接返回，避免死循環，但可能讀到「零值」。

五、使用階段：實例化與方法調用

四種實例化途徑

1. new 指令（最常見）
2. Class.newInstance() / `Constructor.newInstance()`（反射）
3. clone()（淺拷貝，不調用建構子）
4. ObjectInputStream.readObject()（反序列化，不調用建構子）

隱式實例化場景

• 命令行參數 `String[] args` 陣列與每個 `String` 物件
• 每個載入的類/介面，JVM 自動建立一個 `Class` 實例代表之
• 常量池 `CONSTANT_String` → 自動建立 `String` 實例
• 字串連接 `+` 操作產生的 `StringBuilder`/`String` 物件

實例化步驟 (new 指令)

1. 堆中分配記憶體（指針碰撞/空閒列表 + TLAB 線程本地分配緩衝）。
2. 將分配區域初始化為零值（不含對象頭）。
3. 設置對象頭（哈希碼、GC 分代年齡、鎖狀態、類指針）。
4. 執行 ``（建構子）：父類 `` → 實例字段賦值/實例塊 → 本類建構子體。

六、垃圾收集與對象終結

• JVM 必須實現自動堆管理（多數採用分代收集：Serial, Parallel, CMS, G1, ZGC, Shenandoah）。
• 對象不可達（GC Roots 搜索） → 標記 → 清除/壓縮/複製。
• finalize()：**已棄用 (Java 9)**，不保證執行時間/順序/線程，拋出異常會被忽略。**嚴禁依賴它釋放資源**，請用 `try-with-resources` / `Cleaner` / `PhantomReference`。

七、卸載：類從方法區移除

• 條件：該類的 `Class` 物件**不可達**（無對象引用、無類載入器引用、無線程堆幀引用）。
• **啟動類載入器載入的類永不卸載**（系統類庫常駐）。
• 僅**自定義類載入器**載入的類可能被卸載（需載入器本身不可達）。
• 卸載觸發點：Full GC / Metaspace 壓縮（JDK 8+ 元空間）。
• 熱部署/插件系統核心原理：隔離類載入器，捨棄舊載入器引用 → 觸發卸載 → 重新載入新版本。

八、實戰排查清單

結語

Java 類生命週期是 **JVM 類載入子系統** 的核心契約。掌握 載入→驗證→準備→解析→初始化→使用→卸載 各階段的**執行動作、觸發條件、線程安全保證、異常表現**，能讓你從「會用」進階到「懂原理、能調優、會排查」。下次遇到 `NoClassDefFoundError` 時，請順著這條主線思考：是載入找不到？連結驗證失敗？還是 `` 炸了？