Java 類與實例變量初始化全流程深度解析

從源碼到字節碼：揭秘 Java 變量初始化順序

Java 類的加載與初始化是 JVM 執行的核心環節，理解靜態/實例變量、靜態/實例代碼塊、構造器的執行順序，對於排查繼承鏈初始化問題、避免空指針異常至關重要。本文通過反編譯字節碼還原編譯器行為，系統梳理完整初始化鏈路。

一、類初始化：靜態成員的單次執行

類初始化僅發生一次，核心任務是賦值靜態變量（static 字段）並執行靜態代碼塊。編譯器會將源碼中分散的靜態賦值語句與靜態代碼塊，按源碼順序合併 到 <clinit>() 方法中。

源碼示例

public class Person {
    public static String name = "張三";
    public static int age;
    static { age = 20; System.out.println("初始化age"); }
    public static String address;
    static { address = "北京市"; age = 34; }
    public static void main(String[] args) { ... }
}

編譯後等效結構

public class Person {
    public static String name;
    public static int age;
    public static String address;
    static {
        name = "張三";   // 合併：字段初始化 + 靜態塊，按源碼順序
        age = 20;
        System.out.println("初始化age");
        address = "北京市";
        age = 34;
    }
    ...
}

關鍵結論

• 所有靜態字段先 聲明（默認值），再按源碼順序 賦值/執行靜態塊。
• 字段聲明處賦值（static int a = 1;）與靜態塊賦值 等價，統一納入 <clinit> 順序執行。
• 父類 <clinit> 必須先於子類執行完畢（由 JVM 保證）。

二、實例初始化：構造器內的隱藏邏輯

對象創建時，實例變量初始化與構造器執行順序同樣遵循「源碼順序」原則。編譯器將實例字段賦值、實例代碼塊（{ ... }）、構造器代碼 全部搬移至構造器 <init>() 中，順序為：

1. 父類構造器（隱式或顯式 super()）
2. 本類實例字段賦值 + 實例代碼塊（按源碼順序交織）
3. 本類構造器體代碼

源碼示例

public class Person {
    { name = "李四"; age = 56; address = "上海"; }  // 實例代碼塊
    public String name = "張三";
    public int age = 29;
    public String address = "北京市";
    public Person() { name = "趙六"; age = 23; address = "上海市"; }
}

編譯後構造器等效碼

public Person() {
    // 1. 隱式 super() 已執行完畢
    name = "李四";   // 實例代碼塊
    age = 56;
    System.out.println("初始化age");
    address = "上海";
    name = "張三";   // 字段聲明賦值
    age = 29;
    address = "北京市";
    name = "趙六";   // 構造器體
    age = 23;
    address = "上海市";
}

三、實戰陷阱與避坑指南

總結

Java 初始化機制本質是編譯器將分散的賦值語句「線性化」進 <clinit> 與 <init>。牢記 靜態先於實例、父類先於子類、源碼順序決定執行順序 三大鐵律，即可精準預測任何初始化序列。