C++传指针引用的int函数缺返回值 GCC优化下无限循环原因？

这不是编译器bug，你触发了C++标准定义的未定义行为（Undefined Behavior, UB），符合语言规则的预期。

核心规则依据 #

C++标准明确要求：返回值类型非void的函数，必须在所有执行路径上通过return语句返回对应类型的值，若函数执行到末尾仍未执行return语句，程序行为完全未定义，标准不对运行结果做任何约束。

O0优化等级正常运行的原因 #

O0是无优化等级，编译器会严格按照C++代码的字面逻辑生成栈帧和调用指令：

• f函数执行完std::cout << *a后，哪怕没有return语句，编译器仍会生成对应的函数返回指令（x86下为ret）
• 此时仅返回值寄存器（通常为rax）中的值为垃圾值，但你代码中并未使用f的返回值，因此程序可以正常执行后续的delete p逻辑，最终正常退出。

O1及以上优化等级出现无限循环的底层原因 #

GCC的优化器在O1及以上等级开启时，会基于「程序不会触发未定义行为」的前提做激进优化：

1. 优化器检测到f函数是int返回类型，但所有执行路径都没有return语句，因此做出「f函数永远不会执行到末尾」的合法假设（因为如果执行到末尾就是UB，优化器默认这种情况不会发生）
2. 基于这个假设，优化器会认为f函数末尾的返回指令是永远不会被执行的死代码，直接将其删除；同时solve函数中f(p)调用后的delete p逻辑也会被判定为永远不会执行的死代码，一并删除
3. 运行时f函数执行完std::cout << *a的逻辑后，没有返回指令让CPU回到solve函数的调用点，CPU会按内存地址顺序执行后续的代码，而后续代码段恰好就是f函数的入口逻辑，因此就会无限循环执行f函数，不停输出7，直至栈溢出或者系统资源耗尽崩溃。

补充说明 #

未定义行为的运行结果完全不可预测，你碰到的无限循环只是可能的结果之一，换编译器版本、编译参数都可能出现输出乱码、直接崩溃、正常退出等完全不同的表现。

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