1. 异常的体系结构
Throwable:是异常体系的顶层类,其派生出两个重要的子类, Error 和 Exception。
Error:指的是Java虚拟机无法解决的严重问题,比如:JVM的内部错误、资源耗尽等,典型代表:StackOverflowError和OutOfMemoryError。
Exception:异常产生后程序员可以通过代码进行处理,使程序继续执行。平时所说的异常就是Exception。
异常的分类:
编译时异常:在程序编译期间发生的异常,称为编译时异常,也称为受检查异常(Checked Exception)。
运行时异常:指的是程序已经编译通过得到class 文件了, 再由 JVM 执行过程中发生的异常,称为运行时异常,也称为非受检查异常(Unchecked Exception)。RunTimeException以及其子类对应的异常,都称为运行时异常。比如:NullPointerException、ArrayIndexOutOfBoundsException、ArithmeticException。
异常的处理:
防御式编程:LBYL: Look Before You Leap. 在操作之前就做充分的检查. 即:事前防御型。
EAFP: It’s Easier to Ask Forgiveness than Permission. “事后获取原谅比事前获取许可更容易”. 也就是先操作, 遇到问题再处理. 即:事后认错型。
异常处理主要的5个关键字:throw、try、catch、finally、throws。
异常的抛出throw:
抛出一个指定的异常对象,将错误信息告知给调用者。throw必须写在方法体内部,抛出的对象必须是Exception 或者 Exception 的子类对象,. 如果抛出的是 RunTimeException 或者 RunTimeException 的子类,则可以不用处理,直接交给JVM来处理,如果抛出的是编译时异常,用户必须处理,否则无法通过编译,异常一旦抛出,其后的代码就不会执行。
异常的捕获:异常声明throws 以及 try-catch捕获处理。
throws:处在方法声明时参数列表之后,当方法中抛出编译时异常,用户不想处理该异常,此时就可以借助throws将异常抛给方法的调用者来处理。即当前方法不处理异常,提醒方法的调用者处理异常。throws对异常并没有真正处理,而是将异常报告给抛出异常方法的调用者,由调用者处理。throws必须跟在方法的参数列表之后,声明的异常必须是 Exception 或者 Exception 的子类,方法内部如果抛出了多个异常,throws之后必须跟多个异常类型,用逗号隔开,如果抛出多个异常类型具有父子关系,直接声明父类即可。调用声明抛出异常的方法时,调用者必须对该异常进行处理,或者继续使用throws抛出。
try-catch捕获并处理:
try块内抛出异常位置之后的代码将不会被执行,异常是按照类型来捕获的,如果抛出异常类型与catch时异常类型不匹配,即异常不会被成功捕获,也就不会被处理,继续往外抛,直到JVM收到后中断程序。try中可能会抛出多个不同的异常对象,则必须用多个catch来捕获----即多种异常,多次捕获。
如果异常之间具有父子关系,一定是子类异常在前catch,父类异常在后catch,否则语法错误。可以通过一个catch捕获所有的异常,即多个异常,由于 Exception 类是所有异常类的父类. 因此可以用这个类型表示捕捉所有异常。
finally:有些特定的代码,不论程序是否发生异常,都需要执行,比如程序中打开的资源:网络连接、数据库,连接、IO流等,在程序正常或者异常退出时,必须要对资源进进行回收。另外,因为异常会引发程序的跳转,可能导致有些语句执行不到,finally就是用来解决这个问题的。finally中的代码一定会执行的,一般在finally中进行一些资源清理的扫尾工作。finally 执行的时机是在方法返回之前(try 或者 catch 中如果有 return 会在这个 return 之前执行 finally). 但是如果finally 中也存在 return 语句, 那么就会执行 finally 中的 return, 从而不会执行到 try 中原有的 return。
关于异常的处理方式:
对于比较严重的问题(例如和算钱相关的场景), 应该让程序直接崩溃, 防止造成更严重的后果。对于不太严重的问题(大多数场景), 可以记录错误日志, 并通过监控报警程序及时通知程序猿。对于可能会恢复的问题(和网络相关的场景), 可以尝试进行重试.。
异常的处理流程:
方法之间是存在相互调用关系的, 这种调用关系我们可以用 “调用栈” 来描述. 在 JVM 中有一块内存空间称为"虚拟机栈" 专门存储方法之间的调用关系,如果本方法中没有合适的处理异常的方式, 就会沿着调用栈向上传递,如果向上一直传递都没有合适的方法处理异常, 最终就会交给 JVM 处理, 程序就会异常终止。
程序先执行 try 中的代码,如果 try 中的代码出现异常, 就会结束 try 中的代码, 看和 catch 中的异常类型是否匹配,如果找到匹配的异常类型, 就会执行 catch 中的代码,如果没有找到匹配的异常类型, 就会将异常向上传递到上层调用者,无论是否找到匹配的异常类型, finally 中的代码都会被执行到(在该方法结束之前执行),如果上层调用者也没有处理的了异常, 就继续向上传递,一直到 main 方法也没有合适的代码处理异常, 就会交给 JVM 来进行处理, 此时程序就会异常终止。
自定义异常类:
具体方式:自定义异常类,然后继承自Exception 或者 RunTimeException,实现一个带有String类型参数的构造方法,参数含义:出现异常的原因。继承自 Exception 的异常默认是受查异常。继承自 RuntimeException 的异常默认是非受查异常,