计算机程序的思惟逻辑 (24) - 异常 (上)

本系列文章经补充和完善，已修订整理成书《Java编程的逻辑》（马俊昌著），由机械工业出版社华章分社出版，于2018年1月上市热销，读者好评如潮！各大网店和书店有售，欢迎购买：京东自营连接

以前咱们介绍的基本类型、类、接口、枚举都是在表示和操做数据，操做的过程当中可能有不少出错的状况，出错的缘由多是多方面的，有的是不可控的内部缘由，好比内存不够了、磁盘满了，有的是不可控的外部缘由，好比网络链接有问题，更多的多是程序的编程错误，好比引用变量未初始化就直接调用实例方法。

这些非正常状况在Java中统一被认为是异常，Java使用异常机制来统一处理，因为内容较多，咱们分为两节来介绍，本节介绍异常的初步概念，以及异常类自己，下节主要介绍异常的处理。

咱们先来经过一些例子认识一下异常。

初始异常

NullPointerException (空指针异常)

咱们来看段代码：

public class ExceptionTest {
    public static void main(String[] args) {
        String s = null;
        s.indexOf("a");
        System.out.println("end");
    }
}
复制代码

变量s没有初始化就调用其实例方法indexOf，运行，屏幕输出为：

Exception in thread "main" java.lang.NullPointerException
    at ExceptionTest.main(ExceptionTest.java:5)
复制代码

输出是告诉咱们：在ExceptionTest类的main函数中，代码第5行，出现了空指针异常(java.lang.NullPointerException)。

但，具体发生了什么呢？当执行s.indexOf("a")的时候，Java系统发现s的值为null，没有办法继续执行了，这时就启用异常处理机制，首先建立一个异常对象，这里是类NullPointerException的对象，而后查找看谁能处理这个异常，在示例代码中，没有代码能处理这个异常，Java就启用默认处理机制，那就是打印异常栈信息到屏幕，并退出程序。

在介绍函数调用原理的时候，咱们介绍过栈，异常栈信息就包括了从异常发生点到最上层调用者的轨迹，还包括行号，能够说，这个栈信息是分析异常最为重要的信息。

Java的默认异常处理机制是退出程序，异常发生点后的代码都不会执行，因此示例代码中最后一行System.out.println("end")不会执行。

NumberFormatException (数字格式异常)

咱们再来看一个例子，代码以下：

public class ExceptionTest {
    public static void main(String[] args) {
        if(args.length<1){
            System.out.println("请输入数字");
            return;
        }
        int num = Integer.parseInt(args[0]);
        System.out.println(num);
    }
}
复制代码

args表示命令行参数，这段代码要求参数为一个数字，它经过Integer.parseInt将参数转换为一个整数，并输出这个整数。参数是用户输入的，咱们没有办法强制用户输入什么，若是用户输的是数字，好比123，屏幕会输出123，但若是用户输的不是数字，好比abc，屏幕会输出：

Exception in thread "main" java.lang.NumberFormatException: For input string: "abc"
    at java.lang.NumberFormatException.forInputString(NumberFormatException.java:65)
    at java.lang.Integer.parseInt(Integer.java:492)
    at java.lang.Integer.parseInt(Integer.java:527)
    at ExceptionTest.main(ExceptionTest.java:7)
复制代码

出现了异常NumberFormatException。这个异常是怎么产生的呢？根据异常栈信息，咱们看相关代码：

这是NumberFormatException类65行附近代码：

64 static NumberFormatException forInputString(String s) {
65     return new NumberFormatException("For input string: \"" + s + "\"");
66 }
复制代码

这是Integer类492行附近代码：

490 digit = Character.digit(s.charAt(i++),radix);
491 if (digit < 0) {
492     throw NumberFormatException.forInputString(s);
493 }
494 if (result < multmin) {
495     throw NumberFormatException.forInputString(s);
496 }
复制代码

将这两处合为一行，主要代码就是：

throw new NumberFormatException(...)
复制代码

new NumberFormatException(...)是咱们容易理解的，就是建立了一个类的对象，只是这个类是一个异常类。throw是什么意思呢？就是抛出异常，它会触发Java的异常处理机制。在以前的空指针异常中，咱们没有看到throw的代码，能够认为throw是由Java虚拟机本身实现的。

throw关键字能够与return关键字进行对比，return表明正常退出，throw表明异常退出，return的返回位置是肯定的，就是上一级调用者，而throw后执行哪行代码则常常是不肯定的，由异常处理机制动态肯定。

异常处理机制会从当前函数开始查找看谁"捕获"了这个异常，当前函数没有就查看上一层，直到主函数，若是主函数也没有，就使用默认机制，即输出异常栈信息并退出，这正是咱们在屏幕输出中看到的。

对于屏幕输出中的异常栈信息，程序员是能够理解的，但普通用户没法理解，也不知道该怎么办，咱们须要给用户一个更为友好的信息，告诉用户，他应该输入的是数字，要作到这一点，咱们须要本身"捕获"异常。

"捕获"是指使用try/catch关键字，咱们看捕获异常后的示例代码：

public class ExceptionTest {
    public static void main(String[] args) {
        if(args.length<1){
            System.out.println("请输入数字");
            return;
        }
        try{
            int num = Integer.parseInt(args[0]);
            System.out.println(num);    
        }catch(NumberFormatException e){
            System.err.println("参数"+args[0]
                    +"不是有效的数字，请输入数字");
        }
    }
}
复制代码

