自從2.0版本的net framework推出之后泛型（Generic）得到了廣泛好評。它不必像object類型一樣性能上因為“拆箱”或者“裝箱”得到損失，同時在編譯語法檢測階段就可以實時檢測出傳入或者傳出的類型是否符合特定條件。
但“金無赤足，人無完人”——在我們享受這些幸福編程的同時，泛型自身類型的不確定也帶來了一個顯著的問題——無法進行運算符重載。譬如現在我要寫一個函數（一個通用的選擇排序算法，使用泛型T），該怎么辦呢？如果你簡單使用這樣的代碼（C#如下）：
//從小到大，改進型選擇排序算法
public static void SortT>(T[] array)
{
bool flag = false; //標記是否已經排序
for(int i=0;iarray.Length-1;++i)
{
flag = false; //每次假定都已經排序，無須再排序
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; //已經排序
}
}
if(!flag)
{
break;
}
}
}
為什么呢？我們知道，凡是可以進行大于、小于比較的類型肯定都定義了運算符重載。一般類必須為此定義方可進行比較，不然大于號或者小于號（或者其它運算符）無法知道如何比較而發生錯誤。那么泛型因為事先都不知道什么類型？編譯器檢查器自然無法推斷你運行時動態傳入的這個類型一定保證是實現了運算符重載，嚴格語法檢查情況下就自然報錯。
public static void SortT>(T[] array)where T:IComparable
{
bool flag = false; //標記是否已經排序
for(int i=0;iarray.Length-1;++i)
{
flag = false; //每次假定都已經排序，無須再排序
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; //已經排序
}
}
if(!flag)
{
break;
}
}
}
當然，微軟類庫中有一個Comparer靜態類，已經實現了此接口可以直接進行比較（http://msdn.microsoft.com/zh-cn/library/system.collections.comparer.comparer.aspx），因此我們也可以選擇直接使用這個靜態類中的Compare方法得到結果。
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();
}
