.NET CIL 系列第二篇：堆疊架構核心——Load/Store 與虛擬執行堆疊

CIL 的堆疊本質

C# 等高階語言隱藏底層實作，但 CIL 實際上是完全基於堆疊的語言。虛擬執行堆疊負責：

• Load（加載/入堆疊）：將值壓入堆疊
• Store（存儲/出堆疊）：將堆疊頂端值移至記憶體（區域變數、參數、欄位）

鐵律： CIL 不允許直接存取任何資料（區域變數、參數、欄位），必須先 load 到堆疊，使用時再 pop。這解釋了 IL 程式碼看似冗餘的原因。

範例：PrintMessage 方法

public void PrintMessage() {
    string myMessage = "Hello";
    Console.WriteLine(myMessage);
}

對應 IL 程式碼

.method public hidebysig instance void PrintMessage() cil managed
{
  .maxstack 1
  .locals init ([0] string myMessage)
  IL_0000: nop
  IL_0001: ldstr "Hello"        // 載入字串常數到堆疊
  IL_0006: stloc.0              // 存儲堆疊頂端值到區域變數索引 0
  IL_0007: ldloc.0              // 載入區域變數索引 0 到堆疊
  IL_0008: call void [mscorlib]System.Console::WriteLine(string)
  IL_000d: nop
  IL_000e: ret
}

指令解析

• .locals init ([0] string myMessage)：宣告索引 0 的區域變數
• ldstr：載入字串常數
• stloc.0：存儲至區域變數 0（Store）
• ldloc.0：載入區域變數 0（Load）
• call：呼叫方法，消耗堆疊上的參數

堆疊操作指令分類

註解語法

IL 支援 // 單行與 /* ... */ 多行註解，編譯器會忽略。

本篇小結

理解「Load/Store 雙向流動」與「虛擬執行堆疊」是閱讀寫作 IL 的基石。下一篇將進入實戰：Round-trip Engineering 修改既有組件。