异常处理（Java）

认识异常

异常是指程序运行过程中出现的一种错误

• 编译期：在编译过程中，如果编译通过，一定不存在编译错误
• 运行期：在运行过程中，如果你现在没错误，不代表后面就没错误；你的机器没错误，不代表别人机器没错误

异常的种类有很多，分别代表着不同含义， 一旦出现某个异常，此时这个异常的意义是明确的，明确告诉程序猿异常的原因

防御式编程

LBYL: Look Before You Leap. 在操作之前就做充分的检查.检查完上一步之后，再来做下一步的操作，如果上一步失败，就不会继续执行了

EAFP: It’s Easier to Ask Forgiveness than Permission. “事后获取原谅比事前获取许可更容易”. 也就是先操作, 遇到问题再处理

LBYL 风格的伪代码

boolean ret = false;
ret = 登陆游戏();
if (!ret) {
处理登陆游戏错误;
return;
}
ret = 开始匹配();
if (!ret) {
处理匹配错误;
return;
}
ret = 游戏确认();
if (!ret) {
处理游戏确认错误;
return;
}
ret = 选择英雄();
if (!ret) {
处理选择英雄错误;
return;
}
ret = 载入游戏画面();
if (!ret) {
处理载入游戏错误;
return;
}
......

EAFP 风格的伪代码

try {
登陆游戏();
开始匹配();
游戏确认();
选择英雄();
载入游戏画面();
...
} catch (登陆游戏异常) {
处理登陆游戏异常;
} catch (开始匹配异常) {            
处理开始匹配异常;
} catch (游戏确认异常) {
处理游戏确认异常;
} catch (选择英雄异常) {
处理选择英雄异常;
} catch (载入游戏画面异常) {
处理载入游戏画面异常;
}
......

如果执行到某一步出错，就会抛出异常，一旦抛出异常，就会catch这样的代码中执行异常处理

异常的基本用法

异常的具体语法：
主要涉及到这几个关键字：

• try：try语句块中放置可能会抛出异常的代码
• catch：catch语句块中放置用来处理异常的代码，try和catch往往要搭配使用，当try中出现异常的时候，就会进入catch中执行
• throw：主动抛出一个异常对象（java 的异常本质就是一个一个对象）
• throws：某个方法可能会抛出异常
• finally： 一般用于异常处理完毕的收尾（在try catch 中无论是否触发异常一定会执行）

示例1 如果代码中出现了异常，并且没有使用 try catch 异常就会由 JVM 自己来处理，程序就会直接被终止

int[] arr = null;
System.out.println(arr[0]);

// 运行结果
Exception in thread "main" java.lang.NullPointerException
	at Homework.Test0201.main(Test0201.java:6)

示例2 代码中使用 try 把可能抛出异常的代码包裹起来，使用 catch 来处理这样的异常

try {
    System.out.println("try 中异常之前的代码");
    int[] arr = null;
    System.out.println(arr[0]);
    System.out.println("try 中异常之后的代码");
} catch (NullPointerException e) {
    System.out.println("catch 中的代码");
    e.printStackTrace();
}

// 运行结果
try 中异常之前的代码
catch 中的代码
java.lang.NullPointerException
	at Homework.Test0201.main(Test0201.java:8)

try catch 的执行顺序

1. 先执行try中的代码（按顺序执行）
2. 执行try中代码的过程中，如果出现异常，就会进入到catch执行，try中剩余的代码就不会再执行了
3. 当catch也执行完毕之后，就会继续执行后续的代码，程序没有异常就终止

调用栈
方法之间是存在相互调用关系的, 这种调用关系我们可以用 “调用栈” 来描述. 在 JVM 中有一块内存空间称为 “虚拟机栈” 专门存储方法之间的调用关系. 当代码中出现异常的时候, 我们就可以使用 e.printStackTrace() 的方式查看出现异常代码的调用栈.

示例3 catch 中的异常类型需要和抛出的异常类型匹配，才能够正确的处理，否则执行不到 catch 中的逻辑

try {
    System.out.println("try 中异常之前的代码");
    int[] arr = {1, 2, 3};
    System.out.println(arr[10]);
    System.out.println("try 中异常之后的代码");
} catch (NullPointerException e) {
    System.out.println("catch 中的代码");
    e.printStackTrace();
}

// 运行结果
Exception in thread "main" java.lang.ArrayIndexOutOfBoundsException: 10
	at Homework.Test0201.main(Test0201.java:8)

注意： 如果 try 中抛出的异常类型和 catch 中声明的异常类型不匹配，此时 catch 中的代码就不会执行

示例4 如果 try 中可能抛出多种异常类的话，也就需要多个 catch 的 语句来处理 （1个 try 可以对应 N 个 catch ）

try {
    System.out.println("try 中异常之前的代码");
    int[] arr = {1, 2, 3};
    System.out.println(arr[10]);
    System.out.println("try 中异常之后的代码");
} catch (NullPointerException e) {
    System.out.println("catch 空指针异常");
} catch (ArrayIndexOutOfBoundsException e) {
    System.out.println("catch 数组下标越界异常");
}

// 运行结果
try 中异常之前的代码
catch 数组下标越界异常

多个 catch 之间就和分支语句结构一样

示例5 可以使用一个 catch 语句来铺货多个异常

假设我们程序对于以上两种异常的处理逻辑是一样的话，就可以这么做

try {
    System.out.println("try 中异常之前的代码");
    int[] arr = {1, 2, 3};
    System.out.println(arr[10]);
    System.out.println("try 中异常之后的代码");
} catch (NullPointerException | ArrayIndexOutOfBoundsException e) {
    System.out.println("catch 异常");
}

