用汇编的眼光看c++（之模板函数）-优快云博客

本文链接：https://blog.youkuaiyun.com/hgcghhgg/article/details/84054678

分享一下我老师大神的人工智能教程！零基础，通俗易懂！http://blog.youkuaiyun.com/jiangjunshow

也欢迎大家转载本篇文章。分享知识，造福人民，实现我们中华民族伟大复兴！

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

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        30040145A   push        20040145C   call        @ILT+10(compare) (0040100f)00401461   add         esp,800401464   mov         dword ptr [ebp-4],eax247:      double d_value = compare(2.3, 3.1);00401467   push        4008CCCCh0040146C   push        0CCCCCCCDh00401471   push        40026666h00401476   push        66666666h0040147B   call        @ILT+5(compare) (0040100a)00401480   add         esp,10h00401483   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        40040148F   lea         ecx,[ebp-10h]00401492   call        @ILT+40(data::data) (0040102d)00401497   mov         dword ptr [ebp-4],00040149E   push        2004014A0   lea         ecx,[ebp-14h]004014A3   call        @ILT+40(data::data) (0040102d)004014A8   mov         byte ptr [ebp-4],1257:      data p = compare(m,n);004014AC   mov         eax,dword ptr [ebp-14h]004014AF   push        eax004014B0   mov         ecx,dword ptr [ebp-10h]004014B3   push        ecx004014B4   lea         edx,[ebp-18h]004014B7   push        edx004014B8   call        @ILT+15(compare) (00401014)004014BD   add         esp,0Ch258:  }

256行： data构造了两个基本变量m和n

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

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

241:      return a > b ? a : b;0040212B   lea         eax,[ebp+10h]0040212E   push        eax0040212F   lea         ecx,[ebp+0Ch]00402132   call        @ILT+55(data::operator>) (0040103c)00402137   test        eax,eax00402139   je          compare+53h (00402143)0040213B   lea         ecx,[ebp+0Ch]0040213E   mov         dword ptr [ebp-18h],ecx00402141   jmp         compare+59h (00402149)00402143   lea         edx,[ebp+10h]00402146   mov         dword ptr [ebp-18h],edx00402149   mov         eax,dword ptr [ebp-18h]0040214C   mov         dword ptr [ebp-10h],eax0040214F   mov         ecx,dword ptr [ebp-10h]00402152   mov         edx,dword ptr [ecx]00402154   mov         eax,dword ptr [ebp+8]00402157   mov         dword ptr [eax],edx00402159   mov         ecx,dword ptr [ebp-14h]0040215C   or          ecx,10040215F   mov         dword ptr [ebp-14h],ecx00402162   mov         byte ptr [ebp-4],100402166   lea         ecx,[ebp+0Ch]00402169   call        @ILT+25(data::~data) (0040101e)0040216E   mov         byte ptr [ebp-4],000402172   lea         ecx,[ebp+10h]00402175   call        @ILT+25(data::~data) (0040101e)0040217A   mov         eax,dword ptr [ebp+8]