泛型方法

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

  class SwapTest

{

        static void Swap<T>(ref T left, ref T right)

            T temp;

            temp = left;

            left = right;

            right = temp;

        }

        public static void Main()

            int a = 1;

            int b = 2;

            Swap(ref a, ref b);//Swap<int>(ref a,ref b);

            Console.WriteLine(a + "," + b);

    }

上面代碼使用省略類型參數，編譯器将推斷出該參數。也可使用 int 作為類型參數的方法調用。

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

    在泛型類中，非泛型方法可以通路類級别類型參數，如下所示：

class SampleClass<T>

    void Swap(ref T lhs, ref T rhs) 

{ }

}

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

    class GenericList1<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>()