南京軟件定制開(kāi)發(fā)

一、什么是泛型

泛型是C#語(yǔ)言和公共語(yǔ)言運(yùn)行庫(kù)（CLR）中的一個(gè)新功能，它將類(lèi)型參數(shù)的概念引入.NET Framework。類(lèi)型參數(shù)使得設(shè)計(jì)某些類(lèi)和方法成為可能，例如，通過(guò)使用泛型類(lèi)型參數(shù)T，可以大大簡(jiǎn)化類(lèi)型之間的強(qiáng)制轉(zhuǎn)換或裝箱操作的過(guò)程。說(shuō)白了，泛型就是通過(guò)參數(shù)化類(lèi)型來(lái)實(shí)現(xiàn)在同一份代碼上操作多種數(shù)據(jù)類(lèi)型，利用“參數(shù)化類(lèi)型”將類(lèi)型抽象化，從而實(shí)現(xiàn)靈活的復(fù)用。

以下是一個(gè)簡(jiǎn)單的示例，可以通過(guò)T來(lái)控制不同的類(lèi)型

此時(shí)，Test就是一個(gè)泛型類(lèi)。T就是要實(shí)例化的泛型類(lèi)型。如果T被實(shí)例化為int型，那么成員變量就是int型的，如果T被實(shí)例化為string型，那么就是string類(lèi)型的。

該例中，我創(chuàng)建了一個(gè)稱(chēng)為MyList泛型類(lèi)。為把它參數(shù)化，我簡(jiǎn)單地插入了一個(gè)尖括號(hào)。在＜＞內(nèi)的T代表了實(shí)際的當(dāng)使用該類(lèi)時(shí)要指定的類(lèi)型。在MyList類(lèi)中，定義了一個(gè)靜態(tài)字段objCount。我在構(gòu)造器中增加它的值。因此我能發(fā)現(xiàn)使用我的類(lèi)的用戶(hù)共創(chuàng)建了多少個(gè)那種類(lèi)型的對(duì)象。屬性Count返回與被調(diào)用的實(shí)例同類(lèi)型的實(shí)例的數(shù)目。

泛型方法

Copy()方法就是一個(gè)泛型方法，它與參數(shù)化的類(lèi)型T一起工作。當(dāng)在Main()中激活Copy()時(shí)，編譯器根據(jù)提供給Copy()方法的參數(shù)確定出要使用的具體類(lèi)型。

二、泛型的主約束和次約束是什么？

       where T : struct 類(lèi)型必須是一種值類(lèi)型(struct)

　　where T : class 類(lèi)型必須是一種引用類(lèi)型(class)

　　where T : new() 類(lèi)型必須有一個(gè)無(wú)參數(shù)的構(gòu)造器

　　where T : class_name 類(lèi)型可以是class_name或者是它的一個(gè)子類(lèi)

　　where T : interface_name 類(lèi)型必須實(shí)現(xiàn)指定的接口

　　你可以指定約束的組合，就象: where T : IComparable, new()。這就是說(shuō)，用于參數(shù)化類(lèi)型的類(lèi)型必須實(shí)現(xiàn)Icomparable接口并且必須有一個(gè)無(wú)參構(gòu)造器。

舉例

1.接口約束。

例如，可以聲明一個(gè)泛型類(lèi) MyGenericClass，這樣，類(lèi)型參數(shù) T 就可以實(shí)現(xiàn) IComparable<T> 接口：

區(qū)別于

一個(gè)是T繼承IComparable，一個(gè)是MyGenericClass2繼承IComparable

2.基類(lèi)約束。

指出某個(gè)類(lèi)型必須將指定的類(lèi)作為基類(lèi)（或者就是該類(lèi)本身），才能用作該泛型類(lèi)型的類(lèi)型參數(shù)。這樣的約束一經(jīng)使用，就必須出現(xiàn)在該類(lèi)型參數(shù)的所有其他約束之前。

3.構(gòu)造函數(shù)約束。

以使用 new 運(yùn)算符創(chuàng)建類(lèi)型參數(shù)的實(shí)例；但類(lèi)型參數(shù)為此必須受構(gòu)造函數(shù)約束 new() 的約束。new() 約束可以讓編譯器知道：提供的任何類(lèi)型參數(shù)都必須具有可訪(fǎng)問(wèn)的無(wú)參數(shù)（或默認(rèn)）構(gòu)造函數(shù)。new() 約束出現(xiàn)在 where 子句的最后。

4.對(duì)于多個(gè)類(lèi)型參數(shù)，每個(gè)類(lèi)型參數(shù)都使用一個(gè) where 子句。

5.還可以將約束附加到泛型方法的類(lèi)型參數(shù)。

6. 裸類(lèi)型約束

用作約束的泛型類(lèi)型參數(shù)稱(chēng)為裸類(lèi)型約束。當(dāng)具有自己的類(lèi)型參數(shù)的成員函數(shù)需要將該參數(shù)約束為包含類(lèi)型的類(lèi)型參數(shù)時(shí)，裸類(lèi)型約束很有用。

 為什么要有約束呢？

當(dāng)一個(gè)泛型參數(shù)沒(méi)有任何約束時(shí)，它可以進(jìn)行的操作和運(yùn)算時(shí)非常有限的。因?yàn)椴荒軐?duì)實(shí)參做任何類(lèi)型上的保證，這時(shí)候就需要用到泛型的約束。泛型的主要約束和次要約束都是指泛型的實(shí)參必須滿(mǎn)足一定的規(guī)范。C#編譯器在編譯的過(guò)程中可以根據(jù)約束來(lái)檢查所有泛型類(lèi)型的實(shí)參并確保其滿(mǎn)足約束條件。

一個(gè)泛型參數(shù)可以至多擁有一個(gè)主要約束，主要約束可以是一個(gè)引用類(lèi)型、class或者struct。如果指定一個(gè)引用類(lèi)型，則實(shí)參必須是該類(lèi)型或者該類(lèi)型派生類(lèi)型。class規(guī)定實(shí)參必須是一個(gè)引用類(lèi)型。struct規(guī)定了參數(shù)必須是一個(gè)之類(lèi)新。