《C# to IL》第四章 關鍵字與操作符（下）：介面實現、建構函數、常數、運算符 IL 映射深度解析

前言

承接上篇，本節深入探討 C# 高階語言特性在 IL 層面的映射機制：介面方法重寫、建構函數/解構函數非繼承性、循環引用檢測差異、存取修飾符編譯時約束、型別轉換與 castclass、sealed/abstract 語義、const/readonly 編譯期與運行期行為、靜態/實例方法調用約定、基類建構函數鏈與 base/this 編譯期展開、私有建構函數與物件創建限制、欄位預設值初始化、三元/邏輯/位運算符 IL 降級實現。透過對比 C# 原始碼與 IL 輸出，揭示「語言糖衣」背後的運行時真相。

一、 介面方法重寫與 .override 指令

C# 允許類以不同名稱實現介面方法，IL 使用 .override 指令建立映射關係。

// C#: 類 yyy 實現介面 iii 的 pqr()，但方法命名為 abc()
.override iii::pqr with instance void yyy::abc()

關鍵點：override 指令強制編譯器驗證類確實實現了介面，否則拋 TypeLoadException。這是編譯期約束在運行期的強制回聲。

二、 解構函數 → Finalize() 轉換

// C#: ~zzz() { Console.WriteLine("hi"); }
// IL:
.method family hidebysig virtual instance void Finalize() cil managed
{
    ldstr "hi"
    call void [mscorlib]System.Console::WriteLine(string)
    ldarg.0
    call instance void [mscorlib]System.Object::Finalize()
    ret
}

• 解構函數編譯為 Finalize()（family = protected，virtual）。
• 必須顯式呼叫 base.Finalize()（IL 強制，C# 自動生成）。
• 非確定性執行：GC 決定何時呼叫，主控台應用常在進程退出前才執行，故輸出可能不顯示。

三、 建構函數與解構函數不參與繼承

• 派生類僅繼承基類無參數建構函數（若基類無無參建構函數，派生類必須顯式 base(...)）。
• 解構函數不繼承，各類獨立實現 Finalize。
• IL 中可見：派生類僅有 .ctor() 呼叫 base.ctor()，無其他建構函數複製。

四、 IL 允許從 System.Array 等密閉類繼承

// IL: .class yyy extends [mscorlib]System.Array { ... }
// C# 編譯器禁止，IL 運行時允許。

揭示：語言規則 = 編譯器約束，非運行時約束。C# 禁止繼承 Delegate、Enum、ValueType、Array，IL 無此限制。

五、 循環引用：C# 編譯期錯誤 vs IL 運行期 TypeLoadException

// IL 允許：aa → bb → cc → aa 循環繼承
// 運行時拋出：TypeLoadException: Could not load class 'aa' because the format is bad

C# 編譯器靜態檢測循環引用並報錯；IL 無靜態檢測，導致運行時以難以理解的異常呈現。

六、 存取修飾符：internal → private (IL)

• internal class 編譯為 .class private（組件內可見）。
• IL 無 internal 概念，僅有 public / private（組件外不可見）。
• 「組件內可見」由編譯器透過 private + 同組件引用權限實現。

七、 類/方法存取層級約束：C# 編譯期 vs IL 無約束

• C# 規則：基類存取層級 ≥ 派生類；方法存取層級 ≤ 所在類。
• IL：.class public yyy extends private xxx 合法；.method public static void vijay() 在 private class zzz 中合法。
• 驗證：CLR 不強制執行 C# 存取規則，完全由語言編譯器把關。

八、 型別轉換：castclass 指令與 InvalidCastException

// C#: b = (xxx)a;
// IL:
ldloc.0        // a
castclass xxx  // 嘗試轉換
stloc.1        // b

• castclass 運行期檢查型別相容性，失敗拋 InvalidCastException。
• 若目標類無建構函數，轉換前建構函數調用缺失導致同樣異常（驗證型別完整性）。
• 無繼承關係的類間轉換在 IL 同樣合法（編譯器允許），運行期由 castclass 裁決。

九、 sealed 與 abstract：IL 標記與運行期驗證

• sealed → .class sealed：運行期禁止繼承（Beta 版可能未強制，正式版已強制）。
• abstract → .class abstract：禁止直接 newobj 實例化，僅允許繼承。
• C# 編譯器靜態檢查；IL 依賴運行期驗證。

十、 const 常數：純編譯期實體，IL 無痕跡

// C#: const int i = 10;
// IL: 方法體中直接 ldc.i4.s 10，無欄位定義
// C#: const int i = j + 4; const int j = k - 1; const int k = 3;
// IL: .field private static literal int32 i = int32(6) ... 欄位僅存最終計算值

• literal 標記 = 編譯期常數，不佔用運行期記憶體。
• 所有常數運算在編譯期完成，IL 僅見最終字面值。
• 嘗試 stsfld 寫入 literal 欄位 → 運行期 MissingFieldException。

十一、 readonly：運行期唯讀欄位 (initonly)

// C#: static readonly int i = 10;
// IL: .field public static initonly int32 i
// 靜態建構函數 .cctor 中初始化：ldc.i4.s 10; stsfld i

• initonly = 只能在建構函數（.ctor/.cctor）中賦值。
• CLR 不強制檢查 此限制（僅靠語言編譯器），IL 可在任意處 stsfld 寫入。

// C#: bb() : this(20) { ... }  bb(int i) : base(i) { ... }
// IL: 無參建構函數 → 直接 call instance void bb::.ctor(int32) → 再 call base.ctor

// C#: j = i >= 20 ? "hi" : "bye";
// IL: bge.s (>=跳轉) + br.s (無條件跳轉) 實現 if-else 邏輯

// C#: if (i >= 4 & j > 1)
// IL: clt (小於) + ceq (等於0) → 結果0/1 → cgt (大於) → and (位與)

// IL: blt.s (若假跳出) → ble.s (若假跳出) → 執行體