Java编译器错误处理是否考虑实际类型？附代码运行疑问

嘿，这俩问题问到点子上了，刚好涉及Java异常处理里一个容易被忽略的编译器特性，我来给你掰扯清楚～

得分两种情况来看：

• 大多数编译时检查场景下，Java编译器是基于静态类型做判断的，不会直接考虑异常的实际运行时类型。比如你写Throwable t = new NullPointerException()，编译器只会把t当成Throwable类型处理，不会主动识别它实际是NullPointerException。
• 但有个关键例外：在catch块中重新抛出异常的场景下，从Java 7开始，编译器会开启异常类型的精确推断。它会结合try块中实际可能抛出的异常类型，以及catch变量的上下文，推断出重新抛出的异常的实际可能类型，而不是单纯依赖catch变量的静态类型。

先把代码贴出来方便分析：

class blah{
    public void someMethod(){
        try{
            throw new NullPointerException();
        } catch(Throwable t){
            System.out.println("Caught!");
            throw t;
        }
    }
}

这段代码能正常编译运行，核心就是Java 7引入的重新抛出异常的智能推断机制：

1. 编译器能精准分析出try块里只会抛出NullPointerException——因为代码里明确写了throw new NullPointerException()，没有其他可能抛出异常的逻辑。
2. 虽然catch块里的变量t静态类型是Throwable，但编译器通过上下文能确定：重新抛出的t实际只能是NullPointerException。而NullPointerException属于RuntimeException（运行时异常），根据Java规则，运行时异常不需要在方法签名里声明throws。
3. 要是放在Java 6及以前，编译器就没这么聪明了：它会认为你抛出的是Throwable（静态类型），而Throwable是受检异常，必须在方法签名里加throws Throwable，否则直接编译报错。但Java 7之后的编译器能识别实际抛出的异常类型，所以这段代码不用声明throws也能正常跑起来。

内容的提问来源于stack exchange，提问作者david benzaquen