一、泛型概述

泛型類別與泛型方法兼重複使用性、類型安全性與高效率於一身，是與之對應的非泛型的類別和方法所不及。泛型廣泛用於容器（collections）和對容器操作的方法。 .NET Framework 2.0的類別庫提供一個新的命名空間System.Collections.Generic，其中包含了一些新的基於泛型的容器類別。

泛型的可變型別參數：通常用T,但也可以用任意非關鍵字和保留字；
#所有的可變類型T在編譯時，都採用佔位符的形式，在運行時將由實際傳入的類型來替換的所有的點位符；

二、泛型的優點

針對早期版本的通用語言運行時和C#語言的局限，泛型提供了一個解決方案。先前類型的泛化（generalization）是靠類型與全域基底類別System.Object的相互轉換來實現。 .NET Framework 基礎類別庫的ArrayList容器類，就是這種限制的一個例子。 ArrayList是一個很方便的容器類，使用中無需更改就可以儲存任何引用類型或值類型。

ArrayList list = new ArrayList();
list.Add(1);
list.Add(175.50);
list.Add("hello kitty");

double sum = 0;
foreach(int value in list)
{
sum += value;
}

缺點：

便利性是有代價的，這需要將任何一個加入ArrayList的引用型別或值類型都隱式地向上轉換成System.Object。如果這些元素是值類型，那麼當加入到清單中時，它們必須被裝箱；當重新取回它們時，要拆箱。型別轉換和裝箱、拆箱的操作都降低了效能；在必須迭代（iterate）大容器的情況下，裝箱和拆箱的影響可能十分顯著。另一個限制是缺乏編譯時的型別檢查，當一個ArrayList把任何型別轉換成Object，就無法在編譯時預防客戶碼中類似sum+=vlaue這樣的錯誤；

在System .Collections.Generic命名空間中的泛型List容器裡，同樣是把元素加入容器的操作，類似這樣：

與ArrayList相比，在客戶程式碼中唯一增加的List語法是宣告和實例化中的類型參數。程式碼略微複雜的回報是，你創建的表不僅比ArrayList更安全，而且明顯地更加快速，尤其當表中的元素是值類型的時候。

List listInt = new List();
     listInt.Add(100);
     listInt.Add(200);
  # #     listInt.Add("heel"); //編譯錯誤

double sum = 0;

foreach (int value in list)
}

三、泛型的型別參數

泛型型別或泛型方法的定義中，型別參數為佔位符（placeholder），通常為一個大寫字母(也可以使用任意非關鍵字和保留字的名字)，如T。在客戶程式碼宣告、實例化該類型的變數時，把T替換為客戶代碼所指定的資料類型。泛型類，如泛型中給出的List類，不能用作as-is，原因在於它不是一個真正的類型，而更像是一個類型的藍圖。要使用MyList，客戶代碼必須在尖括號內指定一個類型參數，來宣告並實例化一個已建構類型（constructed type）。這個特定類別的類型參數可以是編譯器識別的任何類型。可以建立任意數量的已建構型別實例，每個使用不同的型別參數，如下：

List listInt = new List< int>();List listFloat = new List();

四、泛型類型參數的限制

#泛型提供了下列五種限制：

List listString = new List();

約束	描述
where T : struct	參數型別必須為值型別
where T : class	參數類型必須為引用類型
#where T : new()	參數類型必須有一個公有的無參構造函數。當與其它約束聯合使用時，new()約束必須放在最後。
where T :	參數類型必須為指定的基底類型或衍生自指定基底類型的子類別
#where T :	參數類型必須為指定的介面或指定介面的實作。可指定多個介面的約束。介面約束也可以是泛型的。

無限制型別參數：

#不能使用!=和==對可變類型的實例進行比較，因為無法保證特定的型別參數支援這些運算子；
#它們可以與System.Object相互轉換，也可明確地轉換成任何介面類型；
可以與null比較。如果一個無限制型別參數與null比較，當此型別參數為值型別時，比較的結果總為false。

無型別約束：當限制是泛型型別參數時，它就叫無型別約束(Naked type constraints)。

class List
{
void Add(List items) where U : To

}
}

在上面的範例中， Add方法的上下文中的T，就是一個無型別約束；而List類別的上下文中的T，則是一個無限制型別參數。

無型別約束也可以用在泛型類別的定義中。請注意，無型別約束一定也要和其它型別參數一起在尖括號中宣告：

//naked type constraint

##public class MyClass where T : V

因為編譯器只認為無型別約束是從System.Object繼承而來，所以帶有無型別約束的泛型類的用途十分有限。當你希望強制兩個型別參數具有繼承關係時，可對泛型類別使用無型別約束。

五、泛型類別

泛型類別封裝了不針對任何特定資料類型的運算。泛型類別常用於容器類，如鍊錶、雜湊表、棧、佇列、樹等等。這些類別中的操作，如對容器新增、刪除元素，不論所儲存的資料是何種類型，都執行幾乎相同的操作。

通常，從一個已有的具體類別來建立泛型類，並每次把一個類型改為類型參數，直到達到一般性和可用性的最佳平衡。當建立你自己的泛型類別時，需要重點考慮的事項有：

