C++函数调用方式有哪些

Question

C++函数调用方式有哪些

Answer 1

我们知道，调用函数时，计算机常用栈来存放函数执行需要的参数，由于栈的空间大小是有限的，在windows下栈是向低地址扩展的数据结构，是一块连续的内存区域。这句话的意思是栈顶的地址和栈的最大容量是系统预先规定好的，windows下栈的大小是2M（也有的说是1M），如果申请的空间超过栈的剩余空间时，将提示overflow。
在函数调用时，第一个进栈的是主函数中后的下一条指令（函数调用语句的下一条可执行语句）的地址，然后是函数的各个参数，在大多数的C编译器中，参数是由右往左入栈的，然后是函数中的局部变量。注意静态变量是不入栈的。
在参数传递中，有两个重要的问题必须要明确说明：
1. 当参数个数多于一个时，按照什么顺序把参数压入堆栈；
2. 函数调用后，由谁来把堆栈恢复原状。
在高级语言中，就是通过函数的调用方式来说明这两个问题的。常见的调用方式有：
stdcall
cdecl
fastcall
thiscall
thiscall
naked call
下面就分别介绍这几种调用方式：
1. stdcall
stdcall调用方式又被称为Pascal调用方式。在Microsoft C++系列的C/C++编译器中，使用PASCAL宏，WINAPI宏和CALLBACK宏来指定函数的调用方式为stdcall。
stdcall调用方式的函数声明为：
int _stdcall function(int a, int b);
stdcall的调用方式意味着：
（1） 参数从右向左依次压入堆栈
（2） 由被调用函数自己来恢复堆栈
（3） 函数名自动加前导下划线，后面紧跟着一个@,其后紧跟着参数的尺寸
上面那个函数翻译成汇编语言将变成：
push b 先压入第二个参数
push a 再压入第一个参数
call function 调用函数
在编译时，此函数的名字被翻译为_function@8
2. cdecl
cdecl调用方式又称为C调用方式，是C语言缺省的调用方式，它的语法为：
int function(int a, int b) // 不加修饰符就是C调用方式
int _cdecl function(int a, int b) // 明确指定用C调用方式
cdecl的调用方式决定了：
（1） 参数从右向左依次压入堆栈
（2） 由调用者恢复堆栈
（3） 函数名自动加前导下划线
由于是由调用者来恢复堆栈，因此C调用方式允许函数的参数个数是不固定的，这是C语言的一大特色。
此方式的函数被翻译为：
push b // 先压入第二个参数
push a // 在压入第一个参数
call funtion // 调用函数
add esp, 8 // 清理堆栈 。。。。。需要熟悉一下esp寄存器的功能，建议看一下汇编有关的书，基本都有讲
在编译时，此方式的函数被翻译成：_function
3. fastcall
fastcall 按照名字上理解就可以知道，它是一种快速调用方式。此方式的函数的第一个和第二个DWORD参数通过ecx和edx传递，
后面的参数从右向左的顺序压入栈。
被调用函数清理堆栈。
函数名修个规则同stdcall
其声明语法为：
int fastcall function(int a, int b);
4. thiscall
thiscall 调用方式是唯一一种不能显示指定的修饰符。它是c++类成员函数缺省的调用方式。由于成员函数调用还有一个this指针，因此必须用这种特殊的调用方式。
thiscall调用方式意味着：
参数从右向左压入栈。
如果参数个数确定，this指针通过ecx传递给被调用者；如果参数个数不确定，this指针在所有参数压入栈后被压入栈。
参数个数不定的，由调用者清理堆栈，否则由函数自己清理堆栈。
可以看到，对于参数个数固定的情况，它类似于stdcall，不定时则类似于cdecl。
5. naked call
是一种比较少见的调用方式，一般高级程序设计语言中不常见。
函数的声明调用方式和实际调用方式必须一致，必然编译器会产生混乱。
函数名字修改规则：
1. C编译时函数名修饰约定规则：
__stdcall调用约定在输出函数名前加上一个下划线前缀，后面加上一个“@”符号和其参数的字节数，格式为_function@8。
__cdecl调用约定仅在输出函数名前加上一个下划线前缀，格式为_function。
__fastcall调用约定在输出函数名前加上一个“@”符号，后面也是一个“@”符号和其参数的字节数，格式为@function@8。
它们均不改变输出函数名中的字符大小写，这和PASCAL调用约定不同，PASCAL约定输出的函数名无任何修饰且全部大写。
2. C++编译时函数名修饰约定规则：
__stdcall调用约定：
（1）以“?”标识函数名的开始，后跟函数名；
（2）函数名后面以“@@YG”标识参数表的开始，后跟参数表；
（3）参数表以代号表示：
X--void ，
D--char，
E--unsigned char，
F--short，
H--int，
I--unsigned int，
J--long，
K--unsigned long，
M--float，
N--double，
_N--bool，
....
PA--表示指针，后面的代号表明指针类型，如果相同类型的指针连续出现，以“0”代替，一个“0”代
表一次重复；
（4）参数表的第一项为该函数的返回值类型，其后依次为参数的数据类型,指针标识在其所指数据类型前；
（5）参数表后以“@Z”标识整个名字的结束，如果该函数无参数，则以“Z”标识结束。
其格式为“?functionname@@YG*****@Z”或“?functionname@@YG*XZ”，例如
int Test1（char *var1,unsigned long）-----“?Test1@@YGHPADK@Z”
void Test2（） -----“?Test2@@YGXXZ”
__cdecl调用约定：
规则同上面的_stdcall调用约定，只是参数表的开始标识由上面的“@@YG”变为“@@YA”。
__fastcall调用约定：
规则同上面的_stdcall调用约定，只是参数表的开始标识由上面的“@@YG”变为“@@YI”。
VC++对函数的省缺声明是"__cedcl",将只能被C/C++调用。