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

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

C# 泛型方法代碼

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

如果定義的泛型方法接受與包含類相同的類型參數，編譯器將生成警告 CS0693，因為在方法范圍內，為內部 T 提供的參數將隱藏為外部 T 提供的參數。除了類初始化時提供的類型參數之外，如果需要靈活調用具有類型參數的泛型類方法，請考慮為方法的類型參數提供其他標識符，如下面示例中的 GenericList2<T> 所示。

C# 泛型方法代碼

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

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

C# 泛型方法代碼

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;  
    }  
} 

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

C# 泛型方法代碼

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

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

C# 泛型方法代碼

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

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

C# 泛型方法代碼

public static void TestSwap()  
{  
    int a = 1;  
    int b = 2;  
 
    Swap<int>(ref a, ref b);  
    System.Console.WriteLine(a + " " + b);  
} 

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

C# 泛型方法代碼

Swap(ref a, ref b);  

C# 泛型方法的相關內容就向你介紹到這里，希望對你了解和學習C# 泛型方法有所幫助。

【編輯推薦】

1. C# 泛型類概念與實例的理解應用淺析
2. C# 泛型的優點淺談
3. C# 泛型類型參數淺析
4. C# 類型參數約束分析及應用淺析
5. C# 泛型接口應用淺析