c++tricks27i386平台的其它函数调模型.pdf

C++
Tricks
2.7
I386 平台的其它函数调 ⽤模型
从
farseerfc.
导⼊ 2.7
I386平台的其它函数 调⽤模型 上⽂介绍的只是I386平台上C函数调⽤的标准模型，被称 作__cdecl。事实上，Microsoft
Visual
C++编译器还⽀ 持其它⼀些函数调⽤模型，所有调⽤模型名称皆以双下 划线开头，下⾯列出所有函数调⽤模型的异同 ： 1
__cdecl 参数压栈顺序 ：逆序(从右⾄左) 参数堆栈恢复者 ：主调函数(caller) __cdecl明确地指出函数使⽤C函数调⽤模型，这是默认 的调⽤模型。 2
__stdcall 参数压栈顺序 ：逆序(从右⾄左) 参数堆栈恢复者 ：被调函数(callee) __stdcall是微软所谓的标准调⽤模型。可惜的是它与 __cdecl不兼容。⼏乎所有的Win32API函数使⽤这种函 数调⽤模型，希望在DLL之间，或者在程序和WinNT操 作系统之间传递函数指针的函数也应该使⽤这种模型。 与__cdecl模型的不同之处在于，__stdcall模型下由被 调函数恢复堆栈。主调函数在call语句之后，不需要再加 上add语句。⽽被调函数的ret语句则被添加⼀个参数， 代表函数参数堆栈的⻓度。因此，被调函数需要明确的 知晓函数参数的数量和类型，所以在__stdcall模型下不 ⽀持可变参数表，所有参数必须写明。 3
__thiscall 参数压栈顺序 ：逆序(从右⾄左)，this⽤ecx传递。 参数堆栈恢复者 ：被调函数(callee) __thiscall是VC编译器中类的⾮静态成员函数(non- static
member
functon)的默认调⽤模型。但是如果此 成员函数有可变参数表，VC编译器会使⽤__cdecl。和 __stdcall⼀样，__thiscall由被调函数恢复堆栈。⽐较独 特的是__thiscall会通过ecx寄存器传递成员函数的this 指针，⽽__cdecl下this指针是通过在参数表最前⾯增加 ⼀个函数参数来传递的。__thiscall是VC编译器对this指 针的使⽤的⼀种优化，⼤⼤提⾼了⾯向对象程序的效 率。在VC2003及之前的编译器上__thiscall不是⼀个关 键字，不能被显式指定。但可以给成员函数显式指定 __cdecl来避免使⽤__thiscall。 4
__fastcall 参数压栈顺序 ：逆序(从右⾄左)，前两个32位函数参 数放⼊ecx和edx中 参数堆栈恢复者 ：被调函数(callee) 快速函数调⽤模型，将前两个32位函数参数放⼊ecx和 edx中，其余参数再逆序压栈。使⽤的是和__thiscall类 似的优化技术，加快函数调⽤，适合运⽤在⼩型inline函 数上。同样使⽤__stdcall形式的被调函数恢复堆栈，所 以不⽀持可变参数表。 5
__pascal 参数压栈顺序 ：正序(从左⾄右) 参数堆栈恢复者 ：被调函数(callee) 过程式编程语⾔Pascal所使⽤的函数调⽤模型，由此得 名。也是16位版本的Windo s使⽤的API模型，过时的 模型，现在已经废弃且禁⽌使⽤。你会看到有些书本仍 会不时提到它，所以需要注意。__pascal是正序压栈， 这与⼤部分I386函数模型都不相同。与__stdcall⼀样， 由被调者恢复堆栈，不⽀持可变参数表。历史上曾有过 的别名PASCAL、pascal、_pascal(单下划线)，现在都 改成了__stdcall的别名，与__pascal(双下划线)不同。 6
其它函数调⽤模型，以及模型 别名。 __syscall ：操作系统内部使⽤的函数调⽤模型，由 ⽤户模式向核⼼模式跳转时使⽤的模型。由于⽤户模式 和核⼼模式使⽤不同的栈，所以没办法使⽤栈来传递参 数，所有参数通过寄存器传递，这限制了参数的数量。 ⽤户模式编程中不允许使⽤。 __fortran ：数学运算语⾔fortran使⽤的函数模型， 由此得名。在C中调⽤由fortran编译的函数时使⽤。 __clrcall ：微软.Net框架使⽤的函数模型，托管 (Managed)C++默认使⽤，也可以从⾮托管代码调⽤托管 函数时使⽤。参数在托管栈上正序(从左⾄右)压栈，不使 ⽤普通栈。 CALLBACK、PASCAL、WINAPI、APIENTRY、 AP