4、函数调用栈：栈帧的概念，EBP/ESP寄存器的角色，函数调用与返回的完整过程
说到函数调用，很多人觉得就是跳过去执行一下再回来。嗯，表面上看确实是这样。但如果你真的深入到底层，你会发现——每一次函数调用，都是一场精心编排的「栈上舞蹈」。
我个人习惯把函数调用栈比作一摞盘子。你每调用一个函数，就往这摞盘子上放一个新盘子；函数返回时，就把这个盘子拿走。盘子里的内容，就是所谓的栈帧。
4.1 栈帧是什么？
栈帧，说白了就是函数在栈上独占的那块「工作区」。每个函数被调用时，都会在栈上分配一块内存，用来存放：
- 函数的局部变量
- 函数的参数（部分或全部）
- 返回地址
- 上一层函数的栈帧基址
你想想看，如果没有栈帧，函数A调用函数B，B的局部变量往哪放？B执行完了怎么知道回到A的哪里继续执行？这些都是栈帧要解决的问题。
4.2 EBP和ESP：栈上的两个指针
这两个寄存器，是理解函数调用栈的关键。我在项目中调试过不少栈相关的bug，可以说，搞懂了EBP和ESP，你就搞懂了函数调用的半壁江山。
| 寄存器 | 全称 | 角色 |
|---|---|---|
| ESP | Extended Stack Pointer | 栈顶指针，指向当前栈帧的顶部 |
| EBP | Extended Base Pointer | 栈帧基址指针，指向当前栈帧的底部 |
你可以这样理解：ESP是动态的，随着push/pop不断变化；EBP是固定的，在一个函数执行期间保持不变。函数通过EBP加上偏移量来访问局部变量和参数。
4.3 函数调用的完整过程
我们来看一个具体的例子。假设有这样的代码：
int add(int a, int b) {
int sum = a + b;
return sum;
}
int main() {
int result = add(3, 4);
return 0;
}当main函数调用add时，底层发生了什么？我一步步拆给你看。
第一步：参数压栈
调用者（main）负责把参数压入栈中。按照cdecl调用约定，参数是从右向左压栈的：
push 4 ; 先压入b
push 3 ; 再压入a为什么要从右向左？说实话，这主要是为了支持可变参数函数（比如printf）。如果从左向右压，第一个参数反而在栈底，不好找。
第二步：保存返回地址
执行call add指令时，CPU会自动把下一条指令的地址压入栈中。这样add函数执行完后，才知道回到哪里。
call add ; 相当于 push 返回地址 + jmp add第三步：保存旧EBP，设置新EBP
进入add函数后，第一件事就是保存main函数的EBP，然后设置自己的EBP：
push ebp ; 保存main的栈帧基址
mov ebp, esp ; 设置add的栈帧基址为当前栈顶这一步非常关键。它建立了一个链表结构——每个栈帧的底部都保存着上一个栈帧的地址。函数返回时，就能顺着这个链表一步步退回去。
第四步：分配局部变量空间
add函数有一个局部变量sum，需要给它腾地方：
sub esp, 4 ; 栈顶下移4字节，给sum腾空间这时候，栈的布局是这样的：
高地址
+-----------------+
| 参数 b (4) | ← ebp + 12
+-----------------+
| 参数 a (3) | ← ebp + 8
+-----------------+
| 返回地址 | ← ebp + 4
+-----------------+
| 旧ebp | ← ebp (当前栈帧基址)
+-----------------+
| 局部变量 sum | ← ebp - 4 (也是esp指向的位置)
+-----------------+
低地址第五步：执行函数体
现在add函数可以安心干活了。它通过EBP加偏移量访问参数，通过EBP减偏移量访问局部变量：
mov eax, [ebp + 8] ; 取a
add eax, [ebp + 12] ; 加b
mov [ebp - 4], eax ; 存到sum
mov eax, [ebp - 4] ; 返回值放到eax注意，返回值是通过EAX寄存器传递的，不是通过栈。这是x86架构的约定。
第六步：函数返回
执行ret指令前，需要先做清理工作：
mov esp, ebp ; 恢复栈顶到栈帧基址
pop ebp ; 恢复main的栈帧基址
ret ; 弹出返回地址，跳转回去mov esp, ebp这一步很巧妙。它直接把栈顶拉回到当前栈帧的底部，相当于一次性释放了所有局部变量空间。然后pop ebp恢复上一层的栈帧基址。最后ret从栈上弹出返回地址，CPU就跳回main函数继续执行了。
4.4 栈帧结构图
下面这张图展示了函数调用过程中栈帧的变化。我特意用SVG画了这张图，方便你直观理解。
4.5 几个值得注意的细节
讲到这里，我觉得有几个细节值得单独拎出来说一下。
关于栈溢出
每个线程的栈空间是有限的。在Windows上默认是1MB，Linux上是8MB左右。如果你在函数里声明了一个很大的局部数组：
void foo() {
char buffer[1024 * 1024]; // 1MB，危险！
}嗯，这很可能导致栈溢出。我建议大块数据用堆分配，或者用静态数组。
关于优化对栈帧的影响
开启编译优化后，编译器可能不会生成标准的栈帧。比如-fomit-frame-pointer选项会让编译器省略EBP的使用，直接用ESP访问局部变量。这样做能节省一个寄存器，但调试起来会麻烦一些。
关于不同调用约定的差异
cdecl只是众多调用约定中的一种。stdcall、fastcall、thiscall等各有不同。区别主要体现在：
- 参数压栈顺序（从左到右还是从右到左）
- 谁负责清理栈上的参数（调用者还是被调用者）
- 参数是否通过寄存器传递
不过，栈帧的基本原理是相通的。搞懂了cdecl，其他约定你很快就能触类旁通。
4.6 小结
函数调用栈是C语言运行时的核心机制。EBP和ESP这两个寄存器，一个负责定位栈帧的边界，一个负责跟踪栈顶的位置。每次函数调用，都是一次栈帧的创建与销毁。理解了这个过程，你就能更好地理解局部变量的生命周期、递归调用的代价，以及为什么栈溢出会导致程序崩溃。
嗯，这一章的内容就到这里。下一章我们会继续深入，看看函数指针和回调机制在底层是如何实现的。
公众号:蓝海资料掘金营，微信deep3321