C/C++ 函数调用规范

一、调用规范的作用

函数的调用规范会影响最终的汇编代码，它主要解决的问题在于一个过程（函数）调用其它过程时参数的传递规则，主要有三个方面：

1. 函数参数传递的方式，顺序是从左至右还是从右至左入栈，是否通过寄存器传递。
2. 函数结束后栈指针由谁恢复，是调用者恢复还是被调用者恢复。
3. 函数编译后的命名规则（Name Mangling），为了适应不同的链接策略或其它原因，编译后函数名往往会增加一些修饰字符。

二、C/C++中常用的调用规范

① _cdecl：这是C/C++函数默认的调用规范，参数从右向左依次传递，压入堆栈，由调用函数负责恢复栈顶指针，编译后函数名前会加一横下划线，比如 _function。这种调用规范有利于函数传递可变数量的参数，由于函数最左边第一个参数是确定的，从右至左将参数压入栈中时，可确定参数个数，且最左参数一定在栈顶，便可以此format所有参数。
例如，AddTwo的显示声明如下：

int _cdecl AddTwo(int a, int b)
{
	return a+b;
}

当调用这个过程时,比如，AddTwo(5,6)，编译器实际上(如果是VS编译器，请选择：编译为 C 代码 (/TC))生成的代码为：

Example PROC
	push 6
	push 5
	call _AddTwo
	add esp,8	;从栈中移除参数，注意，是调用函数完成的栈清理
	ret
Example ENDP

② _stdcall：参数从右向左依次传递，并压入堆栈，由被调用函数清退堆栈，当函数有可变个数参数，自动转化为__cdecl调用规范，编译后函数名前会加一横下划线，函数名后会加符号@，紧接着参数的字节数，比如_function@8。函数返回时的汇编代码是ret 8，表示被调用者在返回时清理8个字节的栈空间，自己恢复了栈指针。
例如，如果把AddTwo声明为_stdcall规范

int _stdcall  AddTwo(int a, int b)
{
	return a+b;
}

则编译器实际生成的代码为：

_AddTwo@8 PROC
	push ebp
	mov  ebp,esp
	mov eax,[ebp+12]
	add eax,[ebp+8[
	pop ebp
	ret 8	;注意，该规范下是被调函数清除的栈
_AddTwo@8 ENDP

③ _fastcall: 顾名思义调用时会比其它调用约定快一点，因为其参数会利用寄存器进行传递，但若有多个参数，寄存器不够了，其余参数会从右向左入栈，由被调用函数恢复栈顶指针，编译后函数名前和函数名后都会会加符号@，紧接着再加参数字节数，比如@function@8。
显式声明如下。

void _fastcall AddTwo(int a, int b)
{
	return a+b;
}

④ _thiscall：这是C++非静态成员函数的默认调用规范，采用桟传递参数，参数从右向左入栈，对参数个数不定的，和_cdecl一样由调用者清理堆栈，对参数个数固定的，和_stdcall一样由被调函数清理堆栈。该调用约定不能被显式声明，因为C/C++中并没有_thiscall这个关键字。

本文参考了以下链接：https://zhuanlan.zhihu.com/p/181467546