【c++】函数调用约定

         函数的调用约定,当一个函数被调用时,参数的传递以及返回值以什么样的方式回到调用函数;函数的调用约定就是指参数和返回值是怎么样传递的,以及是由谁平衡堆栈的。

函数的调用约定主要针对三个问题:
1.函数符号的生成与编译后的名称
2.实参的入栈顺序
3.形参的开辟与清理方式

 

一、__cdecl调用约定
cdecl是c标准的调用约定;声明方式为:
int function(int a,int b)                    //不加修饰就是采用默认的c调用约定
int __cdecl function(int a,int b)      //明确指出c调度约定

 __cdecl约定下的函数符号的生成:int __cdecl Sum(int,int)   =》  (?Sum@@YAHHH@Z)
?Sum@@YAHHH@Z     
Sum指的是函数名
A指的调用约定 __cdecl
第一个H返回值的类型,后面的H是参数的类型
 __cdecl约定下的函数编译后的名称:_Sum

具体的函数调用栈的指令,可见上一篇文章;在调用函数中,首先push 14h也就是20,后push 0Ah就是十进制的10,所以c标准调用约定中形参是调用函数中开栈,并且入栈顺序是从右向左;从call函数进入被调函数中,返回值由寄存器eax带出;ebp重新指向(指向栈底寄存器)调用函数的栈底;
00E843E7  add         esp,8     //调用函数中恢复栈顶指针esp
由调用函数中的汇编指令可以看出,__cdecl调用约定中,形参是由调用函数清理的;

二、__stdcall
__stdcall是windows标准调用约定,也被称为pascal调用约定,因为使用pascal方式清栈c方式压栈,在win32应用程序里,宏APIENTRY,WINAPI,都表示_stdcall;声明方式为:
int  __stdcall(int a,int b);


__stdcall调用约定下函数符号的生成:int __stdcall Sum(int a, int b)  =》?Sum@@YGHHH@Z
?Sum@@YGHHH@Z     
Sum指的是函数名
G指的调用约定 __stdcall
第一个H返回值的类型,后面的H是参数的类型
__stdcall调用约定下编译后的名称:_Sum@4    @后跟参数类型的字节数

在调用函数的汇编指令中,先push14h将十进制数字20入栈,push 0Ah将十进制数字10入栈,所以在stdcall调用约定下形参是调用函数开辟栈的,形参入栈的顺序是从右向左入栈;由call函数跳转到被调函数,返回值由寄存器带入调用函数中;注意在被调函数中有:
00A2297A  ret         8            //被调函数中
ret指令是对栈顶指针esp进行操作,所以__stdcall调用约定中形参是由被调函数清理的

三、__fastcall
        顾名思义,其特点就是快;_fastcall函数调用约定表明了参数应该放在寄存器中,而不是栈中,使用VC编译器调用约定传递参数时,最左边的两个不大于4个字节(DEORD)的参数分别放在ecx和edx寄存器,像浮点值还是通过堆栈来传递


__fastcall调用约定下函数符号的生成:extern int __fastcall Sum(int , int ,int)  =》?Sum@@YIHHHH@Z
?Sum@@YIHHHH@Z
Sum指的是函数名
I指的调用约定 __fastcall
第一个H返回值的类型,后面的H是参数的类型
__fastcall调用约定下编译后的名称:@Sum@8

在调用函数中,参数有3个,push 1Eh将十进制的30入栈,将十进制的20与10分别放入edx和ecx寄存器中;所以在fastcall调用约定下,当参数个数不大于两个,并且参数不大于32字节时,则形参只需要寄存器(edx与ecx)传递(也就是不需要开辟栈),如果参数个数大于两个时,从第三个数起,从右往左进行入栈;在本例中有三个参数,所以第三个参数入栈;然后依旧从call函数跳转到被调函数中,返回值放在eax寄存器中带出,在被调函数中有:
00F12985  ret         4      //被调函数中
在被调函数中对esp进行操作,被调函数恢复栈顶指针,因为只有一个int类型的数值入栈,所以这里是4

四、__thiscall
      thiscall是唯一一个不能明确指明的函数修饰,因为thiscall只能用于C++类成员函数的调用;由于成员函数调用还有一个this指针,因此必须特殊处理。thiscall意味着:
1.采用栈传递参数,参数从右向左入栈。如果参数个数确定,this指针通过ecx传递给被调用者;如果参数个数不确定,this指针在所有参数压栈后被压人堆栈;
2.对参数个数不确定的,调用者清理堆栈,否则由被调函数清理堆栈

 

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

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

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

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值