C# 2.0 語言規範深度解析：匿名方法完整指南

前言

C# 2.0 引入的匿名方法是語言演進中的重要里程碑，它為後來的 Lambda 表達式和 LINQ 奠定了基礎。本文深入解析 C# 2.0 語言規範中關於匿名方法的完整定義，涵蓋語法結構、類型轉換規則、變量捕獲機制、實現原理等核心內容，幫助開發者透徹理解這一特性的設計精髓。

1. 匿名方法表達式語法

匿名方法表達式 (anonymous-method-expression) 定義了一個內聯的程式碼塊，並產生一個引用該方法的特殊值。其語法結構如下：

anonymous-method-expression:
    delegate anonymous-method-signature(opt) block

anonymous-method-signature:
    ( anonymous-method-parameter-list(opt) )

anonymous-method-parameter-list:
    anonymous-method-parameter
    anonymous-method-parameter-list , anonymous-method-parameter

anonymous-method-parameter:
    parameter-modifier(opt) type identifier

關鍵特性：

• 匿名方法表達式本身沒有類型，但可隱式轉換為相容的委托類型
• 為參數、局部變量、常量和標籤定義新的聲明空間
• 可選的簽名決定了參數列表；無簽名時可轉換為任意無 out 參數的委托類型

2. 匿名方法簽名規則

簽名定義了形式參數的名稱和類型，作用域限於方法塊內。重要規則：

• 若外部局部變量作用域包含匿名方法，且參數名相同 → 編譯錯誤
• 有簽名時：相容委托必須具有相同數量、類型、修飾符且順序一致的參數
• 無簽名時：相容委托不得包含 out 參數
• 簽名不能包含屬性或參數數組，但可與含參數數組的委托類型相容

3. 匿名方法轉換與委托建立

3.1 隱式轉換規則

匿名方法表達式與任何相容委托類型之間存在隱式轉換。相容性需滿足兩個條件：

1. 參數相容性：
   • 無簽名：委托可有任意數量參數，但不能有 out 修飾符
   • 有簽名：參數數量、類型、ref/out 修飾符必須完全匹配；若委托最後參數是參數數組則不相容
2. 返回類型相容性：
   • 委托返回 void：匿名方法中 return 不能帶表達式
   • 委托返回類型 R：所有 return 表達式必須可隱式轉換為 R，且塊的終點必須可達

3.2 經典轉換範例

delegate void D(int x);
D d1 = delegate { };        // 正確：無簽名，無 out 參數
D d2 = delegate() { };      // 錯誤：有空簽名，不匹配
D d3 = delegate(long x) { };// 錯誤：參數類型不匹配
D d4 = delegate(int x) { }; // 正確：完全匹配

delegate void E(out int x);
E e1 = delegate { };                    // 錯誤：目標有 out 參數
E e2 = delegate(out int x) { x = 1; };  // 正確
E e3 = delegate(ref int x) { x = 1; };  // 錯誤：修飾符不匹配

3.3 委托建立表達式替代語法

new D(delegate { ... }) 等價於 (D)delegate { ... }，提供了另一種轉換寫法。

4. 匿名方法塊執行規則

• 有簽名時參數可訪問；無簽名時即使轉換目標有參數，塊內也無法訪問
• 禁止在塊中訪問 ref/out 參數（除非在最近匿名方法簽名中聲明）
• 結構類型中訪問 this 為編譯錯誤（含隱式訪問實例成員）
• 可訪問外部變量（見第 5 節），引用的是求值時活動的變量實例
• 禁止 goto/break/continue 跳出塊外或進入嵌套匿名方法
• return 從匿名方法返回，而非外層函數成員
• 編譯器通過合成命名方法/類型實現（名稱含雙下劃線）

5. 外部變量與捕獲機制

5.1 什麼是外部變量

匿名方法所在作用域內的：局部變量、值參數、參數數組、實例方法中的 this（視為值參數）。

5.2 捕獲語義與生命週期延長

當匿名方法引用外部變量時，稱該變量被捕獲。關鍵點：

• 捕獲變量的生命週期延長至引用它的委托符合垃圾回收條件為止
• 捕獲的局部變量/值參數不再視為固定變量，而為可移動變量（unsafe 代碼需 fixed 語句固定）
• 多個匿名方法可捕獲同一變量實例，實現「通信」

5.3 實例化語義的關鍵影響

局部變量每次進入作用域即實例化一次。捕獲變量時，實例化次數直接影響行為：

// 循環內聲明：每次迭代新實例 → 輸出 1, 3, 5
for (int i = 0; i < 3; i++) {
    int x = i * 2 + 1;
    result[i] = delegate { Console.WriteLine(x); };
}

