无return语句的C++ int函数返回值符合预期的原因探究

咱们先把C++的核心规则摆出来：对于返回类型非void的函数（main函数是唯一特例），如果函数执行到结尾都没有触发return语句，这属于明确的未定义行为。标准对这种情况的结果没有任何规定——程序可能输出“正确”值，可能崩溃，可能输出乱码，甚至在不同编译环境下表现完全不同，一切都是巧合。

为什么你的例子里会出现“正确结果”？ #

这是多数编译器的调用约定和代码生成逻辑带来的巧合：

• 在常见的x86架构调用约定（比如cdecl）中，int类型的函数返回值会存在eax寄存器里。
• 看你同学写的函数，最后执行的语句是n=k;——很多编译器处理这个赋值操作时，会先把k的值加载到eax寄存器，再把eax里的值写入n的内存位置。当函数结束时，eax里刚好还保留着k的值（也就是我们期望的翻转后数字），所以cout读取返回值时，就拿到了这个“正确”结果。

为什么加了n=0;n=12;还能正常？ #

这依然是巧合！不同编译器的优化策略、寄存器分配逻辑都可能影响结果：比如有些编译器会把后续无意义的赋值操作优化掉（因为n之后没有被使用），或者eax寄存器刚好没被覆盖，依然保留着之前k的值。但只要换个编译器、开启更高等级的优化，或者修改一点无关代码，这个“正确”结果立刻就会消失。

你观察到的其他现象也能佐证这是未定义行为： #

• 修改n=k前的k值会改变返回值：因为这会直接改变最后留在eax寄存器里的值；
• 移除n=k返回0：此时函数最后执行的是n=n/10，最终n变为0，eax里刚好留存的是0的值，所以返回0。

重要提醒 #

这种“看似正常”的未定义行为非常危险，绝对不能依赖！写C++代码时，非void类型的函数必须保证所有执行路径都有明确的return语句，返回对应类型的值。

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