深入解析cdecl函数调用：从原理到实践的新手指南

1次阅读

没有评论

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

当我们在高级语言中调用一个函数时，编译器需要处理许多底层细节：参数如何传递？返回值存放在哪里？谁来清理栈空间？这些规则统称为函数调用约定（Calling Convention）。不同的调用约定会影响二进制兼容性、代码大小和执行效率。

二进制兼容性：不同编译器或模块必须遵循相同约定才能正确交互
栈管理：决定调用者还是被调用者负责清理参数占用的栈空间
优化空间：影响寄存器使用率和指令生成方式

cdecl（C Declaration）是 C 程序的默认调用约定，其核心规则如下：

参数传递顺序：从右向左依次压栈（即最后一个参数最先压栈）
栈平衡责任：由调用者（caller）清理参数占用的栈空间
返回值处理：通过 EAX 寄存器返回整型 / 指针，浮点数用 ST0 寄存器
寄存器保护：EBX/ESI/EDI/EBP 由被调用者保存，其余寄存器可能被修改

典型调用过程示例：

; 调用 foo(1,2,3)的汇编示意
push 3   ; 最后参数先压栈
push 2
push 1
call foo
add esp, 12  ; 调用者清理栈

特性	cdecl	stdcall	fastcall
栈平衡方	调用者	被调用者	混合
参数传递	全栈传递	全栈传递	寄存器 + 栈
名称修饰	_func	_func@N	@func@N
典型应用	C 可变参数	Win32 API	性能敏感代码

关键区别点：

stdcall 的被调用者通过 ret N 指令自动清理栈，适合固定参数函数
fastcall 优先使用 ECX/EDX 寄存器传参，减少内存访问
cdecl 是唯一支持可变参数函数（如 printf）的约定

// 显式声明 cdecl 调用（通常可省略，因是 C 默认约定）int __cdecl add_numbers(int a, int b, int c);

// 函数实现
int __cdecl add_numbers(int a, int b, int c) {return a + b + c;  // 返回值通过 EAX 传递}

int main() {
    // 参数从右向左求值
    int sum = add_numbers(1, 2, 3);

    // 查看反汇编可观察到：// 1. push 3, push 2, push 1
    // 2. call add_numbers
    // 3. add esp, 12
    return 0;
}

// 错误示例：误用 stdcall 声明但用 cdecl 调用
void __stdcall cleanup(int mode);

// 调用时编译器不会添加栈清理代码
cleanup(1);  // 崩溃！被调用者尝试 ret 4 但调用者未预留空间

修复方案：确保声明与调用约定一致，特别在跨 DLL 调用时

// 32 位系统下指针和 int 大小不同
void __cdecl log_value(int value);

int* ptr = malloc(4);
log_value(ptr);  // 可能截断高 32 位地址

修复方案：使用精确的类型声明，必要时添加类型转换

优势：

支持可变参数函数
调用方知晓参数数量，可优化多次调用的栈操作
寄存器使用限制少，便于编译器优化

劣势：

每个调用点都需要生成栈清理代码（add esp, N）
全栈传参可能增加内存访问
不适合高频调用的轻量级函数

使用 Visual Studio 的 /FAs 编译选项生成汇编列表
在调试器中观察调用前后的 ESP 寄存器变化
尝试故意制造栈不平衡错误，观察程序崩溃现象
比较不同调用约定生成的汇编代码差异

示例实验代码：

#include <stdio.h>

void __cdecl show_stack(int a, int b) {
    int dummy;
    printf("栈帧地址：%p\n", &dummy);
}

int main() {show_stack(1, 2);
    // 在调试器中断点查看：// 1. 调用前的 ESP
    // 2. 函数内的局部变量地址
    // 3. 返回后的 ESP 变化
    return 0;
}

理解 cdecl 调用约定不仅有助于调试底层问题，更是学习 ABI 和编译器行为的重要入口。虽然现代高级语言大多隐藏了这些细节，但在以下场景仍然关键：