簡單學習C#中的泛型方法使用

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

? 1 2 3 4 5 6 7 static void Swap<T>(ref T lhs, ref T rhs) { T temp; temp = lhs; lhs = rhs; rhs = temp; }

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

? 1 2 3 4 5 6 7 8 public static void TestSwap() { int a = 1; int b = 2; Swap<int>(ref a, ref b); System.Console.WriteLine(a + " " + b); }

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

? 1 Swap(ref a, ref b);

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

? 1 2 3 4 class SampleClass<T> { void Swap(ref T lhs, ref T rhs) { } }

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

? 1 2 3 4 5 6 7 8 9 10 11 class GenericList<T> { // CS0693 void SampleMethod<T>() { } } class GenericList2<T> { //No warning void SampleMethod<U>() { } }

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

? 1 2 3 4 5 6 7 8 9 10 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; } }

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

? 1 2 3 void DoWork() { } void DoWork<T>() { } void DoWork<T, U>() { }