栈帧机制解惑：为何bar的局部变量值未被清除且能被foo读取？

先看你的代码：

#include <stdio.h>

void bar(void)
{
    int a = 22;
}

void foo(void)
{
    int a;
    printf("%d\n", a);
}

int main(void)
{
    bar();
    foo();
}

为什么foo里的a会输出22？ #

核心原因是：栈帧被回收时，内存里的旧数据不会被主动清除。

当bar函数执行时，系统会在栈上为它分配栈帧，其中包含局部变量a，并赋值为22。当bar执行完毕返回main时，系统只是把栈指针（esp/rsp）和栈帧指针（ebp/rbp）恢复到调用bar之前的位置，相当于标记这块栈内存“可以被后续使用”，但并不会主动把之前的数据清零。

接下来调用foo函数时，系统会再次在栈上分配栈帧，而foo的局部变量a刚好落在了之前bar的a所在的内存位置上。因为这个变量没被初始化，它就会直接读取这块内存里残留的旧值——也就是22。

调用栈与栈帧的实际工作机制 #

调用栈是一块用于管理函数调用的内存区域，它的生长方向通常是从高地址向低地址（x86/x86_64平台均是如此，其他平台可能有差异）。每个函数调用都会创建一个独立的栈帧，包含以下关键内容：

• 函数的局部变量
• 函数的返回地址（记录调用完后回到哪里继续执行）
• 保存的寄存器值（比如之前的栈帧指针）
• 函数的参数（如果有的话）

具体流程大概是这样：

1. 调用函数时（比如main调用bar）：
   • 把返回地址压入栈中（记录main里bar调用结束后要执行的下一行代码地址）
   • 把当前栈帧指针（ebp/rbp）压入栈，然后将栈帧指针更新为当前栈指针的位置，作为新栈帧的基址
   • 调整栈指针（esp/rsp），为函数的局部变量分配内存空间
2. 函数执行完毕返回时：
   • 把栈指针恢复到栈帧指针的位置，回收局部变量的内存空间
   • 弹出之前保存的栈帧指针，恢复到调用者的栈帧基址
   • 弹出返回地址，跳转到该地址继续执行调用者的代码

注意：整个过程中，没有任何步骤会主动清除栈内存里的数据——清除数据是额外的性能开销，编译器和系统默认不会做这件事。

重要提醒：这是未定义行为 #

你看到的输出22只是一种巧合，属于C语言里的未定义行为。如果换用不同的编译器（比如GCC vs Clang）、调整编译选项（比如开启优化-O2）、或者在bar和foo之间插入其他函数调用，foo里的a可能会输出随机值，甚至程序出现其他异常。C语言标准明确规定，读取未初始化的局部变量的结果是不确定的，绝对不能依赖这种行为来写代码。

内容的提问来源于stack exchange，提问作者chlebastian