C# 3.0 擴充方法深度解析：定義、呼叫、優先順序與巢狀呼叫

前言

C# 3.0 引入擴充方法，主要為 LINQ 服務，但也廣泛用於為現有型別（含第三方封閉原始碼型別）新增功能。本文深入解析定義規則、呼叫機制、名稱衝突優先順序、巢狀呼叫原理與 IL 層面真相。

一、擴充方法定義三要素

1. 靜態類別（可 internal 或 public）
2. 靜態方法
3. 第一個參數前加 this，型別即為「被擴充的型別」

基本範例

namespace Hongjun.Guo
{
    static class MyExtensionMethods
    {
        // 擴充 object 型別的 Print 方法
        internal static void Print(this object s)
        {
            Console.WriteLine(s);
        }
    }
}

// 使用端
using Hongjun.Guo;

static void Main()
{
    object o = "dsdgs";
    o.Print(); // 像實例方法一樣呼叫
}

二、特殊情況分析

情況一：擴充方法與型別原生方法同名

結論：原生方法優先，擴充方法被忽略，編譯不報錯。

場景模擬

// 第三方元件 v1：無 Print 方法
public class MyClass { }

// 我們為它擴充 Print
static class MyExtensionMethods
{
    internal static void Print(this MyClass s)
    {
        Console.WriteLine("haha " + s.ToString());
    }
}

// 第三方元件 v2：新增原生 Print 方法
public class MyClass 
{
    public void Print() { Console.WriteLine("****"); }
}

呼叫結果

MyClass o = new MyClass();
o.Print(); // 輸出：**** （呼叫原生方法）

IL 層面解析

編譯器處理邏輯：

1. 先在型別本身（含繼承鏈）尋找符合簽章的方法
2. 找到 → 直接呼叫
3. 找不到 → 依 using 的命名空間，尋找符合的擴充方法（靜態類別的靜態方法）
4. 找到 → 呼叫靜態方法並傳入實例
5. 找不到 → 編譯錯誤

關鍵點：擴充方法在 IL 中不存在實例方法，只是編譯器語法糖，編譯後轉為靜態方法呼叫。

情況二：擴充方法巢狀呼叫

static class MyExtensionMethods
{
    public static int Test01(this int i) => i * 3;
    public static int Test02(this int i) => i + 5;
}

static void Main()
{
    int mm = 7;
    Console.WriteLine(mm.Test01().Test02()); // 26
    Console.WriteLine(mm.Test02().Test01()); // 36
    Console.WriteLine(MyExtensionMethods.Test02(MyExtensionMethods.Test01(mm))); // 26
}

執行結果解析

巢狀呼叫會被編譯器「展開」為靜態方法巢狀呼叫，執行順序由內而外，與一般方法鏈結相同。

三、最佳實務建議

• 命名空間隔離：將擴充方法放在獨特命名空間，避免污染全域
• 避免與常用型別核心方法同名：減少認知負擔與潛在衝突
• 文件註解：標註 [Extension] 或 XML 註解說明為擴充方法
• 單元測試：驗證擴充方法行為，特別是邊界條件與例外處理
• 不要濫用：核心領域邏輯應在型別內部實作，擴充方法適合「輔助功能」、「DSL 風格 API」、「LINQ 查詢運算子」

總結

擴充方法是 C# 強大的語法糖，本質是編譯期將實例呼叫轉換為靜態方法呼叫。理解其解析優先順序（原生 > 擴充）與IL 層面本質，能避免疑難雜症，並設計出優雅的流暢介面。