自從2.0版本的net framework推出之后泛型（Generic）得到了廣泛好評。它不必像object類型一樣性能上因為“拆箱”或者“裝箱”得到損失，同時在編譯語法檢測階段就可以實時檢測出傳入或者傳出的類型是否符合特定條件。
但“金無赤足，人無完人”——在我們享受這些幸福編程的同時，泛型自身類型的不確定也帶來了一個顯著的問題——無法進行運算符重載。譬如現(xiàn)在我要寫一個函數(shù)（一個通用的選擇排序算法，使用泛型T），該怎么辦呢？如果你簡單使用這樣的代碼（C#如下）：
//從小到大，改進型選擇排序算法
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;
}
}
}
為什么呢？我們知道，凡是可以進行大于、小于比較的類型肯定都定義了運算符重載。一般類必須為此定義方可進行比較，不然大于號或者小于號（或者其它運算符）無法知道如何比較而發(fā)生錯誤。那么泛型因為事先都不知道什么類型？編譯器檢查器自然無法推斷你運行時動態(tài)傳入的這個類型一定保證是實現(xiàn)了運算符重載，嚴(yán)格語法檢查情況下就自然報錯。
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)然，微軟類庫中有一個Comparer靜態(tài)類，已經(jīng)實現(xiàn)了此接口可以直接進行比較（http://msdn.microsoft.com/zh-cn/library/system.collections.comparer.comparer.aspx），因此我們也可以選擇直接使用這個靜態(tài)類中的Compare方法得到結(jié)果。
【例2】實現(xiàn)一個通用的“+”——即如果傳入的字符串，則自動按照字符串進行字符拼接；如果傳入的是其它基本類型（int，double等），則返回相加結(jié)果。
微軟沒有為“+”預(yù)定義接口，因此無法直接使用接口的方式來做（當(dāng)然你自己強制定義一個，也可以如法炮制）。我們現(xiàn)在換一個方法——使用表達式樹（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();
}
