從彙編的眼光看C++（之泛型程式設計）

【 聲明：著作權，歡迎轉載，請勿用於商業用途。  聯絡信箱：feixiaoxing @163.com】 

    泛型程式設計其實不難。本質上說，泛型程式設計就是讓通用的演算法應用到所有的資料類型。具體來說，int是我們熟悉的整數類型。那麼一般情況下，如果我們寫一個int整數的排序演算法，應該怎麼寫呢？大家可以自己試試？下面的代碼是我的一個範例；

void bubble_sort(int array[], int length){int temp = 0;int outer = 0;int inner = 0;assert(NULL != array && 0 != length);for(outer = length -1; outer >= 1; outer --){for(inner = 0; inner <= outer; inner ++){if(array[inner] > array[inner + 1]){temp = array[inner];array[inner] = array[inner + 1];array[inner + 1] = temp;}}}return;}

   如果把資料類型改成通用的資料類型，你需要做什麼呢？兩個：（1）算術符"="重載；（2）比較函數。下面就是一個設計的class類型。

class type{int data;public:type(int value = 0): data(value) {}type(type& t) {data = t.get_data();}~type() {}type& operator=(type& t) {data = t.get_data(); return *this;}int get_data() {return data;}};

    那麼，比較函數呢？我們可以用一個全域函數代替。

int type_compare(type& t1, type& t2){return t1.get_data() > t2.get_data() ? 1 : 0;}

    至此所有的函數都已經修改好了，那麼bubble_sort的函數也要修改吧，我們看看應該怎麼做？

template <typename data>void bubble_sort(data array[], int length, int (*compare)(data& , data& )){data temp;int outer = 0;int inner = 0;assert(NULL != array && 0 != length);for(outer = length -1; outer >= 1; outer --){for(inner = 0; inner <= outer; inner ++){if(compare(array[inner], array[inner+1])){temp = array[inner];array[inner] = array[inner + 1];array[inner + 1] = temp;}}}return;}

    眼看著代碼都已經使用好了，那下面應該看看怎麼使用了。可以看看下面的代碼：

272:      type t[2] = {type(2), type(1)};0040148D   push        20040148F   lea         ecx,[ebp-14h]00401492   call        @ILT+25(type::type) (0040101e)00401497   mov         dword ptr [ebp-4],00040149E   push        1004014A0   lea         ecx,[ebp-10h]004014A3   call        @ILT+25(type::type) (0040101e)004014A8   mov         byte ptr [ebp-4],1273:      bubble_sort<type> (t, 2, type_compare);004014AC   push        offset @ILT+20(type_compare) (00401019)004014B1   push        2004014B3   lea         eax,[ebp-14h]004014B6   push        eax004014B7   call        @ILT+50(bubble_sort) (00401037)004014BC   add         esp,0Ch274:      return;004014BF   mov         byte ptr [ebp-4],0004014C3   lea         ecx,[ebp-10h]004014C6   call        @ILT+5(type::~type) (0040100a)004014CB   mov         dword ptr [ebp-4],0FFFFFFFFh004014D2   lea         ecx,[ebp-14h]004014D5   call        @ILT+5(type::~type) (0040100a)275:  }

    我們看到了，簡單的排序已經完成了，函數最終會調用bubble_sort函數。泛型雖然複雜，涉及到了函數指標、算術符重載、模板函數等知識，但是只要勇於嘗試，就會使用越來越方便，越來越順手。

問題：
    （1） 大家可以嘗試編寫一個insert_sort的泛型函數？
    （2）嘗試編寫一個二分法的泛型處理函數？
    （3）嘗試編寫一個quick_sort的泛型函數，可能考慮的因素需要多一些？不過也可以嘗試一下哦。

【預告： 下面的部落格會寫一些 關於class技巧的文章】