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

1次阅读

没有评论

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

在 C ++ 开发中，函数调用方式的选择往往容易被忽视，但它直接影响着程序的性能和内存管理效率。今天我们就来深入解析__cdecl、__stdcall 和__fastcall 三种调用约定的底层原理，并通过实际测试数据对比它们的性能差异。

在开发过程中，如果错误地选择或混用调用约定，会导致一些非常棘手的问题：

栈不平衡导致的程序崩溃
性能下降，特别是在高频调用的场景
跨模块调用时的兼容性问题

我曾经在一个项目中遇到过这样的问题：在 Windows 平台上，一个 DLL 导出的函数使用__stdcall 约定，但调用方却错误地使用了__cdecl 约定。结果导致栈指针错乱，程序随机崩溃，调试了很久才发现是调用约定不匹配的问题。

下表总结了三种主要调用约定的关键差异：

特性	__cdecl	__stdcall	__fastcall
参数传递顺序	从右到左	从右到左	前两个参数通过寄存器，其余从右到左
栈清理方	调用者	被调用函数	被调用函数
寄存器使用	不使用	不使用	ECX 和 EDX 寄存器
适用场景	可变参数函数	Windows API	性能敏感的函数
函数名修饰	加下划线前缀	加下划线前缀和 @符号	加 @前缀和 @符号

让我们看一个简单的__cdecl 调用在 x86 汇编层面的表现：

; C++ 代码: int __cdecl add(int a, int b)
push b       ; 参数从右向左压栈
push a
call _add    ; 调用函数
add esp, 8   ; 调用者清理栈

相比之下，__stdcall 的栈清理由被调用函数完成：

; C++ 代码: int __stdcall add(int a, int b)
push b
push a
call _add@8  ; 函数名修饰包含参数大小
; 不需要调用者清理栈

__fastcall 会尝试使用寄存器传递前两个参数：

; C++ 代码: int __fastcall add(int a, int b)
mov ecx, a   ; 第一个参数通过 ECX 传递
mov edx, b   ; 第二个参数通过 EDX 传递
call @add@8  ; 剩余参数会压栈
; 被调用函数负责清理栈

为了比较三种调用约定的性能差异，我使用 Google Benchmark 进行了测试（测试环境：Intel i7-9700K, Windows 10, Release 模式）：

static void BM_cdecl(benchmark::State& state) {for (auto _ : state) {int r = cdecl_func(1, 2);
        benchmark::DoNotOptimize(r);
    }
}
BENCHMARK(BM_cdecl);

// 类似地定义 BM_stdcall 和 BM_fastcall

测试结果（纳秒 / 每次调用）：