java - "Method must return a result"调用另一个只抛出异常的方法时

Question

boolean method(int value) {
    switch(value) {
    case 0:
        return false;
    case 1:
        return true;
    default:
        Assert.fail("Unhandled value.");
    }
}

尽管 Assert.fail() 除了抛出一个 AssertionError 什么也没做，但编译失败并出现错误“方法必须返回一个结果”。如果我自己抛出一个 AssertionError 而不是调用 Assert.fail() 它会编译。

Answer 1

编译器无法知道 Assert.fail 将总是 抛出异常，除非它深入研究该方法的字节码并执行某种操作对其进行静态分析(一旦你开始这类事情，你会在哪里停止？)。 Java 语言规范声明 ( section 8.4.7 )

If a method is declared to have a return type, then a compile-time error occurs if the body of the method can complete normally (§14.1).

在您的示例中“可以正常完成”归结为 ( section 14.21 )

A non-empty block that is not a switch block can complete normally iff the last statement in it can complete normally.

方法中的最后一条语句是 switch 语句:

A switch statement can complete normally iff at least one of the following is true:

[...]

• The last statement in the switch block can complete normally.

switch 中的最后一个语句是一个表达式语句(一个方法调用)

An expression statement can complete normally iff it is reachable.

即规范明确指出编译器不应查看任何方法调用内部，并且任何方法调用表达式必须被视为可以正常完成。

同一节还定义了

A break, continue, return, or throw statement cannot complete normally.

所以为了让编译器满意，你需要在方法的末尾添加一个 return 或 throw

// will never be reached
throw new Error();

我个人会去试一试，并附上一条评论，说明如果达到这条线，就会出现严重错误...