调用约定(Calling Convention)

调用约定(Calling Convention)

参考:

函数调用方式主要体现在参数入栈顺序和销毁顺序上。

为什么要从右往左入栈:标准C参数压栈次序是反向压栈,也就是从右到左。因为C要把不定参数…放在最右边,为了高效率定位参数,所以只能从右到左压栈,这样第一个参数最靠近栈顶。

在windef.h头文件中有如下Windows标头的定义

#define WINAPI      __stdcall
#define APIENTRY    WINAPI

函数的调用方式有两种一种是PASCAL调用方式,另一种是C调用方式:

  • 使用PASCAL调用方式,函数在返回到调用者之前将参数从栈中删除【自己的事情自己做】

  • 使用C调用方式,参数的删除是调用者完成的【交由调用者完成,可以实现可变参数】

Windows系统规定由系统调用的函数都遵守PASCAL调用方式(__stdcall

VC中函数的缺省调用方式是C调用方式(__cdecl

在Windows编程中将遇到很多声明修饰符,如CALLBACK,WINAPI,PASCAL这些在IntelCPU的计算机上都是__stdcall

C++函数调用的几种方式

我们知道,调用函数时,计算机常用栈来存放函数执行需要的参数,由于栈的空间大小是有限的,在Windows下栈是向低地址扩展的数据结构,是一块连续的内存区域。这句话的意思是栈顶的地址和栈的最大容量是系统预先规定好的,Windows下栈的大小是2M(也有的说是1M),如果申请的空间超过栈的剩余空间时,将提示overflow。

在函数调用时,第一个进栈的是主函数中后的下一条指令(函数调用语句的下一条可执行语句)的地址,然后是函数的各个参数,在大多数的C编译器中,参数是由右往左入栈的,然后是函数中的局部变量。注意静态变量是不入栈的

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

  1. 当参数个数多于一个时,按照什么顺序把参数压入堆栈;

  2. 函数调用后,由谁来把堆栈恢复原状。

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

    • stdcall

    • cdecl

    • fastcall

    • thiscall

    • thiscall

    • nakedcall

(1)stdcall

stdcall调用方式又被称为Pascal调用方式。在Microsoft系列的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传递,后面的参数从右向左的顺序压入栈。

fastcall调用方式意味着:

  1. 被调用函数清理堆栈。

  2. 函数名自动加前导下划线,后面紧跟着一个@,其后紧跟着参数的尺寸

其声明语法为:int fastcall function(int a, int b);

(4)thiscall

thiscall调用方式是唯一一种不能显示指定的修饰符。它是C++类成员函数缺省的调用方式。由于成员函数调用还有一个this指针,因此必须用这种特殊的调用方式。

thiscall调用方式意味着:

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

  2. 如果参数个数确定,this指针通过ecx传递给被调用者;如果参数个数不确定,this指针在所有参数压入栈后被压入栈。参数个数不定的,由调用者清理堆栈,否则由函数自己清理堆栈。即,对于参数个数固定的情况,它类似于stdcall,不定时则类似于cdecl。

(5)nakedcall

是一种比较少见的调用方式,一般高级程序设计语言中不常见。

函数的声明调用方式和实际调用方式必须一致,必然编译器会产生混乱。

posted @ 2023-04-01 23:46  3的4次方  阅读(4)  评论(0编辑  收藏  举报