为何调用bar时其局部变量与foo的局部变量占用同一栈位置？

这是编译器-O3优化下的栈帧复用，加上未初始化局部变量的未定义行为共同导致的结果，下面拆解具体原因：

1. 栈帧复用的优化逻辑 #

函数调用时，操作系统会在栈上分配一块「栈帧」，用来存放函数的局部变量、返回地址、寄存器备份等数据。当函数执行完毕返回后，这块栈空间并不会被主动清零，只是被标记为可复用。

你的代码中，foo和bar的结构完全一致：

• 都接收两个int类型的参数
• 都定义了一个int类型的局部变量
• 函数逻辑的分支结构完全相同

在-O3（最高级别优化）下，GCC会识别这种结构完全一致的函数，为了减少栈操作开销、提升运行效率，会让它们复用同一块栈帧空间——也就是说，两个函数的local变量在栈上的位置完全相同。

2. 未初始化变量的未定义行为 #

C语言标准明确规定：读取未初始化的自动局部变量（栈上的局部变量）属于未定义行为。这意味着编译器对此没有任何行为保证，程序可能输出随机值、旧数据，甚至直接崩溃。

结合你的执行流程来看：

• 调用foo(1,10)：给local赋值10，函数返回后，栈上该位置的值残留为10
• 调用foo(0,0)：读取未初始化的local，刚好读到栈上残留的10，输出local foo is 10
• 调用bar(1,12)：因为bar复用了foo的栈位置，给local赋值12，栈上该位置的值更新为12
• 调用foo(0,0)：再次读取未初始化的local，读到栈上残留的12，输出local foo is 12

3. 额外说明 #

如果关闭优化（比如使用-O0编译），编译器可能会为每个函数分配独立的栈帧，或者在函数入口时清零栈空间，这时候第二次调用foo(0,0)可能输出随机值或0，但这依然是未定义行为——你永远不能依赖这种输出结果。

核心结论：永远不要读取未初始化的局部变量，这是C编程中必须避免的错误，行为完全不可预测。

内容的提问来源于stack exchange，提问作者MaliceAin'tIt