_cdecl 和_stdcall及其他调用方式

来源:互联网 发布:js获取select选中事件 编辑:程序博客网 时间:2024/05/29 04:48

_cdecl CDeclaration的缩写,表示C语言默认的函数调用方法:所有参数从右到左依次入栈,这些参数由调用者清除,称为手动清栈。被调用函数无需要求调用者传递多少参数,调用者传递过多或者过少的参数,甚至完全不同的参数都不会产生编译阶段的错误。

_stdcall
StandardCall的缩写,是C++的标准调用方式:所有参数从右到左依次入栈,如果是调用类成员的话,最后一个入栈的是this指针。这些堆栈中的参数由被调用的函数在返回后清除,使用的指令是 retn XX表示参数占用的字节数,CPUret之后自动弹出X个字节的堆栈空间。称为自动清栈。函数在编译的时候就必须确定参数个数,并且调用者必须严格的控制参数的生成,不能多,不能少,否则返回后会出错。

PASCAL
Pascal语言的函数调用方式,也可以在C/C++中使用,参数压栈顺序与前两者相反。返回时的清栈方式忘记了。。。

_fastcall
是编译器指定的快速调用方式。由于大多数的函数参数个数很少,使用堆栈传递比较费时。因此_fastcall通常规定将前两个(或若干个)参数由寄存器传递,其余参数还是通过堆栈传递。不同编译器编译的程序规定的寄存器不同。返回方式和_stdcall相当。

_thiscall
是为了解决类成员调用中this指针传递而规定的。_thiscall要求把this指针放在特定寄存器中,该寄存器由编译器决定。VC使用ecxBorlandC++编译器使用eax。返回方式和_stdcall相当。

_fastcall
_thiscall涉及的寄存器由编译器决定,因此不能用作跨编译器的接口。所以Windows上的COM对象接口都定义为_stdcall调用方式。

C
中不加说明默认函数为_cdecl方式(C中也只能用这种方式),C++也一样,但是默认的调用方式可以在IDE环境中设置。

带有可变参数的函数必须且只能使用_cdecl方式,例如下面的函数:
int printf(char * fmtStr, ...);
int scanf(char * fmtStr, ...);

这两个关键字看起来似乎很少和我们打交道,但是看了下面的定义(来自windef.h),你一定会觉得惊讶:
#define CALLBACK __stdcall
#define WINAPI __stdcall
#define WINAPIV __cdecl
#define APIENTRY WINAPI
#define APIPRIVATE __stdcall
#define PASCAL __stdcall
#define cdecl _cdecl
#ifndef CDECL
#define CDECL _cdecl
#endif
几乎我们写的每一个WINDOWS API函数都是__stdcall类型的,为什么??
首先,我们谈一下两者之间的区别:
WINDOWS
的函数调用时需要用到栈(STACK,一种先入后出的存储结构)。当函数
调用完成后,栈需要清除,这里就是问题的关键,如何清除??
如果我们的函数使用了_cdecl,那么栈的清除工作是由调用者,用COM的术语来讲
就是客户来完成的。这样带来了一个棘手的问题,不同的编译器产生栈的方式不尽相同
,那么调用者能否正常的完成清除工作呢?答案是不能。
如果使用__stdcall,上面的问题就解决了,函数自己解决清除工作。所以,在跨
(开发)平台的调用中,我们都使用__stdcall(虽然有时是以WINAPI的样子出现)。
那么为什么还需要_cdecl呢?当我们遇到这样的函数如fprintf()它的参数是可变
的,不定长的,被调用者事先无法知道参数的长度,事后的清除工作也无法正常的进行
,因此,这种情况我们只能使用_cdecl
到这里我们有一个结论,如果你的程序中没有涉及可变参数,最好使用__stdcall关键字.

__cdecl

__stdcall

CC++程序的缺省调用规范

为了使用这种调用规范,需要你明确的加上__stdcall(或WINAPI)文字。即return-type__stdcallfunction-name [(argument-list )]

调用函数(Callee)返回 ,由调用方(Caller)调整堆栈。

1. 调用方的函数调用

2. 调用函数的执行

3. 调用函数的结果返回

4. 调用方清除调整堆栈

调用函数(Callee)返回 ,由调用函数(Callee)调整堆栈。图示:

1. 调用方的函数调用

2. 调用函数的执行

3. 调用函数清除调整堆栈

4. 调用函数的结果返回

因为每个调用的地方都需要生成一段调整堆栈的代码,所以最后生成的文件较大。

因为调整堆栈的代码只存在在一个地方(被调用函数的代码内),所以最后生成的文件较小。

函数的参数个数可变(就像printf函数一样),因为只有调用者才知道它传给被调用函数几个参数,才能在调用结束时适当地调整堆栈。

函数的参数个数不能是可变的。

对于定义在C程序文件中的输出函数函数名会保持原样,不会被修饰。

对于定义在C++程序文件中的输出函数函数名会被修饰, MSDNUnderscore character (_) is prefixed to names.我实际测试(VC4VC6)下来发现好像不是那么简单。

可通过在前面加上extern“C 以去除函数名修饰。也可通过.def文件去除函数名修饰。

不论是C程序文件中的输出函数还是C++程序文件中的输出函数函数名都会被修饰。

对于定义在C程序文件中的输出函数An underscore (_) is prefixed to the name. The name is followed by the at sign (@) followed by the number of bytes (in decimal) in the argument list.

对于定义在C++程序文件中的输出函数,好像更复杂,__cdecl的情况类似。

好像只能通过.def文件去除函数名修饰。

_beginthread需要__cdecl的线程函数地址

_beginthreadexCreateThread需要__stdcall的线程函数地址

两者的参数传递顺序都是从右向左。

为了让VB可以调用,需要用__stdcall调用规范来定义C/C++函数。请参看Microsoft KB153586 文章:How To Call C Functions That Use the _cdecl Calling Convention

当你LoadLibrary一个DLL文件后,把GetProcAddress取得的函数地址传给上面三个线程生成函数时,请务必确认实际定义在DLL文件的输出函数符合调用规范要求。否则,编译成Release版后运行,可能会破坏堆栈,程序行为不可预测。

VC中的相关编译开关:/Gd /Gr /Gz。另外,VC6 中新增加的 /GZ 编译开关可以帮你检查堆栈问题

 

原创粉丝点击