// 循環外聲明：單一實例 → 輸出 5, 5, 5
int x;
for (int i = 0; i < 3; i++) {
    x = i * 2 + 1;
    result[i] = delegate { Console.WriteLine(x); };
}

亦可混合：共享某些捕獲變量，獨享其他：

int x = 0;
for (int i = 0; i < 3; i++) {
    int y = 0;
    result[i] = delegate { Console.WriteLine("{0} {1}", ++x, ++y); };
}
// 輸出：1 1 / 2 1 / 3 1  (x 共享，y 獨享)

6. 匿名方法求值與委托實例相等性

6.1 求值結果

運行時求值得到委托實例，包含：匿名方法引用 + 捕獲的外部變量集合（可能為空）。調用鏈僅含單一入口點，目標對象和方法未定義。

6.2 優化：語義一致的委托可共享實例

若兩個匿名方法：

• 捕獲相同的外部變量集合（均為空或同一組實例）
• 語義一致（相同參數產生相同效果）

編譯器可選擇返回相同委托實例，或令其引用同一目標方法。此為編譯器優化空間，非強制要求。

6.3 委托實例相等性規則

• 語義相同且捕獲變量相同 → 可相等（非必須）
• 語義相同但捕獲變量不同 → 必不相等

7. 明確賦值規則

• 匿名方法參數規則同命名方法：ref/值參數需明確賦值，out 參數無需
• 正常返回前使用 out 參數需明確賦值
• 進入塊時，外部變量明確賦值狀態同求值前
• 塊執行後，外部變量明確賦值狀態同求值前（塊內賦值不影響外部狀態）

// 錯誤：max 在聲明前未明確賦值
int max;
Filter f = delegate(int n) { return n < max; };
max = 5;

// 錯誤：匿名方法內賦值不影響外部明確賦值狀態
int n;
D d = delegate { n = 1; };
d();
Console.WriteLine(n); // n 仍視為未明確賦值

8. 方法組轉換

方法組到相容委托類型存在隱式轉換（類似匿名方法）。允許 new D(E) 形式的委托建立表達式即存在隱式轉換。簡化事件訂閱：

// 原寫法
okButton.Click += new EventHandler(OkClick);

// 簡化後
okButton.Click += OkClick;

方法組和匿名方法影響多載解析，但不參與類型推斷。

9. 實現範例：編譯器如何降級匿名方法

規範給出了四種典型場景的降級實現（非強制，但反映主流編譯器策略）：

9.1 無捕獲：靜態方法

// 原始
D d = delegate { Console.WriteLine("test"); };

// 降級
D d = new D(__Method1);
static void __Method1() { Console.WriteLine("test"); }

9.2 捕獲 this：實例方法

// 原始
void F() { D d = delegate { Console.WriteLine(x); }; }

// 降級
void F() { D d = new D(__Method1); }
void __Method1() { Console.WriteLine(x); }

9.3 捕獲局部變量：提升到編譯器生成類

// 原始
void F() { int y = 123; D d = delegate { Console.WriteLine(y); }; }

// 降級
void F() {
    __Locals1 __locals1 = new __Locals1();
    __locals1.y = 123;
    D d = new D(__locals1.__Method1);
}
class __Locals1 {
    public int y;
    public void __Method1() { Console.WriteLine(y); }
}

9.4 捕獲 this + 多層級生命週期變量：巢狀上下文類

// 原始
void F() {
    int y = 123;
    for (int i = 0; i < 10; i++) {
        int z = i * 2;
        D d = delegate { Console.WriteLine(x + y + z); };
    }
}

// 降級：外層 __Locals1 含 y 和 this，內層 __Locals2 含 z 和 __Locals1 引用
class __Locals1 { public Test __this; public int y; }
class __Locals2 {
    public __Locals1 __locals1;
    public int z;
    public void __Method1() { Console.WriteLine(__locals1.__this.x + __locals1.y + z); }
}

此設計確保不同作用域變量擁有獨立生命週期，且內層可透過鏈式引用訪問所有外部變量。

總結

C# 2.0 匿名方法規範展現了語言設計的嚴謹性：從語法、類型系統、變量捕獲語義、明確賦值、實現策略等多維度完整定義了該特性。理解這些規範細節，不僅有助於編寫正確高效的代碼，更能洞察 C# 後續版本 Lambda 表達式、LINQ、異步編程等特性的演進邏輯。雖然現代 C# 開發中更多使用 Lambda，但匿名方法作為其直接前身，其核心語義（閉包、變量捕獲、委托轉換）至今仍是 C# 函數式編程能力的基石。