为何使用gcc -O3优化编译时，返回栈局部变量指针的printf输出0？

首先要明确一个最根本的前提：这份代码从C语言规范层面已经属于完全非法的未定义行为（UB），根本不存在“符合预期的固定运行逻辑”——所谓的输出差异，从来不是printf本身有什么特殊的运行机制，只是编译器对UB的不同处理策略、搭配不同优化等级下的栈内存管理逻辑，共同产生的随机可观察表现而已。

无优化（-O0）模式下的运行逻辑 #

gcc在无优化编译时，会严格按照代码书写的顺序逐条生成指令，不会主动对栈帧布局做复用、重排的优化，所有栈内存的修改都完全来自代码本身的显式操作：

• Boo函数执行完成弹出栈帧时，仅会调整栈指针寄存器的位置，不会主动对之前栈帧内的内存做清零或重写。Boo里给局部变量j写入的7，会一直留在那块栈位置，直到后续有其他函数调用压栈时，才会被新的栈帧数据覆盖。
• 对应test1场景：两次printf调用之间没有任何其他带栈帧的操作，printf自身执行完弹栈后，之前存7的栈位置从未被改写，因此两次读取*t的结果都是7，看起来“符合预期”。
• 对应test2场景：第一次printf打印完成后，执行了8层递归的Foo函数，这些递归调用会逐层压栈，完全覆盖掉之前存7的栈内存区域；等Foo执行完弹回main的栈位置时，那块栈地址上存的已经是之前递归、printf调用留下的随机残留值，因此第二次读取会输出垃圾值。

-O3最高优化等级下的特殊表现 #

gcc编译时抛出的function returns address of local variable警告，本质就是优化器已经识别到代码存在UB的标识——收到这个警告意味着后续所有运行行为都没有可预测性，不要基于栈内存的规律去推导输出结果。

很多人会误以为-O3下输出0是因为栈内存被清零了，实际上这个表现和栈内存复用几乎没有关系：
gcc的优化器在编译阶段就已经通过警告识别到Boo返回了局部变量的地址，此时按照C标准，编译器会基于“代码不存在任何UB”的前置假设做任意的指令变换——也就是说，它完全不需要忠实于你写的代码逻辑生成指令：

1. 优化器明确知道，main里拿到的指针t是指向Boo栈帧的，而Boo执行完成后这个地址已经是绝对不可被合法访问的
2. 对一个根本不应该被合法解引用的指针，编译器会直接把解引用操作（也就是把*t的值传给printf）替换成硬编码常量——这就是-O3下所有场景的printf都输出0的原因：根本不是那块栈内存真的存了0，是编译器直接把传给printf的参数从“内存读值”改成了固定值0。
   这种处理完全符合C标准对UB的定义：只要程序触发了UB，编译器可以生成任意行为，替换成0、直接崩溃、甚至输出随机字符串都不算错。

关于printf的常见误区
printf本质上只是一个普通的标准库函数，没有任何特殊的内部逻辑：它只是接收调用方传过来的可变参数，按照格式化字符串的规则把内容输出到终端而已。它既不会主动修改栈上的返回局部变量指针的值，也不会刻意制造垃圾值——所有你观察到的输出，都是调用它时传入的参数的真实状态，造成结果差异的核心是UB本身，和printf的运行逻辑没有关系。

补充说明 #

-O3下的输出结果和你有没有调用Foo函数没有任何关系：就算把test2里的Foo(8)那行删掉，两个测试场景下的printf依然会输出0，因为优化器在看到UB的那一刻，就已经把对*t的所有解引用操作替换成了固定常量，根本不需要等运行时去读栈上的真实值。

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