java - 代码中显然有一个无法访问的语句但可以编译 - 为什么？

Question

这个问题在这里已经有了答案:





Throwing a RuntimeException, unreachable line

(1 个回答)


5年前关闭。




第 2 行的语句永远不会执行，但编译器不会提示:

class Test {

    public static void main(String[] args) throws Exception {
        throwE();
//        throw new Exception();  // Line 1
        doStuff();                // Line 2
    }

    static void throwE() throws Exception {
        System.out.println("Throwing an Exception");
        throw new Exception();
//        doStuff();              // Line 3
    }

    static void doStuff(){ System.out.println("Doing stuff"); }
}

另一方面，取消注释第 1 行或第 3 行会导致“unreachable statement”编译时错误。

我想知道为什么编译器如此不一致......

Answer 1

编译器不会分析任何方法调用(例如 throwE() )来确定它是否总是抛出异常，因为这不切实际。可能有 10 个(或 100 个)方法调用链，其中最后一个方法总是抛出异常。您是否仍希望编译器确定 throwE() 后面的任何语句？在这种情况下无法访问？

仅当当前方法总是直接抛出异常时，throw 语句之后的任何语句都被认为是不可达的。