您现在的位置：程式碼之家 >> 編程語言 > >> .NET 網頁程式設計 >> C# >> 關於C#

C# 2.0 匿名方法深度解析：實作機制、閉包與陷阱

編輯：關於C#

匿名方法是 C# 2.0 引入的語法糖，允許以內嵌程式碼區塊直接建立委派實例，省去獨立方法定義。本文深入剖析其編譯器實作機制、靜態/實例/區域變數捕獲行為、閉包特性與迴圈變數捕獲陷阱，助開發人員正確高效運用此特性。

基本語法與動機

傳統委派需定義獨立方法：

public delegate bool SelectItem(string sItem);
string[] AStrings = objMyCol.GetFilteredItemArray(FilterStringWithA); // 需額外定義 FilterStringWithA 方法

匿名方法以 delegate 關鍵字內嵌邏輯：

string[] AStrings = objMyCol.GetFilteredItemArray(delegate(string sItem)
{
    return sItem[0] == 'A';
});

優點：程式碼內聚、避免類別膨脹。缺點：過大區塊降低可讀性，易造成重複。

編譯器實作機制

.NET CLR 僅能執行屬於某類型的靜態或實例方法。C# 編譯器在編譯期會自動產生對應方法：

1. 無捕獲外部變數 → 產生私有靜態方法

若匿名方法未使用任何外部變數，編譯器在定義該匿名方法的類別中產生 private static 方法封裝邏輯，效能最佳。

2. 捕獲靜態/實例欄位 → 產生私有靜態/實例方法

僅使用靜態欄位 → 產生 private static 方法
使用實例欄位（this.xxx）→ 產生 private instance 方法，需存取 this

3. 捕獲區域變數 → 產生私有巢狀類別（閉包實作）

此為最複雜也最強大的機制。編譯器：

建立私有巢狀類別
將被捕獲的區域變數轉為該類別的公用欄位
將匿名方法邏輯封裝為該類別的實例方法
以該類別實例取代原區域變數，委派指向實例方法

範例轉換：

// 原始碼
int iTemp = 100;
MyDelegate dlg = delegate { Console.WriteLine(iTemp); };
dlg();

// 編譯器產生的等效邏輯
private class __Closure
{
    public int iTemp;
    public void __Method() { Console.WriteLine(iTemp); }
}

// Main 中
__Closure loc = new __Closure();
loc.iTemp = 100;
MyDelegate dlg = new MyDelegate(loc.__Method);
dlg();

區域變數生命週期因此延伸至委派存活期間，這正是閉包特性。

巢狀作用域與多層閉包

若匿名方法定義於巢狀區塊並捕獲多層區域變數，編譯器為每層作用域產生對應巢狀類別，內層類別持有外層類別實例參考：

int iTemp = 100;
if (iTemp > 50)
{
    int jTemp = 200;
    dlg = delegate { Console.WriteLine(iTemp + ", " + jTemp); };
}
// 產生兩個巢狀類別：__ClosureScope1 (含 iTemp)、__ClosureScope2 (含 jTemp + __ClosureScope1 參考 + 匿名方法)

迴圈變數捕獲陷阱與解法

問題：在 for 迴圈中捕獲迴圈變數 i：

for (int i = 1; i <= 5; i++)
{
    MyDelegate tempD = delegate { Console.WriteLine(i); };
    d += tempD;
}
d(); // 輸出 6, 6, 6, 6, 6 （非預期 1,2,3,4,5）

原因：編譯器將 i 提升至巢狀類別單一實例欄位，所有委派共享同一實例。迴圈結束時 i=6，故所有委派輸出 6。

解法：在迴圈內建立區域副本：

for (int i = 1; i <= 5; i++)
{
    int k = i; // 每次迭代建立新區域變數
    MyDelegate tempD = delegate { Console.WriteLine(k); };
    d += tempD;
}
d(); // 正確輸出 1,2,3,4,5

此時編譯器為每次迭代產生獨立巢狀類別實例，各委派捕獲獨立的 k 值。