C# 編譯原理：從原始碼到機器碼、IL、JIT、NGen、ReadyToRun 完整流程

編譯流程總覽

C# Source (.cs)
    │
    ▼ Roslyn Compiler (csc.exe / CSC.dll)
Intermediate Language (IL) + Metadata → Assembly (.dll/.exe)
    │
    ▼ Runtime (CLR / CoreCLR)
┌─────────────────────────────────────┐
│ JIT Compiler (Just-In-Time)         │
│ 方法首次呼叫 → 編譯為原生機器碼      │
│ 快取於 JIT Code Heap                │
└─────────────────────────────────────┘
    │
    ▼ Execution (CPU)

編譯階段詳細步驟

1. 語法分析：詞法/語法樹建構
2. 語義分析：型別檢查、符號解析、多載解析
3. IL 生成：發出 MSIL 指令、中繼資料表 (TypeDef, MethodDef, MemberRef...)
4. 組件封裝：PE 格式 (Portable Executable)、CLI Header、Strong Name 簽章

JIT 編譯模式比較

IL 指令範例

// C#: int Add(int a, int b) => a + b;
// IL:
.method public hidebysig static int32 Add(int32 a, int32 b) cil managed {
  .maxstack 2
  ldarg.0      // 載入參數 0 (a)
  ldarg.1      // 載入參數 1 (b)
  add          // 整數相加
  ret          // 返回
}

反組譯工具

• ildasm.exe (SDK 內建) - GUI 瀏覽 IL
• dotnet-ildasm (Global Tool) - 跨平台
• ILSpy / dnSpy / dotPeek - 反編譯為 C#、支援去混淆
• dotnet dump analyze - 記憶體傾印分析

效能優化建議

• 避免虛擬呼叫熱路徑：sealed、non-virtual、介面約束 where T : struct
• 內聯友善：小方法、非虛擬、無 try-catch、無複雜控制流
• [MethodImpl(MethodImplOptions.AggressiveInlining)] 強制內聯
• [MethodImpl(MethodImplOptions.NoInlining)] 防止內聯 (除錯/追蹤)
• ReadyToRun 發布：dotnet publish -r win-x64 -p:PublishReadyToRun=true