C/C++函数调用的几种方式总结

调用函数时，计算机常用栈来存储传递给函数的参数。

栈是一种先进后出的数据结构，栈有一个存储区、一个栈顶指针。栈顶指针指向堆栈中第一个可用的数据项（被称为栈顶）。用户可以在栈顶上方向栈中加入数据，这个操作被称为压栈(Push)，压栈以后，栈顶自动变成新加入数据项的位置，栈顶指针也随之修改。用户也可以从堆栈中取走栈顶，称为弹出栈(pop)，弹出栈后，栈顶下的一个元素变成栈顶，栈顶指针随之修改。函数调用时，调用者依次把参数压栈，然后调用函数，函数被调用以后，在堆栈中取得数据，并进行计算。函数计算结束以后，或者调用者、或者函数本身修改堆栈，使堆栈恢复原装。

在参数传递中，有两个重要的问题必须要明确说明：

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   // 清理堆栈

在编译时，此方式的函数被翻译成：_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++调用。

最新评论