【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.对参数个数不确定的，调用者清理堆栈，否则由被调函数清理堆栈