.net泛型通用函數(shù)的特殊問(wèn)題的解決方法

更新時(shí)間：2013年02月27日 11:51:26 作者：

本文介紹了.net泛型通用函數(shù)的特殊問(wèn)題的解決方法，需要的朋友可以參考一下

　　自從2.0版本的net framework推出之后泛型（Generic）得到了廣泛好評(píng)。它不必像object類(lèi)型一樣性能上因?yàn)椤安鹣洹被蛘摺把b箱”得到損失，同時(shí)在編譯語(yǔ)法檢測(cè)階段就可以實(shí)時(shí)檢測(cè)出傳入或者傳出的類(lèi)型是否符合特定條件。

　　但“金無(wú)赤足，人無(wú)完人”——在我們享受這些幸福編程的同時(shí)，泛型自身類(lèi)型的不確定也帶來(lái)了一個(gè)顯著的問(wèn)題——無(wú)法進(jìn)行運(yùn)算符重載。譬如現(xiàn)在我要寫(xiě)一個(gè)函數(shù)（一個(gè)通用的選擇排序算法，使用泛型T），該怎么辦呢？如果你簡(jiǎn)單使用這樣的代碼（C#如下）：

復(fù)制代碼代碼如下:

//從小到大，改進(jìn)型選擇排序算法

public static void Sort<T>(T[] array)
{
bool flag = false; //標(biāo)記是否已經(jīng)排序

     for(int i=0;i<array.Length-1;++i)
     {
          flag = false; //每次假定都已經(jīng)排序，無(wú)須再排序

          for(int j=i+1;i<array.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ā)現(xiàn)提示“運(yùn)算符‘>'無(wú)法作用于T”一類(lèi)的提示。

　　為什么呢？我們知道，凡是可以進(jìn)行大于、小于比較的類(lèi)型肯定都定義了運(yùn)算符重載。一般類(lèi)必須為此定義方可進(jìn)行比較，不然大于號(hào)或者小于號(hào)（或者其它運(yùn)算符）無(wú)法知道如何比較而發(fā)生錯(cuò)誤。那么泛型因?yàn)槭孪榷疾恢朗裁搭?lèi)型？編譯器檢查器自然無(wú)法推斷你運(yùn)行時(shí)動(dòng)態(tài)傳入的這個(gè)類(lèi)型一定保證是實(shí)現(xiàn)了運(yùn)算符重載，嚴(yán)格語(yǔ)法檢查情況下就自然報(bào)錯(cuò)。

　　怎么辦呢？強(qiáng)制規(guī)定泛型T必須實(shí)現(xiàn)比較器（強(qiáng)制T必須實(shí)現(xiàn)IComparable，或者類(lèi)似接口）。

復(fù)制代碼代碼如下:

public static void Sort<T>(T[] array)where T:IComparable
{
bool flag = false; //標(biāo)記是否已經(jīng)排序

     for(int i=0;i<array.Length-1;++i)
     {
          flag = false; //每次假定都已經(jīng)排序，無(wú)須再排序

          for(int j=i+1;i<array.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;
           }
     }
}

　　一旦對(duì)泛型進(jìn)行約束，那么泛型必然是實(shí)現(xiàn)該接口的類(lèi)，必然擁有此方法（Compare方法返回結(jié)果int類(lèi)型，如果大于0表示前面一個(gè)數(shù)字大于后面一個(gè)）。

　　當(dāng)然，微軟類(lèi)庫(kù)中有一個(gè)Comparer靜態(tài)類(lèi)，已經(jīng)實(shí)現(xiàn)了此接口可以直接進(jìn)行比較（http://msdn.microsoft.com/zh-cn/library/system.collections.comparer.comparer.aspx），因此我們也可以選擇直接使用這個(gè)靜態(tài)類(lèi)中的Compare方法得到結(jié)果。

　　【例2】實(shí)現(xiàn)一個(gè)通用的“+”——即如果傳入的字符串，則自動(dòng)按照字符串進(jìn)行字符拼接；如果傳入的是其它基本類(lèi)型（int，double等），則返回相加結(jié)果。

　　微軟沒(méi)有為“+”預(yù)定義接口，因此無(wú)法直接使用接口的方式來(lái)做（當(dāng)然你自己強(qiáng)制定義一個(gè)，也可以如法炮制）。我們現(xiàn)在換一個(gè)方法——使用表達(dá)式樹(shù)（C#代碼如下）：

復(fù)制代碼代碼如下:

public static T Add<T>(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);
            }

Expression<Func<T>> addExp = Expression.Lambda<Func<T>>(value);

Func<T> addFunc = addExp.Compile();

return addFunc();
}

　　動(dòng)態(tài)判斷T是string還是其它基本類(lèi)型，然后調(diào)用不同的方法組合成為表達(dá)式樹(shù)，動(dòng)態(tài)編譯成為一個(gè)Func表達(dá)式，返回結(jié)果即可。

您可能感興趣的文章: