泛型方法是使用類型參數聲明的方法,如下所示:
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>() { }
新聞熱點
疑難解答