C/C++函数调用方式总结

最新推荐文章于 2024-03-12 16:44:16 发布

一叶飘落尽知秋

最新推荐文章于 2024-03-12 16:44:16 发布

阅读量2.6k

点赞数

分类专栏： C++ 文章标签： c++

本文链接：https://blog.csdn.net/sinat_35945236/article/details/120623034

版权

C++ 专栏收录该内容

4 篇文章 2 订阅

订阅专栏

在C语言中，假设我们有这样的一个函数：

int function(int a,int b)

调用时只要用result = function(1,2)这样的方式就可以使用这个函数。但是，当高级语言被编译成计算机可以识别的机器码时，有一个问题就凸现出来：在CPU中，计算机没有办法知道一个函数调用需要多少个、什么样的参数，也没有硬件可以保存这些参数。也就是说，计算机不知道怎么给这个函数传递参数，传递参数的工作必须由函数调用者和函数本身来协调。为此，计算机提供了一种被称为栈的数据结构来支持参数传递。

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

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

当参数个数多于一个时，按照什么顺序把参数压入堆栈；
函数调用后，由谁来把堆栈恢复原状。

在高级语言中，就是通过函数的调用方式来说明这两个问题的。常见的调用方式有：

stdcall

cdecl

fastcall

thiscall

naked call

**下面就分别介绍这几种调用方式：

stdcall

__stdcall是Standard Call的缩写，是C++的标准调用方式,当然这是微软定义的标准，__stdcall通常用于Win32 API中(可查看WINAPI的定义)。 microsoft的vc默认的是__cdecl方式，而windows API则是__stdcall，如果用vc开发dll给其他语言用，则应该指定__stdcall方式。堆栈由谁清除这个很重要，如果是要写汇编函数给C调用，一定要小心堆栈的清除工作，如果是__cdecl方式的函数，则函数本身（如果不用汇编写）则不需要关心保存参数的堆栈的清除，但是如果是__stdcall的规则，一定要在函数退出(ret)前恢复堆栈。

stdcall调用方式的函数声明为：

int _stdcall function(int a, int b);

stdcall的调用方式意味着：

（1）参数从右向左依次压入堆栈

（2）由被调用函数自己来恢复堆栈

（3）函数名自动加前导下划线，后面紧跟着一个@,其后紧跟着参数的尺寸【微软的编译工具规定：PASCAL, WINAPI, APIENTRY, FORTRAN, CALLBACK, STDCALL, __far __pascal, __fortran, __stdcall均是指此种调用约定。】

上面那个函数翻译成汇编语言将变成：

push b 先压入第二个参数

push a 再压入第一个参数

call function 调用函数

而对于函数自身，则可以翻译为：

push ebp 保存ebp寄存器，该寄存器将用来保存堆栈的栈顶指针，可以在函数退出时恢复mov ebp,esp 保存堆栈指针mov eax,[ebp + 8H] 堆栈中ebp指向位置之前依次保存有ebp,cs:eip,a,b,ebp +8指向a

add eax,[ebp + 0CH] 堆栈中ebp + 12处保存了b

mov esp,ebp 恢复esp

pop ebp

ret 8

而在编译时，这个函数的名字被翻译成_function@8

***注意：***不同编译器会插入自己的汇编代码以提供编译的通用性，但是大体代码如此。其中在函数开始处保留esp到ebp中，在函数结束恢复是编译器常用的方法。

从函数调用看，b和a依次被push进堆栈，而在函数中又通过相对于ebp(即刚进函数时的堆栈指针）的偏移量存取参数。函数结束后，ret 8表示清理8个字节的堆栈，函数自己恢复了堆栈。

cdecl

__cdecl 是 C Declaration 的缩写，是 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

fastcall

此约定还未被标准化，不同编译器的实现也不一致。

fastcall调用的主要特点就是快，因为它是通过寄存器来传送参数的。

fastcall 按照名字上理解就可以知道，它是一种快速调用方式。此方式的函数的第一个和第二个DWORD参数通过ecx和edx传递。

后面的参数从右向左的顺序压入栈。

被调用函数清理堆栈。

函数名修个规则同stdcall

其声明语法为：

int fastcall function(int a, int b);

1.实际上__fastcall用ECX和EDX传送前两个DWORD或更小的参数，剩下的参数仍自右向左压栈传送，被调用的函数在返回前清理传送参数的内存栈。
2.__fastcall调用约定在输出函数名前加上一个“@”符号，后面也是一个“@”符号和其参数的字节数，格式为@function@number,如double multi(double a, double b)的修饰名是@multi@16。
3.__fastcall和__stdcall很象，唯一差别就是头两个参数通过寄存器传送。注意通过寄存器传送的两个参数是从左向右的，即第1个参数进ECX，第2个进EDX，其他参数是从右向左的入栈，返回仍然通过EAX。

thiscall

是c++类成员函数缺省的调用方式，但它没有显示的声明形式。基于所使用的编译器和函数是否使用可变参数，有两个主流版本的thiscall。对于GCC编译器，thiscall几乎与cdecl等同：调用者清理堆栈，参数从右到左传递。差别在于this指针，thiscall会在最后把this指针推入栈中，即相当于在函数原型中是隐式的左数第一个参数。

thiscall调用方式：

1. 参数从右向左压入栈。

2. 如果参数个数确定，this指针通过ecx传递给被调用者；如果参数个数不确定，this指针在所有参数压入栈后被压入栈。

3. 参数个数不定的，由调用者清理堆栈，否则由函数自己清理堆栈。

可以看到，对于参数个数固定的情况，它类似于stdcall，不定时则类似于cdecl。

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++调用。

参考博客：

https://blog.csdn.net/leehong2005/article/details/8607536

https://www.jb51.net/article/44652.htm

https://blog.csdn.net/a3192048/article/details/82084374

一叶飘落尽知秋

关注

0
点赞
踩
0

收藏

觉得还不错? 一键收藏
0
评论
C/C++函数调用方式总结

在C语言中，假设我们有这样的一个函数：int function(int a,int b)调用时只要用result = function(1,2)这样的方式就可以使用这个函数。但是，当高级语言被编译成计算机可以识别的机器码时，有一个问题就凸现出来：在CPU中，计算机没有办法知道一个函数调用需要多少个、什么样的参数，也没有硬件可以保存这些参数。也就是说，计算机不知道怎么给这个函数传递参数，传递参数的工作必须由函数调用者和函数本身来协调。为此，计算机提供了一种被称为栈的数据结构来支持参数传递。栈是一种先进后
复制链接

扫一扫