// 运行结果
try 中异常之前的代码
catch 异常

使用 | 就可以把多个异常类型并列起来，相当于“逻辑或”，抛出这若干个异常中的任何一个，都会触发 catch

更简单的写法

try {
    System.out.println("try 中异常之前的代码");
    int[] arr = {1, 2, 3};
    System.out.println(arr[10]);
    System.out.println("try 中异常之后的代码");
} catch (Exception e) {
    System.out.println("catch 异常");
}

示例6 finally 里面一般用来放一些“收尾”/“善后”的工作

try {
    System.out.println("try 中异常之前的代码");
    int[] arr = {1, 2, 3};
    System.out.println(arr[0]);
    System.out.println("try 中异常之后的代码");
} catch (NullPointerException | ArrayIndexOutOfBoundsException e) {
    System.out.println("catch 异常");
} finally {
    // finally 中的逻辑无论前面的代码是否触发异常，都会执行
    System.out.println("finally");
}

// 运行结果
try 中异常之前的代码
1
try 中异常之后的代码
finally

例如文件操作：需要先打开，再使用，用完后再关闭，文件关闭操作就可以放到 finally 中
再例如：多线程代码中经常涉及加锁，加锁之后，要记着解锁。如果由于抛出异常导致没有执行到解锁操作可能就会出现死锁问题，也就可以把解锁操作也放到 finally 中

实例7 try 负责回收资源

try (Scanner scanner = new Scanner(System.in)){
    // 使用 Scanner 进行若干操作
} catch (Exception e) {
    System.out.println("catch 异常");
}

当 try catch 代码块执行完毕后，就会自动针对 Scanner 进行关闭

Scanner scanner = null;
try {
    scanner = new Scanner(System.in);
    return ;
} catch (Exception e) {
    System.out.println("catch 异常");
}
scanner.close();

如果 try 中没有抛出异常，并且执行到了 return ，此时 close 操作就执行不到了，如果改成 finally ，即使 try catch 没有 return ，也能保证执行到 close

实例8 如果当前 catch 中没有匹配的 catch ，异常就会沿着调用栈，向上传递

    try {
        func1();
    } catch (ArrayIndexOutOfBoundsException e) {
        System.out.println("catch 异常");
    }
public static void func1() {
    int [] a = {1, 2, 3};
    System.out.println(a[10]);
}

// 执行结果
catch 异常
Exception in thread "main" java.lang.NullPointerException
	at Homework.Test0201.main(Test0201.java:13)

实例9 如果异常向上传递过程中，一直到了最上面之后也没来 catch ，此时就会回到实例1，相当于没有合适的代码来 catch 异常，此时异常就会有 JVM 自己的来处理。JVM 的异常处理行为就是打印异常调用栈，并且终止程序执行

一旦try中出现异常，那么try代码块中程序就不会继续执行，而交给catch中的代码来执行，catch执行完毕继续往下执行

异常处理流程

• 程序先执行 try 中的代码
• 如果 try 中的代码出现异常, 就会结束 try 中的代码, 看和 catch 中的异常类型是否匹配.
• 如果找到匹配的异常类型, 就会执行 catch 中的代码
• 如果没有找到匹配的异常类型, 就会将异常向上传递到上层调用者.
• 无论是否找到匹配的异常类型, finally 中的代码都会被执行到(在该方法结束之前执行).
• 如果上层调用者也没有处理的了异常, 就继续向上传递
• 一直到 main 方法也没有合适的代码处理异常, 就会交给 JVM 来进行处理, 此时程序就会异常终止

抛出异常
除了 Java 内置的类会抛出一些异常外，程序猿也可以手动抛出某个异常，使用 throw 关键字

    try {
        Integer  ret = divide(10,0);
    } catch (ArithmeticException e) {
        e.printStackTrace();
    }
    
public static int divide(int x, int y) {
    if (y == 0) {
        throw new ArithmeticException("此处抛出一个算术异常");
    }
    return x / y;
}

异常说明
我们在处理异常的时候, 通常希望知道这段代码中究竟会出现哪些可能的异常.
我们可以使用 throws 关键字, 把可能抛出的异常显式的标注在方法定义的位置. 从而提醒调用者要注捕获这些异常。
例如上一个代码

public static int divide(int x, int y) throws ArithmeticException {
    if (y == 0) {
        throw new ArithmeticException("此处抛出一个算术异常");
    }
    return x / y;
}

• throw: 主动抛出异常，被抛出的异常，其实就是一个对象
• throws: 标注当前的方法，可能抛出的异常

finally的注意事项

public static void main(String[] args) {
System.out.println(func());
}
public static int func() {
try {
return 10;
} finally {
return 20;
}
}


// 执行结果
20

在 finally 中使用 return 要慎重

注意：
finally 执行的时机是在方法返回之前(try 或者 catch 中如果有 return 会在这个 return 之前执行 finally).但是如果 finally 中也存在 return 语句, 那么就会执行 finally 中的 return, 从而不会执行到 try 中原有的return

Java 的异常体系

描述 Java 标准库中提供的异常类都有哪些，并且分成哪几个类别

Error 是系统级别的异常，JVM 内部使用的，一般不使用
Exception 是应用级别的异常，

Java 语言规范将派生于 Error 类或 RuntimeException 类的所有异常成为非受查异常，其余异常称为受查异常

• 受查异常：如果某个方法用抛出异常，那么必须对这个异常进行显示处理（1. try catch ，2. 使用 throws 声明可能会抛出这个异常）
• 非受查异常：可以不显示处理