无法访问的返回语句仍然抛出错误

Question

我有这个非常简单的代码sn-p：

static String getInput() throws IOException{
  if(in.ready()){
      return in.readLine().trim();
  }
  System.err.println("Please provide more input in order to execute the program.");
  System.exit(0);
  return "";
}

据我所知，JVM 不可能在代码末尾执行 return 语句。但是如果我注释掉这一行，java 会抱怨缺少 return 语句。为什么 JVM 不能识别 System.exit(0) 不允许执行任何其他代码，但如果 return 不允许执行代码，则会抱怨无法访问的语句？ 我认为最后的 return 语句是多余的，可能会让其他开发人员感到困惑，那么为什么 java 不让我摆脱它呢？

Answer 1

为什么 JVM 不能识别 System.exit(0) 将不允许执行任何其他代码，但如果 return 不允许执行代码，则会抱怨无法访问的语句？

这不是 JVM - 它是 编译器。而且编译器不知道 library 调用会做什么——它只知道 language 规则。 （特别是JLS section 14.21, Unreachable Statements。）

例如：

public int foo() {
    alwaysThrow();
    // This is required.
    return 10;
}

private static void alwaysThrow() {
    throw new RuntimeException();
}

对

public int foo() {
    throw new RuntimeException();
    // Error: unreachable statement
    return 10;
}

就编译器而言，简单的内联改变了代码的含义。

这可以通过返回类型“从不”来“修复”——表示“此方法永远不会正常返回——它要么挂起要么抛出异常”，但这根本不是语言的一部分（并且会有自己的并发症）。如果您有兴趣，Eric Lippert 有几篇关于 C# 主题的博文（位置类似）：part one、part two。