C++函数调用约定是编译器规定的函数调用时参数传递、返回值处理、栈平衡等操作的标准，而栈帧管理则是函数调用过程中栈内存的分配与回收逻辑，二者都和寄存器、栈的使用策略紧密相关。不同的调用约定会定义不同的寄存器和栈使用规则，直接影响程序的运行效率和兼容性。
常见C++函数调用约定分类
Windows平台和Linux平台常见的C++函数调用约定主要有以下几种，每种约定的寄存器和栈使用策略存在差异：
- __cdecl：C语言默认调用约定，也是C++中非成员函数的默认调用约定
- __stdcall：Windows API常用的调用约定
- __fastcall：强调性能的快速调用约定
- __thiscall：C++类成员函数专用的调用约定
栈帧的基本结构
函数调用时，系统会为当前函数分配一段连续的栈内存空间，这段空间就是栈帧，栈帧主要包含以下内容：
- 函数参数：由调用方压入栈中
- 返回地址：函数执行完成后需要回到调用方继续执行的位置
- 旧的栈帧基址（ebp）：保存上一个栈帧的基址，用于恢复调用方的栈帧
- 被保存的寄存器：函数内部需要使用的非易失性寄存器的值
- 局部变量：函数内部定义的临时变量
不同调用约定的寄存器和栈使用策略
1. __cdecl调用约定
__cdecl约定的核心特点是参数从右向左入栈，栈平衡由调用方负责，寄存器的使用策略如下：
- 参数传递：全部参数从右到左压入栈中，不使用寄存器传递参数
- 返回值：如果返回值长度不超过4字节，存放在eax寄存器中；如果超过4字节不超过8字节，存放在eax和edx寄存器中；更大的返回值会通过栈传递返回地址的方式处理
- 栈平衡：函数执行完成后，由调用方执行add esp, n指令调整栈指针，n为所有参数占用的栈空间大小
下面是一个__cdecl调用的示例代码：
// 声明为__cdecl调用约定，默认情况下可以省略
int __cdecl add(int a, int b) {
int c = a + b; // 局部变量c存放在栈帧的局部变量区域
return c; // 返回值存放在eax寄存器
}
int main() {
int result = add(1, 2); // 调用add函数，参数2先入栈，1后入栈
return 0;
}
2. __stdcall调用约定
__stdcall约定常用于Windows API函数，其寄存器和栈使用策略和__cdecl的主要区别是栈平衡责任方不同：
- 参数传递：同样是从右向左入栈，不使用寄存器传递参数
- 返回值：和__cdecl的返回值寄存器使用规则一致
- 栈平衡：由被调用函数自身在函数返回前负责调整栈指针，通过ret n指令完成，n为参数占用的栈空间大小，调用方不需要额外调整栈
示例代码如下：
// 声明为__stdcall调用约定
int __stdcall sub(int a, int b) {
int c = a - b;
return c; // 返回值存eax
// 函数末尾会执行ret 8，自动平衡两个int参数的栈空间
}
int main() {
int result = sub(5, 3);
return 0;
}
3. __fastcall调用约定
__fastcall约定为了提升性能，会优先使用寄存器传递部分参数，减少栈操作的开销：
- 参数传递：前两个不大于4字节的参数会分别存放在ecx和edx寄存器中，剩余的参数从右向左入栈
- 返回值：和前两种约定的返回值寄存器规则一致
- 栈平衡：如果使用了栈传递参数，由被调用函数负责平衡栈，和__stdcall的规则一致
示例代码如下：
// 声明为__fastcall调用约定
int __fastcall mul(int a, int b, int c) {
// a存放在ecx，b存放在edx，c从右向左入栈
int d = a * b + c;
return d;
}
int main() {
int result = mul(2, 3, 4); // 2给ecx，3给edx，4入栈
return 0;
}
4. __thiscall调用约定
__thiscall是C++类成员函数的默认调用约定，主要处理this指针的传递：
- 参数传递：如果参数个数确定，this指针存放在ecx寄存器中，其他参数从右向左入栈；如果参数个数不确定（比如可变参数函数），this指针和其他参数一样从右向左入栈
- 返回值：和其他约定的返回值规则一致
- 栈平衡：参数个数确定的情况下由被调用函数平衡栈，参数个数不确定的情况下由调用方平衡栈
示例代码如下：
class Test {
public:
int value;
// 成员函数默认使用__thiscall调用约定
int add_value(int a) {
// this指针存放在ecx寄存器中
return value + a;
}
};
int main() {
Test t;
t.value = 10;
int result = t.add_value(5); // this指针通过ecx传递给add_value函数
return 0;
}
栈帧的创建与销毁过程
以__cdecl调用的add函数为例，栈帧的完整创建和销毁过程如下：
- 调用方将参数从右向左压入栈中，比如调用add(1,2)时，先压2，再压1
- 调用方执行call指令，将当前下一条指令的地址（返回地址）压入栈中，然后跳转到add函数执行
- add函数执行push ebp，将旧的栈帧基址ebp压入栈中
- 执行mov ebp, esp，将当前栈指针esp赋值给ebp，作为新的栈帧基址
- 执行sub esp, n，为局部变量分配栈空间，n为局部变量占用的总大小
- 如果需要保存非易失性寄存器（比如ebx、esi、edi），会将对应寄存器的值压入栈中
- 执行函数体逻辑，局部变量通过ebp偏移访问，比如[ebp-4]可能是第一个局部变量的地址
- 函数返回前，恢复之前保存的寄存器值，执行mov esp, ebp，将栈指针恢复到栈帧基址的位置，释放局部变量空间
- 执行pop ebp，恢复旧的栈帧基址
- 执行ret指令，弹出返回地址，跳回调用方继续执行
- 调用方执行add esp, 8，平衡两个int参数的栈空间，完成整个调用过程
不同调用约定的适用场景
在实际开发中，可以根据场景选择合适的调用约定：
- 如果需要跨编译器兼容，或者函数参数个数不确定，优先选择__cdecl
- 如果是Windows API开发，使用__stdcall可以保证和API的调用规则一致
- 如果是性能敏感的高频调用函数，优先选择__fastcall减少栈操作开销
- 类成员函数不需要手动指定调用约定，默认使用__thiscall即可
理解这些寄存器和栈的使用策略，不仅可以帮助开发者排查栈溢出、参数传递错误等底层问题，也能在需要编写汇编和C++混合代码时，保证调用规则的正确性。