C# 閉包捕獲變量原理深度解析：編譯器生成顯示類與值類型提升機制

閉包允許內部函數訪問外部作用域變量，並在外部函數返回後**延長變量壽命**。C# 編譯器通過**生成顯示類** 實現此機制，將捕獲變量「提升」為類字段。本文通過 IL 反編譯、值類型/引用類型差異、foreach 陷阱三個維度，徹底講透捕獲原理。

一、 閉包基礎示例

public Func<string> CreateFunction() {
    string str = "我的幸運數字是";
    int num = 17;
    Func<string> func = () => str + num; // 捕獲 str、num
    return func;
}

// 調用
var f = CreateFunction();
Console.WriteLine(f()); // 輸出: 我的幸運數字是17

關鍵點：CreateFunction 棧幀銷毀後，str、num 理應銷毀，但閉包 f 仍能訪問 —— **編譯器在堆上為它們「續命」**。

二、 編譯器生成的顯示類

1. IL 反編譯視角

// 簡化後的編譯器生成代碼
[CompilerGenerated]
private sealed class <>c__DisplayClass0_0 {
    public string str;      // 捕獲的引用類型字段
    public int num;         // 捕獲的值類型字段 (無裝箱！)
    
    public string <CreateFunction>b__0() {
        return this.str + this.num; // Lambda 體變為實例方法
    }
}

public Func<string> CreateFunction() {
    var display = new <>c__DisplayClass0_0();
    display.str = "我的幸運數字是";
    display.num = 17;
    return new Func<string>(display.<CreateFunction>b__0);
}

2. 核心機制

• 所有捕獲變量 (值類型 + 引用類型) 統一放入同一個顯示類實例，作為公共字段。
• 值類型不裝箱：直接作為顯示類的字段存儲 (如 public int num)，避免裝箱/拆箱開銷。
• Lambda/匿名方法轉換為顯示類的**實例方法**，通過 this 訪問捕獲變量。
• 外部函數創建顯示類實例，初始化字段，返回委託綁定實例方法。

三、 值類型 vs 引用類型捕獲差異

結論：C# 選擇**顯示類字段提升**而非**裝箱**，優勢：無裝箱開銷、類型安全、支持 ref/out 捕獲 (C# 7+)。

四、 經典陷阱：foreach 循環變量捕獲

C# 4.0 及之前 (循環變量在循環外聲明，所有迭代共享同一變量)

var funcs = new List<Func<int>>();
for (int i = 0; i < 3; i++) {
    funcs.Add(() => i); // 捕獲同一個 i
}
foreach (var f in funcs) Console.WriteLine(f()); 
// 輸出: 3, 3, 3 (循環結束 i=3)

C# 5.0+ (foreach 迭代變量在循環內聲明，每次迭代新建副本)

var funcs = new List<Func<int>>();
foreach (int i in Enumerable.Range(0, 3)) {
    funcs.Add(() => i); // 每次迭代捕獲新的 i
}
foreach (var f in funcs) Console.WriteLine(f()); 
// 輸出: 0, 1, 2

for 循環在 C# 5.0+ 仍共享變量

for (int i = 0; i < 3; i++) {
    funcs.Add(() => i); // 共享 i
}
// 輸出: 3, 3, 3
// 修正: 引入局部副本
for (int i = 0; i < 3; i++) {
    int captured = i;
    funcs.Add(() => captured);
}
// 輸出: 0, 1, 2

五、 進階捕獲場景

• ref/out 參數捕獲 (C# 7+)：顯示類字段類型為 ref int / out int (由 System.Runtime.CompilerServices.IsByRef 標記)。
• 多層嵌套閉包：編譯器生成巢狀顯示類 (<>c__DisplayClass1_0 包含 <>c__DisplayClass0_0 字段)。
• 異步方法捕獲：async 方法編譯為狀態機結構體，捕獲變量同樣提升為狀態機字段。
• 記憶體洩漏風險：長壽命委託持有顯示類 → 顯示類持有大對象引用 → GC 無法回收。
  對策：弱引用、及時置 null、避免靜態事件捕獲大對象。

六、 性能影響與優化

閉包是「編譯器為你寫的類」。理解顯示類機制，能讓你在面對 foreach 陷阱、記憶體洩漏、熱路徑性能時，從 IL 層面精準定位、優雅解決。