您的位置:首页 > 其它

_cdecl 和_stdcall及其他调用方式

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

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

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

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

_thiscall 是为了解决类成员调用中this指针传递而规定的。_thiscall要求把this指针放在特定寄存器中,该寄存器由编译器决定。VC使用ecx,Borland的C++编译器使用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++程序文件中的输出函数函数名会被修饰, MSDN说Underscore
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 编译开关可以帮你检查堆栈问题
内容来自用户分享和网络整理,不保证内容的准确性,如有侵权内容,可联系管理员处理 点击这里给我发消息
标签: