C# 方法多載完整指南：規則、解析流程、最佳實踐與陷阱

什麼是方法多載？

方法多載允許在同一類別/結構中定義同名但參數列表不同的多個方法。編譯器根據呼叫時的實參類型、數量、順序，靜態繫結至對應的多載版本 (靜態多態)。

合法的多載區別方式

不能作為多載區別的特徵

• 回傳類型：int M() vs string M() ❌ CS0111
• 參數名稱：void M(int x) vs void M(int y) ❌
• params 陣列 vs 陣列參數：void M(params int[] a) vs void M(int[] a) ❌ (視為相同簽章)
• 可選參數預設值：void M(int x = 0) vs void M() ❌ (會造成模糊)
• 限制條件：where T : class vs where T : struct ❌

多載解析流程 (簡化版)

1. 識別候選方法集
   ├─ 同名方法
   ├─ 可存取性檢查 (private/protected/internal)
   └─ 類型參數推斷 (泛型)

2. 篩選適用方法
   ├─ 實參數量符合 (含 params 展開)
   ├─ 隱含轉換存在 (int→long, Derived→Base, T→interface)
   └─ ref/out/in 修飾詞匹配

3. 尋找「最佳」方法
   ├─ 優先：不需轉換 (精確匹配)
   ├─ 次優：隱含數值轉換 (int→long 優於 int→object)
   ├─ 再次：隱含參考轉換 (Derived→Base)
   ├─ 再次：装箱轉換 (int→object)
   ├─ 最後：使用者定義轉換 (implicit operator)
   └─ params 陣列視為最低優先序

4. 單一最佳 → 繫結成功
   多個同等最佳 → 編譯錯誤 CS0121 (模糊呼叫)
   無適用 → 編譯錯誤 CS1503 (引數不匹配)

實際範例與解析

基本多載

class Calculator
{
    public int Add(int a, int b) => a + b;
    public double Add(double a, double b) => a + b;
    public int Add(int a, int b, int c) => a + b + c;
    public string Add(string a, string b) => a + b; // 字串串接
}

// 呼叫
calc.Add(1, 2);        // → int 版本
calc.Add(1.5, 2.5);    // → double 版本
calc.Add(1, 2, 3);     // → 三參數版本
calc.Add("A", "B");    // → string 版本

隱含轉換與最佳匹配

class Demo
{
    public void M(int x) => Console.WriteLine("int");
    public void M(long x) => Console.WriteLine("long");
    public void M(object x) => Console.WriteLine("object");
    public void M(double x) => Console.WriteLine("double");
}

demo.M(42);        // int (精確匹配)
demo.M(42L);       // long (精確匹配)
demo.M(3.14);      // double (精確匹配)
demo.M('A');       // int (char→int 隱含轉換，優於 long/object)
demo.M(3.14f);     // double (float→double 隱含轉換)
demo.M("text");    // object (string→object 隱含參考轉換)

params 與陣列的互動

class ParamsDemo
{
    public void M(int[] arr) => Console.WriteLine("int[]");
    public void M(params int[] arr) => Console.WriteLine("params int[]"); // ❌ 編譯錯誤：簽章相同
    
    // 正確區別：參數類型不同
    public void M(params object[] args) => Console.WriteLine("params object[]");
}

var d = new ParamsDemo();
d.M(1, 2, 3);        // → params object[] (int→object 裝箱)
d.M(new int[] {1});  // → int[] (精確匹配，優於 params object[])
d.M(new object[] {1}); // → params object[]

泛型方法多載

class GenericDemo
{
    public void M(T x) => Console.WriteLine($"M: {x.GetType().Name}");
    public void M(T x, T y) => Console.WriteLine($"M: {x.GetType().Name}");
    public void M(int x) => Console.WriteLine("M"); // 非泛型優先
}

var g = new GenericDemo();
g.M(10);           // → M (非泛型優於泛型)
g.M("hello");      // → M (型別推斷)
g.M(1, 2);         // → M
g.M(1, "two");     // ❌ CS0411: 無法推斷 T (需同類型)
g.M