哪些類型應泛化為類型參數。一般的規律是，用參數表示的類型越多，程式碼的彈性和多用性就越大。過多的泛化會導致程式碼難以被其它的開發人員理解。
如果有約束，那麼類型參數需要什麼樣約束。一個好的習慣是，盡可能使用最大的約束，同時確保可以處理所有需要處理的類型。例如，如果你知道你的泛型類別只打算使用引用類型，那麼就應用這個類別的約束。這樣可以防止無意中使用值類型，同時可以對T使用as運算符，並且檢查空引用；
#把泛型行為放在基底類別中還是子類別中。泛型類別可以做基底類別。同樣非泛型類別的設計中也應考慮這一點。泛型基底類別的繼承規則；
是否實作一個或多個泛型介面。例如，要設計一個在基於泛型的容器中建立元素的類，可能需要實作類似IComparable的接口，其中T是該類別的參數。

對於一個泛型類別Node，客戶程式碼既可指定一個型別參數來建立一個封閉建構型別(Node),也可保留型別參數未指定，例如指定一個泛型基底類別來建立開放式建構型別(Node)。泛型類別可以繼承自具體類別、封閉建構型別或開放建構型別：

// concrete type

class Node : BaseNode
//closed constructed type
class Node : BaseNode
//open constructed type
class Node : BaseNode
#class Node : BaseNode

##class

非泛型的具體類別可以繼承自封閉建構基類，但不能繼承自開放建構基類。這是因為客戶程式碼無法提供基底類別所需的類型參數：

#//No error.

class Node : BaseNode//Generates an error.
class Node : BaseNode

泛型的具體類別可以繼承自開放構造類型。除了與子類別共用的類型參數外，必須為所有的類型參數指定類型：

#//Generates an error.

class Node : BaseNode {…}
//Okay.
class Node : BaseNode {…}

繼承自開放結構類型的泛型類，必須指定參數類型與限制：

class NodeItem where T : IComparable, new() {…}

class MyNodeItem : NodeItem where T : IComparable, new() {…}##, new() {…}

#泛型類型可以使用多種型別參數與限制：

class KeyType {…}

class SuperKeyType where U : IComparable, where V : new() {…}

###########################################################################################################################################################################################################4 ###########

開放結構與封閉建構型別可以用來當作方法的參數：

#void Swap(List list1, List list2) {…}
void Swap(List list1, List list2) {…}

六、泛型介面

當一個介面被指定為型別參數的限制時，只有實作該介面的型別可被用作型別參數。

可以在一個型別指定多個介面作為約束，如下:

class Stack, IMyStack1{}

##一個介面可以定義多個型別參數，如下:

IDictionary##介面與類別的繼承規則相同：

//Okay.IMyInterface: IBaseInterface

//Okay.

IMyInterface
//Okay.
IMyInterface: IBaseInterface
//Error.

IMyInterface

##特定類別可以實作封閉建構接口，如下:

class MyClass : IBaseInterface

#泛型類別可以實作泛型介面或封閉建構接口，只要類別的參數清單提供了接口所需的所有參數，如下:

//Okay.
class MyClass : IBaseInterface
// Okay.
class MyClass : IBaseInterface

泛型類別、泛型結構，泛型介面都具有同樣方法重載的規則。

七、泛型方法

泛型方法是聲名了型別參數的方法，如下：

void Swap(ref T lhs, ref T rhs){##void Swap(ref T lhs, ref T rhs)

{ T temp; temp = lhs; lhs = rhs;}

rhs = temp;

下面的示例代碼顯示了一個以int作為型別參數，來呼叫方法的範例：

int a = 1;

int b = 2;
// …
Swap(a, b);

#也可以忽略型別參數，編譯器會去推斷它。下面呼叫Swap的程式碼與上面的範例等價：

#Swap(a, b);在泛型類別中，非泛型方法能存取所在類別中的型別參數：

靜態方法和實例方法有著相同的類型推斷規則。編譯器能夠根據傳入的方法參數來推斷類型參數；而無法單獨根據約束或傳回值來判斷。因此類型推斷對沒有參數的方法是無效的。類型推斷發生在編譯的時候，且在編譯器解析重載方法標誌之前。編譯器對所有同名的泛型方法套用類型推斷邏輯。在決定（resolution）重載的階段，編譯器只包含那些型別推斷成功的泛型類別。

########## ##class List###{### void Swap(ref T lhs, ref T rhs) { ... }###}################## ########在泛型類別中，定義一個泛型方法，和其所在的類別具有相同的類型參數；試圖這樣做，編譯器會產生警告CS0693。 #####################class List###{### void Swap(ref T lhs, ref T rhs) { }# ##}#########warning CS0693: 類型參數「T」與外部型別「List」中的型別參數同名###############

在泛型類別中，定義一個泛型方法，可定義一個泛型類別中未定義的型別參數：（不常用，一般配合約束使用）

#class List
{
void Swap(ref T lhs, ref T rhs) { } //不常用者對 v Add(List items) where U : T{} //常用

}

泛型方法經過多個類型參數來重載。例如，以下的這些方法可以放在同一個類別中：

#void DoSomething() { }

void DoSomething( ) { }

void DoSomething() { }