C# 泛型深入學習實例（三）：泛型方法、多載與委派

前言

本文介紹泛型方法宣告與呼叫、泛型方法多載限制、泛型委派與型別推斷。

泛型方法基本語法

public class Finder
{
    // 泛型方法：型別參數在方法層級宣告
    public static int Find(T[] items, T item)
    {
        for (int i = 0; i < items.Length; i++)
            if (items[i].Equals(item)) return i;
        return -1;
    }
}

// 呼叫：型別引數可省略（編譯器推斷）
int idx = Finder.Find(new[] { 1, 3, 5, 7 }, 5); // 推斷 T = int

泛型方法的限制

• **僅方法**可宣告型別參數；屬性、事件、索引子、建構函式、解構函式**不可**，但它們可使用外層泛型類別的型別參數。
• 可定義於泛型或非泛型類別中。

泛型方法多載規則

class Demo
{
    // 錯誤：僅型別參數名稱不同，無法構成多載
    void M1(T[] a) { }
    void M1(U[] a) { }

    // 正確：非泛型參數不同
    void M2(int x) { }
    void M2(string s) { }

    // 錯誤：約束不同不構成多載
    void M3(T t) where T : ClassA { }
    void M3(T t) where T : ClassB { }
}

delegate bool Predicate(T value);

class Program
{
    static bool IsPositive(int i) => i > 0;
    static bool IsLong(string s) => s.Length > 10;

    static void Main()
    {
        Predicate p1 = IsPositive;
        Predicate p2 = IsLong;
        // 或使用 Lambda
        Predicate p3 = d => d > 0.5;
    }
}

// 協變（out）：回傳型別可向基類轉換
delegate TResult Func();

// 逆變（in）：參數型別可向衍生類轉換
delegate void Action(T arg);