C# 泛型方法

泛型方法是使用類型參數聲明的方法，如下所示：

static void Swap<T>(ref T lhs, ref T rhs)
{
    T temp;
    temp = lhs;
    lhs = rhs;
    rhs = temp;
}

下面的代碼示例演示一種使用 int 作為類型參數的方法調用方式：

public static void TestSwap()
{
    int a = 1;
    int b = 2;

    Swap<int>(ref a, ref b);
    System.Console.WriteLine(a + " " + b);
}

也可以省略類型參數，編譯器將推斷出該參數。下面對 Swap 的調用等效於前面的調用：

Swap(ref a, ref b);

相同的類型推理規則也適用於靜態方法和實例方法。編譯器能夠根據傳入的方法實參推斷類型形參；它無法僅從約束或返回值推斷類型形參。因此，類型推理不適用於沒有參數的方法。類型推理在編譯時、編譯器嘗試解析重載方法簽名之前進行。編譯器向共享相同名稱的所有泛型方法應用類型推理邏輯。在重載解析步驟中，編譯器僅包括類型推理取得成功的那些泛型方法。

在泛型類中，非泛型方法可以訪問類級別類型參數，如下所示：

class SampleClass<T>
{
    void Swap(ref T lhs, ref T rhs) { }
}

如果定義采用相同類型參數作為包含類的泛型方法，編譯器將生成警告 CS0693，因為在方法范圍內為內部 T 提供的參數隱藏了為外部 T 提供的參數。如果需要使用其他類型參數（而不是實例化類時提供的類型參數）來靈活地調用泛型類方法，請考慮為方法的類型參數提供另一個標識符，如下面示例的 GenericList2<T> 中所示。

class GenericList<T>
{
    // CS0693
    void SampleMethod<T>() { }
}

class GenericList2<T>
{
    //No warning
    void SampleMethod<U>() { }
}

使用約束對方法中的類型參數啟用更專門的操作。此版本的 Swap<T> 現在名為 SwapIfGreater<T>，它只能與實現 IComparable<T> 的類型參數一起使用。

void SwapIfGreater<T>(ref T lhs, ref T rhs) where T : System.IComparable<T>
{
    T temp;
    if (lhs.CompareTo(rhs) > 0)
    {
        temp = lhs;
        lhs = rhs;
        rhs = temp;
    }
}

泛型方法可以使用許多類型參數進行重載。例如，下列方法可以全部位於同一個類中：

void DoWork() { }
void DoWork<T>() { }
void DoWork<T, U>() { }