CLR 匿名函數實現原理深度剖析：顯示類別降級、巢狀作用域封裝、變數提升與 Delphi 對比

C# 匿名方法/ Lambda 底層由編譯器降級為「顯示類別」機制實現閉包語義。理解其 IL 層面運作，能精準預測捕獲語義、記憶體行為與效能特徵。

核心降級規則

1. 每個捕獲變數的作用域產生一個編譯器生成的密封類別（__DisplayClass<ID>）
2. 捕獲的區域變數成為該類別的公開欄位
3. 匿名方法成為該類別的實例方法
4. 原方法中建立顯示類別實例，將區域變數賦值給欄位，委派綁定實例方法
5. 若匿名方法在靜態方法中定義且無捕獲 this，生成方法為 static

單一作用域範例

// 來源
void M() {
    int i = 0;
    Action a = delegate { i++; };
    a();
}

// 降級 (簡化 IL)
sealed class __DisplayClass0 {
    public int i;
    public void __Anonymous0() => this.i++;
}
void M() {
    var d = new __DisplayClass0 { i = 0 };
    Action a = new Action(d.__Anonymous0);
    a();
}

巢狀作用域：多層顯示類別鏈

// 來源
void M() {
    int outer = 0;
    for (int i=0; i<10; i++) {
        int inner = i;
        Action a = delegate {
            Console.WriteLine($"outer={outer++}, i={i}, inner={++inner}");
        };
        actions[i] = a;
    }
}

// 降級結構 (三層)
class __DisplayClassOuter { public int outer; }
class __DisplayClassFor { public int i; }
class __DisplayClassInner {
    public int inner;
    public __DisplayClassOuter outerRef;
    public __DisplayClassFor forRef;
    public void __Anonymous() {
        Console.WriteLine($"outer={outerRef.outer++}, i={forRef.i}, inner={++inner}");
    }
}

• outer：方法作用域 → __DisplayClassOuter
• i：for 作用域 → __DisplayClassFor
• inner + 匿名方法：迴圈體作用域 → __DisplayClassInner，持有外層兩類別引用
• 每次迴圈迭代建立新 __DisplayClassInner，共享 Outer/For 實例

關鍵語義推論

1. 值型別捕獲：欄位直接儲存值，修改即時可見
2. 參考型別捕獲：欄位儲存參考，修改物件內容可見，重新指派參考不可見（除非捕獲的是參考變數本身）
3. 迴圈變數捕獲陷阱：for(int i=0;...) 中 i 單一實例共享，所有委派見到最終值。C# 5+ foreach 修正為每次迭代新變數
4. 生命週期延長：顯示類別實例被委派持有 → GC 根 → 捕獲變數不隨原方法返回而銷毀
5. 禁止 goto/break/continue 跳入/跳出：IL 層面非同一作用域，控制流不連續

參數推斷

編譯器根據委派目標型別推斷匿名方法參數：

button.Click += delegate { ... }; // 推斷為 EventHandler(object, EventArgs)
button.Click += (s,e) => { ... }; // 同等

Delphi.NET 對比：參數傳遞 vs 顯示類別

// Delphi 巢狀函數
procedure SayHello;
var Name: string;
procedure Say; begin WriteLn(Name); end;
begin Name := 'Flier'; Say; end;

// Delphi 降級：自動記錄型別 + 參數傳遞
type $Unnamed1 = record Name: string; end;
procedure @1$SayHello$Say(var P: $Unnamed1); begin WriteLn(P.Name); end;
procedure SayHello;
var Name: string; U: $Unnamed1;
begin Name:='Flier'; U.Name:=Name; @1$SayHello$Say(U); end;

• Delphi：值複製（參數傳遞記錄），巢狀函數不延長外部變數生命週期
• C#：引用共享（顯示類別欄位），延長生命週期，支援真閉包語義
• C# 機制較重但功能強，支援非同步回調、事件訂閱等長壽命委派場景

實務啟示

1. 長壽命委派捕獲大型物件 → 記憶體洩漏，使用 WeakReference 或手動清理
2. 熱路徑避免過度捕獲，考慮 struct 顯示類別（C# 11+ ref struct）或手寫具名方法
3. 除錯時在「區域變數」視窗可見 __DisplayClass 實例，助理理解捕獲狀態

掌握 CLR 閉包實現本質，是寫出高效、正確、可診斷非同步/事件驅動代碼的內功心法。