詳解C#泛型（二）

　　一、自定義泛型方法（Generic Method），將類型參數用作參數列表或返回值的類型：

void MyFunc<T>() //聲明具有一個類型參數的泛型方法
{
    Type genericType = typeof(T); //在泛型方法體內部獲取類型參數的類型信息
    //do…
}
//調用泛型方法
MyFunc<int>();

　　1.聲明泛型方法時，可以在參數列表中使用這個類型參數：void MyFunc<T>(T obj) { }；此時在調用該泛型方法時可以省略類型參數的指定由編譯器推斷其類型，例如：MyFunc<int>(myNum)與MyFunc(myNum)完全等效；

　　2.聲明泛型方法時，可以在返回值類型中使用這個類型參數：T MyFunc<T>() { return default(T); }；編譯器的類型推斷功能不適用於僅在返回值類型中使用類型參數的情況，此種情況在調用時必須顯式指定類型參數；

　　3.聲明泛型方法時，方法的參數列表和返回值可以指定相同或不相同的類型參數，如果不相同則一般參數列表的類型參數在前，返回值的類型參數在後：U MyFunc<T, U>(T obj) { return default(U); }，此時依然不能使用編譯器的類型推斷功能；如果相同，則在調用時可以使用編譯器的類型推斷功能省略類型參數的顯式指定；
類型參數數量的不同，可以構成重載方法：

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

　　4.泛型方法中的類型參數也可以指定約束；

　　5.在泛型類中聲明的方法，方法的參數列表和返回值可以使用泛型類的類型參數作為類型；泛型方法可出現在泛型或具體類型中，只有當方法有屬於自己的類型參數時才是泛型方法，在泛型類中聲明泛型方法時，二者類型參數的占位符不可以相同：

class MyClass<T> //聲明一個泛型類，類型參數占位符為T
{
    void MyFunc(T obj) //聲明一個非泛型方法，使用泛型類的類型參數T作為參數類型
    {
        //do…
    }
    //不能聲明泛型方法void MyFunc<T>，泛型方法的類型參數占位符不能與類的類型參數占位符相同
    void MyFunc<U>(T obj1, U obj2) //聲明一個泛型方法，類型參數占位符為U
    {
        //do…
    }
}
class MyClass //定義一個具體類
{
    void MyFunc<T>(T obj) //聲明一個泛型方法
    {
        //do…
    }
}            

 　　二、自定義泛型介面（Generic Interface），將類型參數用作參數列表或返回值的類型：

interface IMyInterface<T> //定義具有一個類型參數的泛型介面
{
    void MyFunc(T obj); //聲明參數為T的方法
}
//聲明泛型類繼承自泛型介面
public class MyClass<T> : IMyInterface<T>
{
    public void MyFunc(T obj)
    {
        //do…
    }
}
//指定類型參數為string類型，創角泛型類的實例賦值給泛型介面的變數
IMyInterface<string> iMyInterface = new MyClass<string>();

　　1.適用於泛型類的規則基本也適用於泛型介面；

　　三、自定義泛型委托（Generic Delegate），將類型參數用作參數列表或返回值的類型：

delegate void MyDelegate<T>(T obj); //定義具有一個類型參數的泛型委托，參數列表中有一個參數
void MyGenericFunc<T>(T obj) //聲明一個泛型方法，參數列表中有一個參數
{
    //do…
}
void MyFunc(string str)
{
    //do…
}
//聲明泛型委托的實例，指定類型參數為string類型，此時可匹配的方法簽名為void myFunc(string str)
MyDelegate<string> myDelegate;
//賦值一個指定類型參數為string的泛型方法
myDelegate = MyGenericFunc<string>;
//添加一個參數列表為string類型的具體方法
myDelegate += MyFunc;

　　1.泛型委托同泛型類一樣，需要在實例化時指定類型參數的類型；

　　2.泛型委托的實例同具體委托的實例一樣，只需要方法的參數列表和返回值類型相同即可進行匹配，因此不管目標方法是指定了符合要求類型的泛型方法還是具體方法都可以進行匹配；　

　　四、反射中的泛型：

Type myType = typeof(MyClass<>); //獲取未指定任何類型參數的開放式構造類的類型信息，多個類型參數時添加,：typeof(MyClass<,>)
myType = myType.MakeGenericType(typeof(int)); //通過類型信息的實例方法MakeGenericType()構建指定所有類型參數的封閉式構造類的類型信息，如未指定所有類型參數會拋出異常ArgumentException
//也可以直接獲取封閉式構造類的類型信息，當類型參數在一開始就確定時推薦使用此種方式
//myType = typeof(MyClass<int>); //多個類型參數時需要同時指定：typeof(MyClass<int, string>)

　　1.通過反射只可以獲取未指定任何類型參數的開放式構造類的類型信息和指定所有類型參數的封閉式構造類的類型信息，即無法獲取MyClass<int, >的類型信息；

如果您覺得閱讀本文對您有幫助，請點一下“推薦”按鈕，您的認可是我寫作的最大動力！

作者：Minotauros
出處：https://www.cnblogs.com/minotauros/

本文版權歸作者和博客園共有，歡迎轉載，但未經作者同意必須保留此段聲明，且在文章頁面明顯位置給出原文連接，否則保留追究法律責任的權利。