关于C++函数执行至末尾无返回值的规则疑问：为何不算格式错误（ill formed）且仍存在于现代C++？

嘿，这个问题问得特别戳人！我当初刚啃C标准的时候看到这条规则，也忍不住拍桌子——为啥都2024年了，现代C还留着这个“坑”，不直接把这种情况判定成格式错误（ill-formed）呢？

先把你提到的标准原文贴出来，方便大伙对照：

Flowing off the end of a constructor, a destructor, or a non-coroutine function with a cv void return type is equivalent to a return with no operand. Otherwise, flowing off the end of a function that is neither main (6.9.3.1) nor a coroutine (9.5.4) results in undefined behavior.

其实背后主要是这几个原因：

• 历史兼容性的硬约束：C是从C语言演化来的，这条规则在C里就存在了。当年C的编译器技术有限，要在编译期完美检查所有函数的返回路径根本不现实，所以就把这个情况定为未定义行为，而不是直接编译报错。现在C要是突然把它改成格式错误，那几十年积累下来的海量C和老C++代码直接就全炸了——编译器一编译就报错，这迁移成本谁扛得住啊？
• 编译器实现的不可行性：说个扎心的事实，要100%准确检测“函数所有执行路径都有返回值”是个不可判定问题。比如函数里有复杂的条件分支、递归调用，或者依赖运行时变量的跳转逻辑，编译器在编译期根本没法穷举所有可能的执行路径。如果强行把这种情况设为格式错误，编译器要么会出现大量误报（明明所有路径都有返回，却被判定错误），要么就是漏报（真的有路径没返回，却没查出来），反而会给开发者添乱。
• C++的设计哲学导向：C++一直信奉“信任程序员”的原则——给你最大的灵活性，同时也把对应的责任交给你。把这种情况定为未定义行为，而不是编译错误，一方面给了编译器优化的空间（不用为了处理这种极端情况生成冗余的检查代码），另一方面也逼着程序员自己做好代码审查和测试——毕竟未定义行为的后果可太离谱了，小到程序崩溃，大到出现完全不符合预期的诡异逻辑，没人敢掉以轻心。

内容来源于stack exchange