java - 为什么 Java 会出现 "unreachable statement"编译器错误？

Question

在调试程序时，我经常发现在代码块中插入 return 语句很方便(尽管可以说是不好的做法)。我可能会在 Java 中尝试这样的事情 ....

class Test {
        public static void main(String args[]) {
                System.out.println("hello world");
                return;
                System.out.println("i think this line might cause a problem");
        }
}

当然，这会产生编译器错误。

Test.java:7: unreachable statement

我可以理解为什么警告可能是正当的，因为有未使用的代码是不好的做法。但我不明白为什么这需要产生错误。

这只是 Java 试图成为 Nanny，还是有充分的理由让它成为编译器错误？

Answer 1

因为无法访问的代码对编译器来说毫无意义。虽然使代码对人们有意义比使其对编译器有意义更重要也更难，但编译器是代码的基本消费者。 Java 的设计者认为对编译器没有意义的代码是错误的。他们的立场是，如果你有一些无法访问的代码，你就犯了一个需要修复的错误。

这里有一个类似的问题:Unreachable code: error or warning? ，其中作者说“我个人强烈认为这应该是一个错误:如果程序员编写一段代码，它应该始终是为了在某些情况下实际运行它。”显然 Java 的语言设计者同意。

无法访问的代码是否应该阻止编译是一个永远不会达成共识的问题。但这就是 Java 设计者这样做的原因。

---

许多人在评论中指出，Java 不阻止编译有许多无法访问的代码类。如果我正确理解了 Gödel 的后果，那么任何编译器都不可能捕获所有无法访问的代码类。

单元测试无法捕捉到每一个错误。我们不会将此作为反对其值(value)的论据。同样，编译器无法捕获所有有问题的代码，但它仍然可以在可能的情况下防止错误代码的编译。

Java 语言设计者将无法访问的代码视为错误。所以在可能的情况下阻止它编译是合理的。

---

(在你投反对票之前:问题不在于 Java 是否应该有一个无法访问的语句编译器错误。问题是 为什么Java 有一个无法访问的语句编译器错误。不要仅仅因为你认为 Java 做出了错误的设计决定。)