一、基本概念
Java中Exception可以被分为两个部分,蓝色的运行时异常和绿色的其他异常。
运行时异常:由程序员在代码里处理不当造成,在源代码中引入了故障,而如果在代码中提前进行验证,这些故障就可以避免。动态类型检查的时候会发现这种异常,而一旦出现,代码就必然有错误,可以通过调试解决。
其他异常:由外部原因造成,程序员无法完全控制的外在问题所导致的,即使在代码中提前加以验证,也无法完全避免失效发生
在java中有三种处理机制:
Declaring exceptions (throws)声明“本方法可能会发生XX异常”
Throwing an exception (throw)抛出XX异常
Catching an exception (try, catch, finally) 捕获并处理XX异常
二、Checked 和 Unchecked Exceptions区别
checked exception:如果客户端可以通过其他的方法恢复异常,而对开发者来说错误可预料但不可预防,它的出现已经脱离了程序能够掌控的范围。
unchecked exception:如果客户端对出现的这种异常无能为力,而对开发者来说错误可预料可预防,它可以通过调整程序来避免出现。
三、 Checked异常的处理机制
1.自定义异常类
可以选择创建自定义异常类型
2.声明异常 & 抛出异常
使用throw关键字抛出异常,如:throw new EOFException();
3.捕获异常 & 处理异常
可以使用try-catch语法对抛出的异常进行处理,也可以用throws语法将异常抛给上一级调用,然后在上一级中使用try-catch处理。
在try-catch后可以添加finally
Finally
处理异常时释放资源:当异常抛出时,方法中正常执行的代码被终止,如果异常发生前曾申请过某些资源,那么异常发生后这些资源要被恰当的清理。
所以形成了try-catch-finally结构。不管程序是否碰到异常,finally都会被执行。
LSP 与异常
如果子类型中override了父类型中的方法,那么子类型中方法抛出的异常不能比父类型抛出的异常类型更宽泛,异常不能逆变
子类型方法可以抛出更具体的异常,也可以不抛出任何异常,异常可以协变
如果父类型的方法未抛出异常,那么子类型的方法也不能抛出异常