用汇编的眼光看c++（之模板函数）

【 声明：版权所有，欢迎转载，请勿用于商业用途。 联系信箱：feixiaoxing @163.com】

如果说模板类定义的是一种数据类型，那么模板函数定义的就是一种函数。既然是函数，那么就有输入数据和输出数据。和模板类的概念差不多，模板函数的初衷也是为了在函数操作上抽取共同的特性，屏蔽的是类型的不同和差异。我们可以通过下面一个简单的代码说明问题：

int int_compare(int a, int b) { return a > b ? a : b; } double double_compare(double a, double b) { return a > b ? a : b; } 上面的一段代码是取较大值的一段代码。两个函数之间最大的差别就是输入数据类型和输出数据类型之间的差别，那我们有没有一种办法可以屏蔽这种数据类型之间的差别呢？有。那就是函数模板：

template <typename type> type compare(type a, type b) { return a > b ? a : b; } 可以看到，模板函数和普通函数没有什么区别，只是在函数的上面把类型抽象成了type，那么模板函数应该怎么使用呢？

246: int i_value = compare(2, 3); 00401458 push 3 0040145A push 2 0040145C call @ILT+10(compare) (0040100f) 00401461 add esp,8 00401464 mov dword ptr [ebp-4],eax 247: double d_value = compare(2.3, 3.1); 00401467 push 4008CCCCh 0040146C push 0CCCCCCCDh 00401471 push 40026666h 00401476 push 66666666h 0040147B call @ILT+5(compare) (0040100a) 00401480 add esp,10h 00401483 fstp qword ptr [ebp-0Ch] 248: } 汇编代码表明，两个compare调用的函数地址并不是一致的。其中整数的compare地址是0x40100f，而double的地址是0x0040100a。这说明编译器在编译的时候帮我们同时生成了两个compare函数。所以说，模板类的本质就是在编译器增加判断处理工作的同时，减少手工的重复劳动。同时和模板类不一样，模板函数不需要显示定义函数的参数类型，这是因为可以从入参判断出函数的类型。

如果参数类型是 class类型呢？ 我们可以试一试。首先定义基本class：

class data { int value; public: explicit data(int m): value(m) {} ~data() {} int get_value() { return value;} int operator > (data& d) {return this->get_value() > d.get_value();} }; 接着，我们调用compare函数：

256: data m(4), n(2); 0040148D push 4 0040148F lea ecx,[ebp-10h] 00401492 call @ILT+40(data::data) (0040102d) 00401497 mov dword ptr [ebp-4],0 0040149E push 2 004014A0 lea ecx,[ebp-14h] 004014A3 call @ILT+40(data::data) (0040102d) 004014A8 mov byte ptr [ebp-4],1 257: data p = compare(m,n); 004014AC mov eax,dword ptr [ebp-14h] 004014AF push eax 004014B0 mov ecx,dword ptr [ebp-10h] 004014B3 push ecx 004014B4 lea edx,[ebp-18h] 004014B7 push edx 004014B8 call @ILT+15(compare) (00401014) 004014BD add esp,0Ch 258: } 256行： data构造了两个基本变量m和n

257行： 我们调用模板函数compare， 函数地址为0x401014，注意dx为p的地址，也就是堆栈临时变量的地址

为了看到算术符>重载，我们跟进compare函数：

241: return a > b ? a : b; 0040212B lea eax,[ebp+10h] 0040212E push eax 0040212F lea ecx,[ebp+0Ch] 00402132 call @ILT+55(data::operator>) (0040103c) 00402137 test eax,eax 00402139 je compare+53h (00402143) 0040213B lea ecx,[ebp+0Ch] 0040213E mov dword ptr [ebp-18h],ecx 00402141 jmp compare+59h (00402149) 00402143 lea edx,[ebp+10h] 00402146 mov dword ptr [ebp-18h],edx 00402149 mov eax,dword ptr [ebp-18h] 0040214C mov dword ptr [ebp-10h],eax 0040214F mov ecx,dword ptr [ebp-10h] 00402152 mov edx,dword ptr [ecx] 00402154 mov eax,dword ptr [ebp+8] 00402157 mov dword ptr [eax],edx 00402159 mov ecx,dword ptr [ebp-14h] 0040215C or ecx,1 0040215F mov dword ptr [ebp-14h],ecx 00402162 mov byte ptr [ebp-4],1 00402166 lea ecx,[ebp+0Ch] 00402169 call @ILT+25(data::~data) (0040101e) 0040216E mov byte ptr [ebp-4],0 00402172 lea ecx,[ebp+10h] 00402175 call @ILT+25(data::~data) (0040101e) 0040217A mov eax,dword ptr [ebp+8] 我们发现compare模板语句下面构建了很多汇编语句，有一些冗长，我们可以大略介绍一下：

（1） 开头调用call 0x0040103C函数就是调用重载运算符函数，[ebp-18h]表示即将被复制的是a数据还是b数据

（2） 比较返回结果后，开始复制数据，具体见0x402157，其中临时变量[ebp-14h]和临时变量[ebp-4]的操作可以忽略

（3） 函数返回前，对临时变量a和b进行析构处理，见代码0x402169和代码0x402175。

注意：

（1）编写模板函数前先保证自己的函数是编写正确的

（2）模板函数的优先级低于非模板函数

（3）模板函数的类型可以是自定义类型，也可以是c、c++语言的基本类型

（4）模板函数的使用经常和类的算术运算符混合使用，注意技巧

（5）模板函数中涉及指针部分的内容，务必注意

【预告： 下一篇模板主要讲述特化模板、缺省模板】