咱们使用try/catch捕获并处理了异常，try后面的大括号{}内包含可能抛出异常的代码，括号后的catch语句包含能捕获的异常和处理代码，catch后面括号内是异常信息，包括异常类型和变量名，这里是NumberFormatException e，经过它能够获取更多异常信息，大括号{}内是处理代码，这里输出了一个更为友好的提示信息。

捕获异常后，程序就不会异常退出了，但try语句内异常点以后的其余代码就不会执行了，执行完catch内的语句后，程序会继续执行catch大括号外的代码。

这样，咱们就对异常有了一个初步的了解，异常是相对于return的一种退出机制，能够由系统触发，也能够由程序经过throw语句触发，异常能够经过try/catch语句进行捕获并处理，若是没有捕获，则会致使程序退出并输出异常栈信息。异常有不一样的类型，接下来，咱们来认识一下。

异常类

Throwable

NullPointerException和NumberFormatException都是异常类，全部异常类都有一个共同的父类Throwable，它有4个public构造方法：

1. public Throwable()
2. public Throwable(String message)
3. public Throwable(String message, Throwable cause)
4. public Throwable(Throwable cause)

有两个主要参数，一个是message，表示异常消息，另外一个是cause，表示触发该异常的其余异常。异常能够造成一个异常链，上层的异常由底层异常触发，cause表示底层异常。

Throwable还有一个public方法用于设置cause：

Throwable initCause(Throwable cause) 复制代码

Throwable的某些子类没有带cause参数的构造方法，就能够经过这个方法来设置，这个方法最多只能被调用一次。

全部构造方法中都有一句重要的函数调用：

fillInStackTrace();
复制代码

它会将异常栈信息保存下来，这是咱们能看到异常栈的关键。

Throwable有一些经常使用方法用于获取异常信息：

void printStackTrace() 复制代码

打印异常栈信息到标准错误输出流，它还有两个重载的方法：

void printStackTrace(PrintStream s) void printStackTrace(PrintWriter s) 复制代码

打印栈信息到指定的流，关于PrintStream和PrintWriter咱们后续文章介绍。

String getMessage() Throwable getCause() 复制代码

获取设置的异常message和cause

StackTraceElement[] getStackTrace()
复制代码

获取异常栈每一层的信息，每一个StackTraceElement包括文件名、类名、函数名、行号等信息。

异常类体系

以Throwable为根，Java API中定义了很是多的异常类，表示各类类型的异常，部分类示意以下：

Throwable是全部异常的基类，它有两个子类Error和Exception。

Error表示系统错误或资源耗尽，由Java系统本身使用，应用程序不该抛出和处理，好比图中列出的虚拟机错误(VirtualMacheError)及其子类内存溢出错误(OutOfMemoryError)和栈溢出错误(StackOverflowError)。

Exception表示应用程序错误，它有不少子类，应用程序也能够经过继承Exception或其子类建立自定义异常，图中列出了三个直接子类：IOException(输入输出I/O异常)，SQLException(数据库SQL异常)，RuntimeException(运行时异常)。

RuntimeException(运行时异常)比较特殊，它的名字有点误导，由于其余异常也是运行时产生的，它表示的实际含义是unchecked exception (未受检异常)，相对而言，Exception的其余子类和Exception自身则是checked exception (受检异常)，Error及其子类也是unchecked exception。

checked仍是unchecked，区别在于Java如何处理这两种异常，对于checked异常，Java会强制要求程序员进行处理，不然会有编译错误，而对于unchecked异常则没有这个要求。下节咱们会进一步解释。

RuntimeException也有不少子类，下表列出了其中常见的一些：

异常	说明
NullPointerException	空指针异常
IllegalStateException	非法状态
ClassCastException	非法强制类型转换
IllegalArgumentException	参数错误
NumberFormatException	数字格式错误
IndexOutOfBoundsException	索引越界
ArrayIndexOutOfBoundsException	数组索引越界
StringIndexOutOfBoundsException	字符串索引越界

这么多不一样的异常类其实并无比Throwable这个基类多多少属性和方法，大部分类在继承父类后只是定义了几个构造方法，这些构造方法也只是调用了父类的构造方法，并无额外的操做。

那为何定义这么多不一样的类呢？主要是为了名字不一样，异常类的名字自己就表明了异常的关键信息，不管是抛出仍是捕获异常时，使用合适的名字都有助于代码的可读性和可维护性。

自定义异常

除了Java API中定义的异常类，咱们也能够本身定义异常类，通常经过继承Exception或者它的某个子类，若是父类是RuntimeException或它的某个子类，则自定义异常也是unchecked exception，若是是Exception或Exception的其余子类，则自定义异常是checked exception。

咱们经过继承Exception来定义一个异常，代码以下：

public class AppException extends Exception {
    public AppException() {
        super();
    }

    public AppException(String message, Throwable cause) {
        super(message, cause);
    }

    public AppException(String message) {
        super(message);
    }

    public AppException(Throwable cause) {
        super(cause);
    }
}
复制代码

和不少其余异常类同样，咱们没有定义额外的属性和代码，只是继承了Exception，定义了构造方法并调用了父类的构造方法。

小结

本节，咱们经过两个例子对异常作了基本介绍，介绍了try/catch和throw关键字及其含义，同时介绍了Throwable以及以它为根的异常类体系。

下一节，让咱们进一步探讨异常。

---

未完待续，查看最新文章，敬请关注微信公众号“老马说编程”(扫描下方二维码)，深刻浅出，老马和你一块儿探索Java编程及计算机技术的本质。用心原创，保留全部版权。