为什么在某些情况下重新扔一个可扔的东西是合法的，而不需要声明？

Question

我希望下面的代码在throw t；上引发一个编译时错误，因为main没有声明为throwthrowable，但它编译成功（在Java 1.7.0_45中），并生成您希望的输出，如果该编译时错误得到修复的话。

public class Test {
    public static void main(String[] args) {
        try {
            throw new NullPointerException();

        } catch(Throwable t) {
            System.out.println("Caught "+t);
            throw t;
        }
    }
}

如果throwable更改为exception,它也会进行编译。

这并不像预期的那样编译：

public class Test {
    public static void main(String[] args) {
        try {
            throw new NullPointerException();

        } catch(Throwable t) {
            Throwable t2 = t;
            System.out.println("Caught "+t2);
            throw t2;
        }
    }
}

这将编译：

public class Test {
    public static void main(String[] args) {
        try {
            throwsRuntimeException();

        } catch(Throwable t) {
            System.out.println("Caught "+t);
            throw t;
        }
    }

    public static void throwsRuntimeException() {
        throw new NullPointerException();
    }
}

这并不是：

public class Test {
    public static void main(String[] args) {
        try {
            throwsCheckedException();

        } catch(Throwable t) {
            System.out.println("Caught "+t);
            throw t;
        }
    }

    public static void throwsCheckedException() {
        throw new java.io.IOException();
    }
}

public class Test {
    public static void main(String[] args) throws java.io.IOException {
        try {
            throwsIOException();

        } catch(Throwable t) {
            System.out.println("Caught "+t);
            throw t;
        }
    }

    public static void throwsIOException() throws java.io.IOException {
        throw new java.io.IOException();
    }
}

public class Test {
    public static void main(String[] args) {
        try {
            try {
                throwsIOException();

            } catch(Throwable t) {
                System.out.println("Caught "+t);
                throw t;
            }
        } catch(java.io.IOException e) {
            System.out.println("Caught IOException (outer block)");
        }
    }

    public static void throwsIOException() throws java.io.IOException {
        throw new java.io.IOException();
    }
}

Answer 1

JLS 11.2.2（重点是地雷）对此作了规定：

抛出的表达式是catch子句C的final或实际上是final异常参数的throw语句可以抛出异常类E。iff：

>

E是声明C的try语句的try块可以抛出的异常类；而且

这就是为什么他们会特地说出一个最终的或者实际上是最终的异常参数--如果您的示例中的t被重新分配，那么分析就会消失。