自從2.0版本的net framework推出之后泛型（Generic）得到了廣泛好評(píng)。它不必像object類型一樣性能上因?yàn)椤安鹣洹被蛘摺把b箱”得到損失，同時(shí)在編譯語法檢測(cè)階段就可以實(shí)時(shí)檢測(cè)出傳入或者傳出的類型是否符合特定條件。
但“金無赤足，人無完人”——在我們享受這些幸福編程的同時(shí)，泛型自身類型的不確定也帶來了一個(gè)顯著的問題——無法進(jìn)行運(yùn)算符重載。譬如現(xiàn)在我要寫一個(gè)函數(shù)（一個(gè)通用的選擇排序算法，使用泛型T），該怎么辦呢？如果你簡(jiǎn)單使用這樣的代碼（C#如下）：
//從小到大，改進(jìn)型選擇排序算法
public static void SortT>(T[] array)
{
bool flag = false; //標(biāo)記是否已經(jīng)排序
for(int i=0;iarray.Length-1;++i)
{
flag = false; //每次假定都已經(jīng)排序，無須再排序
for(int j=i+1;iarray.Length;++j)
{
if(array[i]>array[j])
{
int temp = array[i];
array[i]=array[j];
array[j]=templ
flag = true; //已經(jīng)排序
}
}
if(!flag)
{
break;
}
}
}
為什么呢？我們知道，凡是可以進(jìn)行大于、小于比較的類型肯定都定義了運(yùn)算符重載。一般類必須為此定義方可進(jìn)行比較，不然大于號(hào)或者小于號(hào)（或者其它運(yùn)算符）無法知道如何比較而發(fā)生錯(cuò)誤。那么泛型因?yàn)槭孪榷疾恢朗裁搭愋?？編譯器檢查器自然無法推斷你運(yùn)行時(shí)動(dòng)態(tài)傳入的這個(gè)類型一定保證是實(shí)現(xiàn)了運(yùn)算符重載，嚴(yán)格語法檢查情況下就自然報(bào)錯(cuò)。
怎么辦呢？強(qiáng)制規(guī)定泛型T必須實(shí)現(xiàn)比較器（強(qiáng)制T必須實(shí)現(xiàn)IComparable，或者類似接口）。
public static void SortT>(T[] array)where T:IComparable
{
bool flag = false; //標(biāo)記是否已經(jīng)排序
for(int i=0;iarray.Length-1;++i)
{
flag = false; //每次假定都已經(jīng)排序，無須再排序
for(int j=i+1;iarray.Length;++j)
{
if(array[i].Compare(array[j])>0)
{
int temp = array[i];
array[i]=array[j];
array[j]=templ
flag = true; //已經(jīng)排序
}
}
if(!flag)
{
break;
}
}
}
當(dāng)然，微軟類庫中有一個(gè)Comparer靜態(tài)類，已經(jīng)實(shí)現(xiàn)了此接口可以直接進(jìn)行比較（http://msdn.microsoft.com/zh-cn/library/system.collections.comparer.comparer.aspx），因此我們也可以選擇直接使用這個(gè)靜態(tài)類中的Compare方法得到結(jié)果。
【例2】實(shí)現(xiàn)一個(gè)通用的“+”——即如果傳入的字符串，則自動(dòng)按照字符串進(jìn)行字符拼接；如果傳入的是其它基本類型（int，double等），則返回相加結(jié)果。
微軟沒有為“+”預(yù)定義接口，因此無法直接使用接口的方式來做（當(dāng)然你自己強(qiáng)制定義一個(gè)，也可以如法炮制）。我們現(xiàn)在換一個(gè)方法——使用表達(dá)式樹（C#代碼如下）：
public static T AddT>(T a, T b)
{
Expression left = Expression.Constant(a);
Expression right = Expression.Constant(b);
Type t = typeof(T);
Expression value;
if (t == typeof(string))
{
value = Expression.Constant(a.ToString()+b.ToString());
}
else
{
value = Expression.Add(left, right);
}
ExpressionFuncT>> addExp = Expression.LambdaFuncT>>(value);
FuncT> addFunc = addExp.Compile();
return addFunc();
}
