深入解析C++函数调用的详细步骤：从栈帧到参数传递

1次阅读

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

理解 C ++ 函数调用的底层实现，就像汽车工程师需要了解发动机原理一样重要。当我们在调试段错误（Segmentation Fault）或性能热点时，经常会在反汇编窗口看到一堆 push、mov 和call指令。掌握这些底层细节能帮助我们：

精准定位栈溢出（Stack Overflow）等内存问题
避免因调用约定（Calling Convention）不匹配导致的诡异崩溃
理解编译器优化对函数调用的影响
编写更适合底层优化的代码

每次函数调用都会在栈（Stack）上创建一个栈帧（Stack Frame），它就像函数执行的 ” 工作台 ”。典型的栈帧包含：

返回地址 ：函数执行完毕后该回到哪里（由call 指令自动压入）
保存的寄存器：如 ebp/rbp（基址指针）
局部变量：函数内定义的自动存储期变量
参数区域：存放传入的参数（不同调用约定有差异）

在 x86-64 架构下，函数开头的 prologue（序言）和结尾的 epilogue（尾声）通常长这样：

; 典型的 prologue
push   rbp        ; 保存旧的基址指针
mov    rbp, rsp   ; 建立新的栈帧
sub    rsp, 0x20  ; 为局部变量预留空间

; 典型的 epilogue 
leave            ; 相当于 mov rsp,rbp + pop rbp
ret              ; 返回到调用者

参数传递方式主要由调用约定决定，常见的有：

cdecl：参数从右向左压栈，调用者清理栈（C 语言默认）
stdcall：参数从右向左压栈，被调函数清理栈（Win32 API 常用）
fastcall：前两个参数通过寄存器传递（ECX/EDX 或 RDI/RSI）

x86-64 System V ABI（Linux/Mac 使用）规定：

前 6 个整型参数通过寄存器传递（RDI, RSI, RDX, RCX, R8, R9）
剩余参数通过栈传递
浮点参数使用 XMM0-XMM7 寄存器

观察这个简单函数的调用过程：

// C++ 代码
int sum(int a, int b, int c, int d, int e, int f, int g) {return a + b + c + d + e + f + g;}

对应的汇编关键部分：

; 调用 sum(1,2,3,4,5,6,7)
mov    edi, 1     ; 第一个参数 a
mov    esi, 2     ; 第二个参数 b
mov    edx, 3     ; 第三个参数 c
mov    ecx, 4     ; 第四个参数 d
mov    r8d, 5     ; 第五个参数 e
mov    r9d, 6     ; 第六个参数 f
push   7          ; 第七个参数 g 通过栈传递
call   sum

返回值通常通过：