C# Lambda 表達式深度解析：從委派、匿名方法到編譯器背後的 IL 秘密

演進脈絡：Delegate → Anonymous Method → Lambda

C# 1.0：具名方法指派委派

delegate int Calculate(int a, int b);
static int Add(int a, int b) => a + b;
Calculate calc = new Calculate(Add); // 或 Calculate calc = Add; (方法群組轉換)

C# 2.0：匿名方法

Calculate calc = delegate(int a, int b) { return a + b; };

• 內嵌程式碼區塊，可捕捉外部變數 (Closure)。
• 語法較冗長，需宣告參數型別。

C# 3.0：Lambda 表達式

Calculate calc = (a, b) => a + b; // 運算式主體
Calculate calc2 = (a, b) => { return a + b; }; // 陳述式主體

• 型別推論：編譯器根據委派簽章推導參數型別。
• 單一參數可省略括號：x => x * 2。
• 無參數：() => DateTime.Now。

編譯器如何處理 Lambda？

以 Calculate calc = (a, b) => a + b; 為例，編譯器生成：

1. 私有靜態方法：<Main>b__0(int a, int b) { return a + b; }
2. 快取委派欄位：static Calculate CS$<>9__CachedAnonymousMethodDelegate1;
3. Main 方法中初始化邏輯：

// 偽代碼對應 IL
if (CachedDelegate == null)
    CachedDelegate = new Calculate(<Main>b__0);
calc = CachedDelegate;

IL 片段驗證：

IL_000c: ldnull
IL_000d: ldftn int32 Program::'<Main>b__0'(int32, int32)
IL_0013: newobj instance void Calculate::.ctor(object, native int)
IL_0018: stsfld class Calculate Program::'CS$<>9__CachedAnonymousMethodDelegate1'

捕捉變數 (Closure) 的編譯實作

若 Lambda 參考區域變數：

int factor = 10;
Func multiply = x => x * factor;

編譯器產生顯示類別 (Display Class)：

[CompilerGenerated]
private sealed class <>c__DisplayClass0 {
    public int factor;
    public int <Main>b__0(int x) => x * factor;
}

區域變數 factor 被提升為顯示類別欄位，Lambda 實例化時捕捉該類別實例，延長變數生命週期。

Lambda 與運算式樹

指派給 Expression<Func<T>> 時，編譯器不生成 IL 方法，而是建構運算式樹 物件圖，供 LINQ to SQL、動態查詢等在執行期解析轉譯為 SQL。此為「程式碼即資料」的核心基礎。

效能與最佳實務

• 快取委派：靜態 Lambda (不捕捉變數) 編譯器自動快取；實例 Lambda 每次呼叫可能新建委派，熱路徑建議手工快取。
• 避免過度嵌套：多層 Lambda 導致顯示類別層層包裝，增加 GC 壓力。
• 偏好方法群組：list.Select(Foo) 優於 list.Select(x => Foo(x))，可直接使用現有方法指標。
• 非同步 Lambda：async (x) => await DoAsync(x) 返回 Task，注意例外處理與同步上下文捕捉。

總結

Lambda 表達式是語法糖，本質上編譯器為我們生成委派實例化與必要的顯示類別。理解其編譯降級過程，有助於寫出高效能、記憶體友善的程式碼，並掌握 LINQ、非同步程式設計的底層運作。