因为经常需要和不同的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。 |
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之间存在区别。 |