泛型是什么

一種類型占位符，或稱之為類型參數。我們知道在一個方法中，一個變量的值可以作為參數，但其實這個變量的類型本身也可以作為參數。泛型允許我們在調用的時候再指定這個類型參數是什么。在.net中，泛型能夠給我們帶來的兩個明顯好處是——類型安全和減少裝箱、拆箱。

?

泛型最常見的用途是泛型集合，命名空間System.Collections.Generic 中包含了一些基于泛型的集合類，使用泛型集合類可以提供更高的類型安全性，還有更高的性能，避免了非泛型集合的重復的裝箱和拆箱。

????? 很多非泛型集合類都有對應的泛型集合類，我覺得最好還是養成用泛型集合類的好習慣，他不但性能上好而且 功能上要比非泛型類更齊全。下面是常用的非泛型集合類以及對應的泛型集合類：

????

非泛型集合類	泛型集合類
ArrayList	List<T>
HashTable	DIctionary<T>
Queue	Queue<T>
Stack	Stack<T>
SortedList	SortedList<T>

最顯著的一點就是它參數化了類型,把類型作為參數抽象出來,從而使我們在實際的運用當中能夠更好的實現代碼的重復利用,同時它提供了更強的類型安全,更高的效率,不過在約束方面,它只支持顯示的約束,這樣在靈活性方面就顯得不是那么好了.我覺得它之所以能夠提供更高的效率是因為泛型在實例化的時候采用了"on-demand"的模式,即按需實例化,發生在JIT(Just In Time)編譯時.
????? 下面來看如何定義一個泛型類,很簡單,你只需要意識到一點,在這里,類型已經被參數化了:

using?System;
using?System.Collections.Generic;
using?System.Text;

namespace?GenericTest
{
????class?Program
????{
????????static?void?Main(string[]?args)
????????{
????????????//使用string,int來實例化Test<T,S>類
????????????Test<string,?int>?t?=?new?Test<string,?int>("SHY520",22);

????????????//調用泛型類中的方法
????????????t.SetValue();
????????}
????}

????///?<summary>
????///?定義一個泛型類，該類有兩個類型參數，分別是T,S
????///?http://pw.cnblogs.com
????///?</summary>
????///?<typeparam?name="T">類型參數</typeparam>
????///?<typeparam?name="S">類型參數</typeparam>
????public?class?Test<T,S>
????{
????????//泛型類的類型參數可用于類成員
????????private?T?name;
????????private?S?age;

????????public?Test(T?Name,S?Age)
????????{
????????????this.name?=?Name;
????????????this.age?=?Age;
????????}

????????public?void?SetValue()
????????{
????????????Console.WriteLine(name.ToString());
????????????Console.WriteLine(age.ToString());
????????}
????}
}

??????? 上面的例子不是很恰當，目的是讓初學泛型的你了解一下泛型的定義及實例化方法，如上，我們定義了一個泛型類，那么如何實現泛型類的繼承呢？這里需要滿足下面兩點中的任何一點即可：
1、泛型類繼承中，父類的類型參數已被實例化，這種情況下子類不一定必須是泛型類；
2、父類的類型參數沒有被實例化，但來源于子類，也就是說父類和子類都是泛型類，并且二者有相同的類型參數；

????//如果這樣寫的話，顯然會報找不到類型T,S的錯誤
????public?class?TestChild?:?Test<T,?S>?{?}

????//正確的寫法應該是
????public?class?TestChild?:?Test<string,?int>{?}

????public?class?TestChild<T,?S>?:?Test<T,?S>?{?}

????public?class?TestChild<T,?S>?:?Test<String,?int>?{?}
接著我們來看看泛型接口，其創建以及繼承規則和上面說的泛型類是一樣的，看下面的代碼：
????public?interface?IList<T>?
????{
????????T[]?GetElements();
????}?
????public?interface?IDictionary<K,V>?????????????
????{
????????void?Add(K?key,?V?value);?
????}?

????//?泛型接口的類型參數要么已實例化
????//?要么來源于實現類聲明的類型參數
????class?List<T>?:?IList<T>,?IDictionary<int,?T>?
????{
????????public?T[]?GetElements()?{?return?null;?}
????????public?void?Add(int?index,?T?value)?
????????{?
????????}
????}

