从汇编的眼光看C++（之泛型编程）

泛型编程其实不难。本质上说，泛型编程就是让通用的算法应用到所有的数据类型。具体来说，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        2
0040148F   lea         ecx,[ebp-14h]
00401492   call        @ILT+25(type::type) (0040101e)
00401497   mov         dword ptr [ebp-4],0
0040149E   push        1
004014A0   lea         ecx,[ebp-10h]
004014A3   call        @ILT+25(type::type) (0040101e)
004014A8   mov         byte ptr [ebp-4],1
273:      bubble_sort<type> (t, 2, type_compare);
004014AC   push        offset @ILT+20(type_compare) (00401019)
004014B1   push        2
004014B3   lea         eax,[ebp-14h]
004014B6   push        eax
004014B7   call        @ILT+50(bubble_sort) (00401037)
004014BC   add         esp,0Ch
274:      return;
004014BF   mov         byte ptr [ebp-4],0
004014C3   lea         ecx,[ebp-10h]
004014C6   call        @ILT+5(type::~type) (0040100a)
004014CB   mov         dword ptr [ebp-4],0FFFFFFFFh
004014D2   lea         ecx,[ebp-14h]
004014D5   call        @ILT+5(type::~type) (0040100a)
275:  }

我们看到了，简单的排序已经完成了，函数最终会调用bubble_sort函数。泛型虽然复杂，涉及到了函数指针、算术符重载、模板函数等知识，但是只要勇于尝试，就会使用越来越方便，越来越顺手。

问题：
   （1）大家可以尝试编写一个insert_sort的泛型函数？
   （2）尝试编写一个二分法的泛型处理函数？
   （3）尝试编写一个quick_sort的泛型函数，可能考虑的因素需要多一些？不过也可以尝试一下哦。

【预告：下面的博客会写一些关于class技巧的文章】

从汇编的眼光看C++（之泛型编程）相关推荐

用汇编的眼光看C++（之拷贝、赋值函数）
拷贝构造函数和复制函数是类里面比较重要的两个函数.两者有什么区别呢?其实也很简单,我们可以举个例子,加入有这样一个类的定义: [cpp] view plaincopy class apple { pu ...

从汇编的眼光看C++（之泛型编程）

从汇编的眼光看C++（之泛型编程）相关推荐

最新文章

热门文章