C# 反射機制 深度解析：靜態構造函數執行順序、字段初始化陷阱與面試經典題

反射不僅是「運行時檢查類型」，更涉及**類型初始化的精確時序**。一道經典面試題揭示：靜態字段內聯初始化 → 靜態構造函數 → 基類靜態構造函數 → 基類實例字段初始化 → 基類實例構造函數 → 派生類實例字段初始化 → 派生類實例構造函數。本文通過反編譯 IL、實測驗證，徹底講透這一機制。

一、 經典面試題：10 個實例化順序

代碼

public class MyTest {
    public MyTest(string info) => Console.WriteLine(info);
}
public class BaseA {
    public static MyTest a1 = new MyTest("a1");     // 靜態字段內聯
    public MyTest a2 = new MyTest("a2");             // 實例字段內聯
    static BaseA() { new MyTest("a3"); }             // 靜態構造函數
    public BaseA() { new MyTest("a4"); }             // 實例構造函數
    public virtual void MyFun() { new MyTest("a5"); } // 虛方法
}
public class BaseB : BaseA {
    public static MyTest b1 = new MyTest("b1");
    public MyTest b2 = new MyTest("b2");
    static BaseB() { new MyTest("b3"); }
    public BaseB() { new MyTest("b4"); }
    public new void MyFun() { new MyTest("b5"); }    // new 隱藏
}
static void Main() {
    var b = new BaseB();
    b.MyFun();
}

輸出順序

b1      // 1. 派生類靜態字段內聯
b3      // 2. 派生類靜態構造函數
b2      // 3. 派生類實例字段內聯
a1      // 4. 基類靜態字段內聯
a3      // 5. 基類靜態構造函數
a2      // 6. 基類實例字段內聯
a4      // 7. 基類實例構造函數
b4      // 8. 派生類實例構造函數
b5      // 9. 派生類 new 方法調用 (非虛調用)

註：a5 **未輸出**，因 BaseB.MyFun 用 new 隱藏而非 override，調用 b.MyFun() 靜態綁定到 BaseB.MyFun。

二、 核心知識點拆解

1. 內聯字段初始化 (Inline Initialization)

// C# 源碼
public int X = 5;
// IL 等效 (簡化)
public int X;
public BaseA() { X = 5; /* 然後調用基類構造函數 */ }

• 編譯器將內聯初始化**移至構造函數開頭** (基類構造函數調用前)。
• **靜態字段內聯** → 移至 靜態構造函數 (.cctor) 開頭。
• **實例字段內聯** → 移至 實例構造函數 (.ctor) 開頭 (基類 .ctor 調用前)。

2. 類型構造器 (.cctor) 執行時機

• CLR 保證：在**首次**訪問該類型的**靜態字段**或**創建實例**前執行。
• 觸發 .cctor 後，標記類型已初始化，後續不再執行。
• BaseB .cctor 先於 BaseA .cctor：因創建 BaseB 實例需先確保 BaseB 類型初始化完成，CLR 遞歸觸發基類 .cctor？不，**實測派生類 .cctor 先執行**！原因：CLR 按「最先被引用的類型」初始化。Main 中首次引用 BaseB (new BaseB())，故先跑 BaseB.cctor，其內部隱式引用基類靜態成員才觸發 BaseA.cctor。

3. 實例構造鏈 (.ctor)

1. 派生類 .ctor 入口
2. **隱式/顯式調用基類 .ctor** (必須第一條指令)
3. 基類 .ctor 執行：基類實例字段內聯初始化 → 基類構造函數體
4. 返回派生類 .ctor：派生類實例字段內聯初始化 → 派生類構造函數體

故順序：a2 (基類字段) → a4 (基類構造) → b4 (派生構造)。但注意 b2 (派生類字段內聯) 在 BaseB.cctor 後、**實例構造鏈前** 執行？**實測順序是 b2 在 b3 後、a1 前**。

修正完整順序邏輯：

1. Main 觸發 BaseB 類型初始化
2. BaseB.cctor 執行：派生類靜態字段內聯 (b1) → 靜態構造函數體 (b3)
3. BaseB.cctor 結束，**隨後立即執行派生類實例字段內聯 (b2)**？不！實例字段初始化屬於 .ctor 階段。
   **實際 IL 驗證**：BaseB 的實例字段內聯初始化代碼被編譯器放在 BaseB.ctor 中，**但** BaseB.ctor **尚未調用**！為什麼 b2 會在 a1 前輸出？
4. **關鍵發現**：BaseB 繼承 BaseA，但 BaseB **未顯式調用基類構造函數** (無 : base())，編譯器生成隱式 base() 調用。**然而**，C# 編譯器為派生類生成的 .ctor 中，**實例字段內聯初始化代碼位於 base() 調用之前**！
5. 故派生類 .ctor 執行流：派生類實例字段內聯 (b2) → base() → 基類 .ctor (a2 → a4) → 派生類構造函數體 (b4)。
6. 但 a1 (基類靜態字段) 何時執行？在 BaseA.cctor 中。BaseA.cctor 由 BaseB.cctor 隱式觸發 (如訪問基類靜態成員) 或 CLR 在實例化前自動觸發。**實測 b2 在 a1 前**，說明 BaseA.cctor 觸發點在 BaseB.ctor 的 base() **之前**？

結論：CLR 類型初始化順序極其微妙，**實測為準，不死記規則**。核心原則：

• 靜態字段內聯 → 靜態構造函數 (同類內有序)。
• 派生類類型初始化**可能**先於基類 (取決於首次引用點)。
• 實例構造鏈：派生類字段內聯 → 基類構造 (字段內聯 → 體) → 派生類構造體。
• new 破壞虛方法調用鏈。

三、 實戰建議

1. 避免靜態構造函數中依賴其他類型的靜態成員 (循環依賴風險)。
2. 靜態字段初始化保持簡單，複雜邏輯移至 Lazy<T> 或顯式初始化方法。
3. 單例模式：優先 Lazy<T> 或雙重檢查鎖，而非靜態構造函數。
4. 調試技巧：在 .cctor/.ctor 中打斷點，觀察 Call Stack 中的 [Native to Managed Transition] 確定觸發源。

「靜態構造函數執行順序」是 C# 運行時最隱晦的角落之一。不依賴它編寫業務邏輯，是成熟工程師的標誌。