C++函数调用的三种方式：原理、性能对比与实战避坑指南

1次阅读

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

在 C ++ 开发中，函数调用约定选择不当可能导致两种典型问题：

栈崩溃 ：当调用方和被调用方对参数清理责任理解不一致时（比如一个用__cdecl 一个用__stdcall），ESP 寄存器值会错乱，引发栈帧破坏。这种问题在跨 DLL 调用时尤其常见。
性能损失 ：在循环密集调用的场景下，错误的调用约定可能带来额外 10%-30% 的性能开销。例如在 x86 平台对小型函数使用__cdecl 而非 __fastcall 时，会多出不必要的内存访问操作。

维度	__cdecl	__stdcall	__fastcall
参数顺序	从右到左压栈	从右到左压栈	前两个参数用 ECX/EDX 寄存器
栈清理方	调用方清理	被调用方清理	被调用方清理
寄存器使用	仅用栈	仅用栈	ECX/EDX+ 栈
适用场景	可变参数函数	Win32 API	高频调用的小函数

; 调用前
push 3       ; 参数 3 压栈
push 2       ; 参数 2 压栈
push 1       ; 参数 1 压栈
call _func   ; 调用函数
add esp, 12  ; 调用方清理栈

; 函数内
_func proc near
    push ebp         ; 保存旧帧指针
    mov ebp, esp     ; 建立新栈帧
    mov eax, [ebp+8] ; 获取参数 1
    ...
    pop ebp          ; 恢复帧指针
    ret              ; 简单返回
_func endp

当参数≤2 时，完全避免内存访问：

// 编译器会将此优化为寄存器传参
int __fastcall add(int a, int b) {return a + b; // ECX=a, EDX=b}

测试环境：i7-11800H @2.3GHz，Release 模式

调用方式	10M 次调用耗时(ns)	加速比
__cdecl	52	1.0x
__stdcall	50	1.04x
__fastcall	38	1.37x

DLL 边界一致性 ：导出的 DLL 函数必须明确声明调用约定，建议统一用__stdcall 与 Windows API 保持一致
可变参数陷阱 ：printf 类函数必须使用__cdecl，因为只有调用方知道参数个数
```
int __cdecl var_args(int count, ...); // 正确
```
x64 平台变化：在 64 位模式下，微软默认使用__fastcall 的增强版（前 4 个参数用 RCX/RDX/R8/R9）
调试技巧 ：在 VS 调试器中，函数调用后的esp 值变化可以判断约定类型
逆向工程线索 ：_func@8 后缀表示 __stdcall 且参数共 8 字节
性能取舍：当函数参数 >4 个时，各种约定性能差异会显著缩小