1、异常分类

从产生源头来看,Java语言中的异常可以分为两类:

JVM抛出的异常。比如:访问null引用会引发NullPointerException;0作为除数,如9/0,JVM会抛出ArithmeticException;内存消耗完,申请分配失败,JVM会抛出OutOfMemoryError。

注意:这些JVM的异常也可以在java代码中显式抛出(尽管我们很少这么做,基本也没有必要),如下例子中的代码可以正常编译。

public class Test {
public static void main(String []args){
String s = null;
if (s == null) {
throw new NullPointerException("Exception: s should not be null");
}
throw new OutOfMemoryError();
}
}

除了JVM的异常,其他异常都是程序引起的,是程序中显式通过throw语句抛出的。

比如,在Long.parseLong(String s, int radix)的源码中包含如下代码:

if (s == null) {
throw new NumberFormatException("null");
}

也就是说,方法会抛出NumberFormatException异常。

一般情况下,jvm异常是由jvm抛出的,不会被开发者显式抛出。当然,也可以在程序中通过throw语句显式抛出jvm异常。如下:

if (s == null) {
throw new NullPointerException(“s can not be null”);
}

所有的jvm异常都是unchecked,而程序中的异常则unchecked和checked都有。

2、异常类的继承层次

Java语言中的类继承层次如下图:

Java异常层次

Throwable有两个子类Exception和Error。其中:

Exception是和应用相关的,NullPointerException出现在当试图访问空对象的时候,ClassCastException出现在试图转换不兼容的类型时。可以通过try catch语句捕获Exception之后处理,可以让程序恢复运行。

Error是和应用运行的环境相关的,比如OutOfMemoryError出现在jvm内存耗尽的时候、StackOverflowError出现在栈溢出的时候。正因为如此,程序基本不可能在Error发生时恢复,所以,Error不能被try catch语句处理。

从这个图中可以看出,类也分为Checked异常和Unchecked异常。

Checked异常是java编译器强制处理的异常,必须通过try catch语句捕获,或者通过throws语句抛出。如果显式不处理,就会编译报错。比如网络连接失败的时候,会抛出IOException,程序应该提前预料并对这个异常做出恰当的处理,比如在网络中断时重新传输文件,这样程序才不会因为异常终止运行,崩溃挂掉。

Unchecked异常通常是开发者代码逻辑错误造成的:如NullPointerException(通常在程序设计时通过检查引用是否为空避免);如一些是java.lang.Error的子类,在任何一个实例对象创建的时候都有可能发生OutOfMemoryError(但是,我们不可能在每一个创建对象实例的地方都用try catch捕获这个异常,因为这个异常是unchecked,在实际编程中也无需这么做)。通常来说,unchecked异常是无法预料,编译器无法检测的异常。

3、checked和unchecked异常

自定义的异常是checked,还是unchecked取决于继承的父类是checked异常,还是unchecked异常。

try catch块中catch的checked异常,必须在try块中有出现这种异常的可能性,不然编译不通过。但是,Throwable和Exception这两个类有些特殊,尽管他们是checked异常,不过,即使在try块中没有出现该异常的可能性,依然可以捕获它们。因为他们都有unchecked异常子类(如RuntimeException),编译器不检查unchecked异常,也就允许这样捕获unchecked异常。