编译器抱怨“缺少返回语句”，即使不可能达到缺少返回语句的条件

Question

在以下方法中，即使通过该方法只有一条路径，并且编译器包含一条语句，编译器也会抱怨
缺少returnreturn语句。抑制该错误需要另一条return语句。

public int foo() {
    if (true) {
        return 5;
    }
}

鉴于Java编译器可以识别无限循环，为什么它也不能处理这种情况？链接的问题提示，但不提供此特定情况的详细信息。

Answer 1

JLS14.21，“无法到达的语句”是处理此问题的部分：

if语句（是否具有else部分）以异常方式处理。因此，本节末尾将单独讨论。

最终，它与条件编译的处理方式有关。考虑以下方法：

public int foo() {
    if (DEBUG) {
        return 5;
    }
}

如果DEBUG是，static final boolean true;您可能会认为编译器应该足够聪明，以至于该方法将始终返回5。但是，如果将其更改为false，则该代码将不再有效。

该方法必须在 不更改源代码的情况下对 通过该方法的所有路径有效，从而允许优化的编译器忽略字节码而无需进行源修改，而与标志的值无关。

该链接JLS节的尽头去到显著的细节。