学习异常处理-java编译器推断throw抛出异常对象的类型

 

九 使用throw手动抛出异常
    用法: throw new Exception("使用throw手动抛出异常");
    注意:
    1 只能抛出运行时异常
    2 java7开始 java编译器可以检查throw语句抛出的异常的类型,并提示提示警告出来
    实际上是,java编译器检查出的是捕捉异常对象时的编译类型,而不是实际类型
    解释: java编译器保存了异常对象a在捕捉时的编译类型A,如果throw手动抛出该对象时,则在编译时提示要处理该异常对象a,并显示出它的类型信息A
        如果有人在异常对象被捕捉前将类型A转为B类型.则java编译器检查异常对象为捕捉类型B.
        当然没人吃饱了饭这样干,去强转异常对象的类型.我们还是正常理解java编译器可以检查throw语句抛出的异常的类型就可以了.

//如下两个例子证明一下上面第2个结论

public static void main(String[] args)  {
    try {
        throw  new FileNotFoundException("FileNotFoundException异常");
    } catch (Exception e) {
        throw  e;
    }
}

控制台报错如下:
java: 未报告的异常错误java.io.FileNotFoundException; 必须对其进行捕获或声明以便抛出
//以上说明java编译器成功检查出throw抛出异常对象的类型为FileNotFoundException

 

public static void main(String[] args)  {
    try {
        //FileNotFoundException异常对象转为父类类型IOException
        throw (IOException) new FileNotFoundException("FileNotFoundException异常");
    } catch (Exception e) {
        throw  e;
    }
}

控制台报错如下:
java: 未报告的异常错误java.io.IOException; 必须对其进行捕获或声明以便抛出
//上面FileNotFoundException异常对象转为父类类型IOException
//java编译器检查出throw抛出异常对象的类型为java.io.IOException,
//很显然,java编译器检查出的是捕捉异常对象时的编译类型,而不是实际类型