为什么这个明显的无限递归不给编译器一个警告？

Question

几个月前，我不得不修改一些导致一些问题的代码。代码基本上是这样的：

int badFun() { return badFun(); }

这显然导致了堆栈溢出，即使是在我使用的高级语言中（SilkTest中的4Test）。这段代码不可能被视为有益的。问题的第一个迹象是脚本完成后出现警告，但没有出现编译错误或警告。奇怪的是，我尝试用相同的结构编写C++程序、C语言和Python程序，并且所有这些程序都编译或解释，没有语法错误或警告，即使在所有情况下都有运行时错误。我甚至没有看到任何警告。为什么这在默认情况下不被视为可能的问题？在

编辑：我尝试用所有三种语言编写这个函数的等价物，所以我添加了这些函数标记。我更感兴趣的是为什么这样的代码可以在没有警告的情况下通过。如有必要，请重新打电话。在

Answer 1

Why isn't this seen as problem by default?

该错误是运行时错误，而不是编译时错误。代码完全有效，只是做了些蠢事。您所展示的非常简单的案例当然可以被检测到，但许多情况只会稍微复杂一点就很难检测到：

void evil() {
    if (somethingThatTurnsOutToAlwaysBeTrue)
        evil();
}

为了确定这是否是一个问题，编译器必须找出条件是否总是为真。在一般情况下，我不认为这比确定程序是否最终停止（即它是provably not computable）更具可计算性。在