C++函数调用约定深度解析：从原理到实战避坑指南

1次阅读

共计 1715 个字符，预计需要花费 5 分钟才能阅读完成。

当我们在 C ++ 中调用一个函数时，编译器需要解决几个关键问题：参数如何传递（通过栈还是寄存器）、谁来清理栈空间、函数名如何修饰等。如果没有统一的约定，不同模块（甚至同一模块的不同函数）可能采用不同的参数传递方式，导致程序崩溃。这就是函数调用约定存在的意义——它定义了函数调用者和被调用者之间的契约。

参数传递 ：从右到左压栈
栈平衡 ：由调用者清理栈
特点：支持可变参数（如 printf）
适用场景 ：C/C++ 默认约定（GCC/Clang）

// 显式指定 cdecl（通常可省略）int __attribute__((cdecl)) add(int a, int b) {return a + b;}

参数传递 ：从右到左压栈
栈平衡 ：由被调用函数清理
特点：Win32 API 标准约定

// Windows 环境下通常用__stdcall
int __stdcall subtract(int a, int b) {return a - b;}

参数传递 ：前两个参数通过 ECX/EDX（x86）或 RCX/RDX（x64）传递，其余参数压栈
栈平衡 ：由被调用函数清理
特点：性能优先，寄存器传参

// GCC 的 fastcall 实现
int __attribute__((fastcall)) multiply(int a, int b) {return a * b;}

专用于类成员函数
x86：this 指针通过 ECX 传递，其他参数从右到左压栈
x64：this 指针作为隐含第一个参数处理

// 编译命令：g++ -m32 -o demo demo.cpp
extern "C" int __attribute__((cdecl)) calculate(int x, int y);

int main() {
    // 调用约定必须匹配
    return calculate(2, 3);
}

// 编译命令：cl /EHsc demo.cpp
class Calculator {
public:
    int __thiscall compute(int val) {return val * 2;}
};

int main() {
    Calculator calc;
    return calc.compute(5); // 隐含 this 指针传递
}

// 导出函数必须明确调用约定
#ifdef _WIN32
#define API __declspec(dllexport) __stdcall
#else
#define API __attribute__((stdcall))
#endif

extern "C" API int CrossAdd(int a, int b);

使用 GDB 查看函数调用：

(gdb) disassemble main
   0x0804840b <+15>:    push   0x3       # 参数从右到左压栈
   0x0804840d <+17>:    push   0x2
   0x0804840f <+19>:    call   0x80483db <calculate>
   0x08048414 <+24>:    add    $0x8,%esp # 调用者清理栈（cdecl）