强行为子类型化中的抛出异常

在学习(strong) behavioral subtyping 注意到了这一点。
重写的方法能够抛出任何非强制异常，无论被重写的方法是否抛出异常。但是，重写的方法不能抛出新的强制性异常，或者比被重写方法声明的更广泛的强制性异常，反之则可以。即可以抛出父类异常的派生异常。
这里的提到的强制性异常(CheckedException)和非强制性异常(UncheckedException)。java中除了RuntimeException外，都是强制性异常。
强制性异常：所谓强制性异常就是在编写程序的过程中必需在抛出异常的部分try catch 或者向上throws异常。比如文件不存在，越过了文件的终止符。他们不进行处理就无法通过编译。
非强制性异常：非强制性异常和上面相反。可以try catch或者thows，但是不建议这样做，更好的选择是自己处理。比如：空指针，数组越界，调用不存在的类，强制类型转换的错误等。不处理可以通过编译，但是运行时会出错。因此他也被称为运行时异常。