因为经常需要和不同的Calling Convention打交道,前段时间整理了一下它们之间的区别,如下:
清理堆栈 |
参数压栈顺序 |
命名规则 (MSVC++) |
备注 |
|
Cdecl |
调用者 (Caller) |
从右往左 |
FuncName |
因为是调用者清理Stack,因此允许变参 (如printf) |
Pascal |
被调用者 (Callee) |
从左往右 |
已不再支持 |
__pascal, __fortran, __syscall |
Stdcall |
被调用者 (Callee) |
从右往左 |
_FuncName@N N表示所有参数大小字节数,如4 |
一般在Windows API和COM中使用,也是.NET和Native代码调用的缺省Calling Convention。 顺便提一下,Windows中API的Calling Convention所使用到的WINAPI宏在PC机上是__stdcall,而在WinCE上则是__cdecl,并非一成不变。 |
Fastcall (Microsoft) |
被调用者 (Callee) |
从右往左 |
@FuncName@N N表示参数大小字节数,如4 |
和Stdcall类似,但是会选择两个从左往右数最先可以放在寄存器里面的参数放在ECX和EDX中 |
Thiscall (Microsoft) |
被调用者 (Callee) |
从右往左 |
编译器会将名字,类名,参数等编码到名字里面,具体方式和编译器相关,如: 如?Func@MyClass@@QAEXPAX@Z |
基本上等价stdcall, 除了this指针用ECX传递 |
稍微解释一下其中不是特别明显的几个列的意义:
列 |
解释 |
清理堆栈 |
调用函数的时候,一般的参数都被调用者压栈(除了需要用寄存器传递的参数除外)。问题在于,谁来清理调用者压入堆栈的参数内容,是调用者还是被调用者。清理的意义是将压入的参数退栈,从机器的角度来讲则是调整堆栈指针ESP。当调用者也负责清理栈的时候,由于调用者知道实际参数的个数,因此可以正确处理变参的情况(如printf),就算是压入的参数和所期望的参数不一致也不会造成栈的不平衡,这正是printf可以很容易直接传入不同参数,而Windows API必须显式传入va_list参数(如FormatMessage)来获得变参能力的原因。 |
压栈顺序 |
参数被压栈的时候,如果有多个参数,参数可以以从左往右依次压入的顺序压入,也可以以从右往左的顺序,不同的Calling Convention之间存在区别。 |