C# 泛型方法概念及使用淺析
C# 泛型方法在相同的類(lèi)型推斷規(guī)則也適用于靜態(tài)方法以及實(shí)例方法。編譯器能夠根據(jù)傳入的方法參數(shù)推斷類(lèi)型參數(shù)；它無(wú)法僅從約束或返回值推斷類(lèi)型參數(shù)。因此，類(lèi)型推斷不適用于沒(méi)有參數(shù)的方法。類(lèi)型推斷在編譯時(shí)、編譯器嘗試解析任何重載方法簽名之前進(jìn)行。編譯器向共享相同名稱(chēng)的所有泛型方法應(yīng)用類(lèi)型推斷邏輯。在重載解析步驟中，編譯器僅包括類(lèi)型推斷取得成功的那些泛型方法。
在泛型類(lèi)中，非泛型方法可以訪問(wèn)類(lèi)級(jí)別類(lèi)型參數(shù)，如下所示：
C# 泛型方法代碼
- class SampleClass<T>
- {
- void Swap(ref T lhs, ref T rhs) { }
- }
如果定義的泛型方法接受與包含類(lèi)相同的類(lèi)型參數(shù)，編譯器將生成警告 CS0693，因?yàn)樵诜椒ǚ秶鷥?nèi)，為內(nèi)部 T 提供的參數(shù)將隱藏為外部 T 提供的參數(shù)。除了類(lèi)初始化時(shí)提供的類(lèi)型參數(shù)之外，如果需要靈活調(diào)用具有類(lèi)型參數(shù)的泛型類(lèi)方法，請(qǐng)考慮為方法的類(lèi)型參數(shù)提供其他標(biāo)識(shí)符，如下面示例中的 GenericList2<T> 所示。
C# 泛型方法代碼
- class GenericList<T>
- {
- // CS0693
- void SampleMethod<T>() { }
- }
- class GenericList2<T>
- {
- //No warning
- void SampleMethod<U>() { }
- }
使用約束對(duì)方法中的類(lèi)型參數(shù)啟用更專(zhuān)門(mén)的操作。此版本的 Swap<T> 現(xiàn)在稱(chēng)為 SwapIfGreater<T>，它只能與實(shí)現(xiàn) IComparable<T> 的類(lèi)型參數(shù)一起使用。
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;
- }
- }
泛型方法可以使用許多類(lèi)型參數(shù)進(jìn)行重載。例如，下列方法可以全部存在于同一個(gè)類(lèi)中：
C# 泛型方法代碼
- void DoWork() { }
- void DoWork<T>() { }
- void DoWork<T, U>() { }
泛型方法是使用類(lèi)型參數(shù)聲明的方法，如下所示：
C# 泛型方法代碼
- static void Swap<T>(ref T lhs, ref T rhs)
- {
- T temp;
- temp = lhs;
- lhs = rhs;
- rhs = temp;
- }
下面的代碼示例演示一種使用 int 作為類(lèi)型參數(shù)的方法調(diào)用方式：
C# 泛型方法代碼
- public static void TestSwap()
- {
- int a = 1;
- int b = 2;
- Swap<int>(ref a, ref b);
- System.Console.WriteLine(a + " " + b);
- }
也可以省略類(lèi)型參數(shù)，編譯器將推斷出該參數(shù)。下面對(duì) Swap 的調(diào)用等效于前面的調(diào)用：
C# 泛型方法代碼
- Swap(ref a, ref b);
C# 泛型方法的相關(guān)內(nèi)容就向你介紹到這里，希望對(duì)你了解和學(xué)習(xí)C# 泛型方法有所幫助。
【編輯推薦】
