函数调用时栈帧动态生成与管理，核心是每次调用在栈顶分配连续内存，包含返回地址、旧基址指针、局部变量空间和参数存储区；标识符解析通过编译期绑定为相对于rbp的固定偏移量实现，运行时无名字查找。
调用栈执行环境的构建，核心在于函数调用时栈帧（stack frame）的动态生成与管理。它不是一次性铺开的结构，而是随着每次函数调用逐层压入、逐层弹出的运行时上下文。内存分配和标识符解析都依赖于这个栈帧的布局与生命周期。
栈帧的内存分配过程
每次函数调用，系统会在栈顶分配一块连续内存，构成当前函数的栈帧。该分配包含四个关键部分：
- 返回地址：call指令自动将下一条指令地址压栈，确保函数结束后能回到正确位置；
- 旧基址指针（EBP/RBP）：保存调用者的栈底地址，用于后续恢复调用者栈帧；
- 局部变量空间：编译器在函数入口处通过sub指令（如sub rsp, 32）预留固定大小，供变量使用；
- 参数存储区：按调用约定（如cdecl或fastcall），参数可能压栈或通过寄存器传入，但栈上仍需预留空间以支持可变参数或溢出参数。
整个过程由CPU指令直接驱动，无需运行时库介入，因此高效但容量受限（通常1–8 MB）。
标识符如何在栈环境中被定位
标识符（如变量名）本身不存于运行时内存中，而是编译阶段被翻译为相对于栈帧基址（RBP/EBP）的偏移量。例如：
- 局部变量 int x 可能对应 [rbp-4]，int y 对应 [rbp-8]；
- 函数参数 在栈帧中通常位于 [rbp+8]、[rbp+16] 等正向偏移位置（因返回地址和旧rbp已占负向区域）；
- 嵌套作用域或复合类型（如数组、结构体）则通过基址+固定偏移+索引计算得到实际地址，而非查符号表。
这意味着运行时没有“名字查找”，只有地址计算——标识符解析实质是编译期完成的静态地址绑定。
栈帧边界与执行环境隔离
每个栈帧通过RBP寄存器形成逻辑边界，使不同函数的变量互不干扰：
- 进入函数时：push rbp; mov rbp, rsp 建立新帧底；
- 退出函数前：mov rsp, rbp; pop rbp 恢复上一帧的rsp和rbp；
- 函数返回后，原栈帧内存虽未清零，但不再被合法访问——它只是被新的栈操作覆盖或重用。
这种机制天然支持递归，也使得调试器能沿RBP链回溯调用路径（即所谓“backtrace”）。
常见误区澄清
几个容易混淆的点需要明确：
- 栈上分配 ≠ 所有变量都在栈上：static局部变量、全局变量、字符串字面量等位于数据段或常量区，不受栈帧影响；
- 指针变量在栈，指向内容未必在栈：char *p = malloc(100) 中，p本身是栈变量（存地址），而100字节在堆上；
- 栈溢出不是“内存不够”，而是越界写入破坏相邻栈帧：如缓冲区拷贝超过分配长度，可能覆写返回地址，导致控制流劫持。