在來看一下泛型委托，首先我們定義一個類型參數為T的委托，然后在類中利用委托調用方法：
using?System;
using?System.Collections.Generic;
using?System.Text;

namespace?GenericTest
{
????//定義一個委托，類型參數為T，返回值類型T
????//泛型委托支持在返回值和參數上應用類型參數
????delegate?string?GenericDelete<T>(T?value);

????class?test
????{
????????static?string?F(int?i)?{?return?"SHY520";?}
????????static?string?G(string?s)?{?return?"SHY520";?}

????????static?void?Main(string[]?args)
????????{
????????????GenericDelete<string>?G1?=?G;
????????????GenericDelete<int>?G2?=?new?GenericDelete<int>(F);
????????}
????}?
}

??????? 我們再來看泛型方法，C#的泛型機制只支持在方法申明上包含類型參數，也即是泛型方法。特別注意的是，泛型不支持在除了方法以外的其他類/接口成員上使用類型參數，但這些成員可以被包含在泛型類型中，并且可以使用泛型類型的類型參數。還有一點需要說的就是，泛型方法可以在泛型類型中，也可以存在于非泛型類型中。下面我們分別看一下泛型類型的申明，調用，重載和覆蓋。

using?System;
using?System.Collections.Generic;
using?System.Text;

namespace?GenericTest
{
????class?GenericClass
????{
????????//申明一個泛型方法
????????public?T?getvalue<T>(T?t)
????????{
????????????return?t;
????????}

????????//調用泛型方法
????????//注意：在調用泛型方法時，對泛型方法的類型參數實例化
????????public?int?useMethod()
????????{
????????????return?this.getvalue<int>(10);
????????}

????????//重載getvalue方法
????????public?int?getvalue(int?i)
????????{
????????????return?i;
????????}
????}

????//下面演示覆蓋
????//要注意的是，泛型方法被覆蓋時，約束被默認繼承，不需要重新指定約束關系
????abstract?class?Parent
????{
????????public?abstract?K?TEST<K,?V>(K?k,?V?v)?where?K?:?V;

????}

????class?Child?:?Parent
????{
????????public?override?T?TEST<T,?S>(T?t,?S?s)
????????{
????????????return?t;
????????}
????}
}

??????? 最后我們來看一下泛型中的約束：
??????? C#中的泛型只支持顯示的約束，因為這樣才能保證C#所要求的類型安全，但顯示的約束并非時必須的，如果不加約束，泛型類型參數將只能訪問System.Object類型中的公有方法。“顯式約束”由where子句表達，可以指定“基類約束”，“接口約束”，“構造器約束”，“值類型/引用類型約束”共四種約束。下面的例子來源于李建忠老師的講座PPT。
1、基類約束：

????class?A?{?public?void?F1()?{}?}?
????class?B?{?public?void?F2()?{}?}?
????class?C<S,T>?
????where?S:?A?//?S繼承自A?
????where?T:?B?//?T繼承自B?
????{?
????//?可以在類型為S的變量上調用F1，
????//?可以在類型為T的變量上調用F2?
????}?
2、接口約束
????interface?IPrintable?{?void?Print();?
????}
????interface?IComparable<T>?{?int?CompareTo(T?v);}
????interface?IKeyProvider<T>?{?T?GetKey();?}
????class?Dictionary<K,V>?
????where?K:?IComparable<K>?
????where?V:?IPrintable,?IKeyProvider<K>?
????{?
????//?可以在類型為K的變量上調用CompareTo，?
????//?可以在類型為V的變量上調用Print和GetKey?
????}
3、構造器約束
class?A?{?public?A()?{?}?}?
class?B?{?public?B(int?i)?{?}?}?
class?C<T>?
where?T?:?new()?
{?
//可以在其中使用T?t=new?T();??
}?
C<A>?c=new?C<A>();?//可以，A有無參構造器
C<B>?c=new?C<B>();?//錯誤，B沒有無參構造器
4、值/引用類型約束
public?struct?A?{??}?
public?class?B?{??}?
class?C<T>?
where?T?:?struct?
{?
//?T在這里面是一個值類型?
}?
C<A>?c=new?C<A>();?//可以，A是一個值類型
C<B>?c=new?C<B>();?//錯誤，B是一個引用類型

轉載于:https://www.cnblogs.com/guodapeng/archive/2009/05/30/1492383.html

總結

以上是生活随笔為你收集整理的C#2.0泛型的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。