C++函数调用压栈机制深度解析：当参数超过六个时会发生什么？

1次阅读

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

在 x86-64 架构中，函数调用时的参数传递遵循特定的调用约定（calling convention）。最常见的 System V ABI 规定，前 6 个整型或指针参数会通过寄存器传递，顺序为：RDI, RSI, RDX, RCX, R8, R9。对于浮点参数，则会使用 XMM0-XMM7 寄存器。这种设计充分利用了 CPU 寄存器的高速访问特性，避免了不必要的内存操作。

// 示例：6 个参数的函数调用
void func(int a, int b, int c, int d, int e, int f);
// 调用时：// a -> RDI, b -> RSI, c -> RDX, d -> RCX, e -> R8, f -> R9

当函数参数超过 6 个时，额外的参数将通过栈（stack）来传递。这种转变会带来几个关键影响：

性能下降：栈访问比寄存器访问慢得多，现代 CPU 中寄存器访问通常在 1 个时钟周期内完成，而栈访问可能需要几十甚至上百个周期（如果导致缓存未命中）。
ABI 兼容性问题：不同编译器对栈参数的处理可能存在细微差异，特别是在参数对齐和清理责任方面。
代码膨胀：需要生成更多的栈操作指令（push/mov），增加二进制大小。

将相关参数封装到结构体中是常见的优化手段。结构体作为单个参数传递时，如果大小不超过 16 字节（在 System V ABI 中），仍然可以通过寄存器传递。

// 优化前（8 个参数）void drawRect(int x, int y, int w, int h, Color c, int thickness, bool fill, Style s);

// 优化后
struct RectParams {
    int x, y, w, h;
    Color color;
    int thickness;
    bool fill;
    Style style;
};
void drawRect(const RectParams& params);

不同编译器对多参数函数的处理存在差异：

GCC/Clang：严格遵循 System V ABI，第 7 个及以后的参数通过栈传递
MSVC：Windows x64 调用约定稍有不同，前 4 个参数通过 RCX, RDX, R8, R9 传递

// 8 个参数的函数
void example(int a, int b, int c, int d, int e, int f, int g, int h);

// 对应的汇编关键部分（GCC）：// movl    %edi, -8(%rbp)    # a
// movl    %esi, -12(%rbp)   # b
// ... 前 6 个参数通过寄存器
// movl    -40(%rbp), %eax   # 第 7 个参数 g 从栈加载
// movl    -48(%rbp), %eax   # 第 8 个参数 h 从栈加载

struct Params {int a, b, c, d, e, f, g, h;};
void example_opt(const Params& p);

// 对应的汇编关键部分：// leaq    -32(%rbp), %rax   # 只需要传递结构体指针
// movq    %rax, %rdi        # 通过 RDI 寄存器传递

通过简单的基准测试可以观察到显著差异（使用 Google Benchmark）：

Benchmark              Time        CPU
--------------------------------------
NormalCall           58 ns       58 ns
StructCall           12 ns       12 ns

栈传递参数的主要开销来自：