用汇编的眼光看c++(之模板函数)

版权声明:本文为博主原创文章,遵循 CC 4.0 BY-SA 版权协议,转载请附上原文出处链接和本声明。
本文链接: https://blog.csdn.net/feixiaoxing/article/details/6792049


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


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


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


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


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

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


 
 
  1. class data
  2. {
  3. int value;
  4. public:
  5. explicit data(int m): value(m) {}
  6. ~data() {}
  7. int get_value() { return value;}
  8. int operator > (data& d) { return this->get_value() > d.get_value();}
  9. };
    接着,我们调用compare函数:


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

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

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


 
 
  1. 241: return a > b ? a : b;
  2. 0040212B lea eax,[ebp+ 10h]
  3. 0040212E push eax
  4. 0040212F lea ecx,[ebp+ 0Ch]
  5. 00402132 call @ILT+ 55( data:: operator>) ( 0040103c)
  6. 00402137 test eax,eax
  7. 00402139 je compare+ 53h ( 00402143)
  8. 0040213B lea ecx,[ebp+ 0Ch]
  9. 0040213E mov dword ptr [ebp -18h],ecx
  10. 00402141 jmp compare+ 59h ( 00402149)
  11. 00402143 lea edx,[ebp+ 10h]
  12. 00402146 mov dword ptr [ebp -18h],edx
  13. 00402149 mov eax,dword ptr [ebp -18h]
  14. 0040214C mov dword ptr [ebp -10h],eax
  15. 0040214F mov ecx,dword ptr [ebp -10h]
  16. 00402152 mov edx,dword ptr [ecx]
  17. 00402154 mov eax,dword ptr [ebp+ 8]
  18. 00402157 mov dword ptr [eax],edx
  19. 00402159 mov ecx,dword ptr [ebp -14h]
  20. 0040215C or ecx, 1
  21. 0040215F mov dword ptr [ebp -14h],ecx
  22. 00402162 mov byte ptr [ebp -4], 1
  23. 00402166 lea ecx,[ebp+ 0Ch]
  24. 00402169 call @ILT+ 25( data::~ data) ( 0040101e)
  25. 0040216E mov byte ptr [ebp -4], 0
  26. 00402172 lea ecx,[ebp+ 10h]
  27. 00402175 call @ILT+ 25( data::~ data) ( 0040101e)
  28. 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)模板函数中涉及指针部分的内容,务必注意


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


  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值