深入解析cdecl函数调用：从原理到实战避坑指南

1次阅读

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

在 C /C++ 系统级编程中，cdecl 调用约定是函数调用的基础规则。错误使用会导致栈不平衡、段错误甚至难以追踪的内存泄漏问题——比如调用方和被调用方对参数清理责任理解不一致时，ESP 寄存器将指向错误的内存地址。

先看调用过程中 ESP（栈指针寄存器）的变化示意图：

调用前      调用时              调用后（正确清理）|   ...   |   |   ...   |        |   ...   |
|---------|   |---------|        |---------|
| 参数 3   |   | 返回地址 |        | 参数 3   |  ← ESP
| 参数 2   |   | 参数 3   |        | 参数 2   |
| 参数 1   | ← ESP | 参数 2   |        | 参数 1   |
|---------|   | 参数 1   |        |---------|
              |---------| ← ESP

与其他调用约定的关键差异：

特性	cdecl	stdcall
参数传递顺序	从右到左	从右到左
栈清理责任	调用方	被调用方
可变参数支持	是	否
名称修饰	_funcname	_funcname@N

// 显式声明 cdecl（即使编译器默认使用）void __attribute__((cdecl)) my_func(int a, float b);

int main() {my_func(1, 3.14f); // 参数从右往左压栈
    return 0;
}

对应的反汇编关键片段（objdump -d）：

main:
    push   3.14f       ; 先压第二个参数
    push   1           ; 再压第一个参数
    call   my_func
    add    esp, 8      ; 调用方清理栈

当错误混合调用约定时（如用 stdcall 调用 cdecl 函数），GDB 调试时会看到：

(gdb) bt
#0  0x08048456 in ?? ()
#1  0x41414141 in ?? ()

发现返回地址被破坏（变成 0x41414141）时，应立即检查调用约定是否一致。

跨编译器兼容：
动态库导出函数时显式声明__attribute__((cdecl))
Windows 下可用 __cdecl 宏保证 MSVC 兼容
可变参数必须用 cdecl：
```
// printf 等可变参数函数原理
int __attribute__((cdecl)) my_printf(const char* fmt, ...);
```
只有调用方才能确定参数个数，因此必须由调用方清理栈。
IDE 静态检查：
GCC 编译选项添加-Werror=attributes
Visual Studio 启用 ” 高级调用约定检查 ”