异常类体系
Throwable是所有异常的基类,它有两个子类:Error和Exception。
Error表示系统错误或资源耗尽, 由Java系统自己使用,应用程序不应抛出和处理。比如图中列出的虚拟机错误(VirtualMacheError)及其子类内存溢出错误(OutOfMemoryError)和栈溢出错误(StackOverflowError)。
Exception表示应用程序错误, 它有很多子类,应用程序也可以通过继承Exception或其子类创建自定义异常,图中列出了三个直接子类:IOException(输入输出I/O异常),SQLException(数据库SQL异常),RuntimeException(运行时异常)。
RuntimeException(运行时异常)比较特殊,因为其他异常也是运行时产生的,它表示的实际含义是unchecked exception (未受检异常),相对而言,Exception的其他子类和Exception自身则是checked exception (受检异常),Error及其子类也是未受检异常。
-
受检异常:
受检异常必须出现在throws语句中,调用者必须处理,Java编译器会强制这一点,而未受检异常则没有这个要求。
(受检异常表示程序本身没问题,但由于I/O、网络、数据库等其他不可预测的错误导致的异常,调用者应该进行适当处理。) -
未受检异常:
未受检异常表示编程的逻辑错误,比如空指针异常。
(出现这种异常,程序员应该检查程序代码的bug而不是想办法处理这种异常。)
自定义异常:
除了Java API中定义的异常类,我们也可以自己定义异常类,一般通过继承Exception或者它的某个子类,如果父类是RuntimeException或它的某个子类,则自定义异常也是未受检异常;如果是Exception或Exception的其他子类,则自定义异常是受检异常。
finally:
- 如果没有异常发生,在try内的代码执行结束后执行。
- 如果有异常发生且被catch捕获,在catch内的代码执行结束后执行。
- 如果有异常发生但没被捕获,则在异常被抛给上层之前执行。
<mark>拓展</mark>:由于finally的这个特点,它一般用于释放资源,如数据库连接、文件流等。
finally细节:
如果在try或者catch语句内有return语句,则return语句在finally语句执行结束后才执行,但finally并不能改变返回值。
看如下代码:
public static int test() {
int ret = 0;
try {
return ret;
}finally {
ret = 2;
}
}
这个函数的返回值是0,而不是2。
实际的执行过程是:在执行到try内的return ret;语句前,会先将返回值ret保存在一个临时变量中,然后才执行finally语句,最后try再返回那个临时变量,finally中对ret的修改不会被返回。
如果在finally中也有return语句呢?
try和catch内的return会丢失,实际会返回finally中的返回值。finally中有return不仅会覆盖try和catch内的返回值,还会掩盖try和catch内的异常,就像异常没有发生一样,比如说:
public static int test() {
int ret = 0;
try {
int a = 5/0;
return ret;
}finally {
return 2;
}
}
以上代码中,5/0会触发ArithmeticException,但是finally中有return语句,这个方法就会返回2,而不再向上传递异常了。
finally中不仅return语句会掩盖异常,如果finally中抛出了异常,则原异常就会被掩盖,看下面代码:
public static int test() {
try {
int a = 5/0;
}finally {
throw new RuntimeException("hello world");
}
}
finally中抛出了RuntimeException,则原异常ArithmeticException就丢失了。
所以,一般而言,为避免混淆,应该避免在finally中使用return语句或者抛出异常,如果调用的其他代码可能抛出异常,则应该捕获异常并进行处理。
throw:
throw代表异常退出;就是抛出异常,它会触发Java的异常处理机制。
throws:
throws跟在方法的括号后面,可以声明多个异常,以逗号分隔。这个声明的含义是说,我这个方法内可能抛出这些异常,我没有进行处理,至少没有处理完,调用者必须进行处理。
这个声明没有说明具体什么情况会抛出什么异常,作为一个良好的实践,应该将这些信息用注释的方式进行说明,这样调用者才能更好的处理异常。