目录

一、异常的背景

初识异常

  • 除以 0
System.out.println(10 / 0);

// 执行结果
Exception in thread "main" java.lang.ArithmeticException: / by zero
  • 数组下标越界
int[] arr = {1, 2, 3};
System.out.println(arr[100]);

// 执行结果
Exception in thread "main" java.lang.ArrayIndexOutOfBoundsException: 100
  • 访问 null 对象
public class Test {
    public int num = 10;
    public static void main(String[] args) {
        Test t = null;
        System.out.println(t.num);
    }
}
// 执行结果
Exception in thread "main" java.lang.NullPointerException

  所谓异常指的就是程序在运行时出现错误时通知调用者的一种机制。

关键字 “运行时”
有些错误是这样的，例如将 System.out.println 拼写错了，写成了 system.out.println。此时编译过程中就会出错，这是 “编译期” 出错。
而运行时指的是程序已经编译通过得到 class 文件了，再由 JVM 执行过程中出现的错误。

防御式编程

  错误在代码中是客观存在的。因此我们要让程序出现问题的时候及时通知程序猿。我们有两种主要的方式。

  • LBYL: Look Before You Leap. 在操作之前就做充分的检查。
  • EAFP: It’s Easier to Ask Forgiveness than Permission. “事后获取原谅比事前获取许可更容易”。也就是先操作，遇到问题再处理。

   异常的核心思想就是EAFP 。

二、异常的基本用法

捕获异常

基本语法

try{ 
	有可能出现异常的语句 ; 
}[catch (异常类型 异常对象) {
} ... ]
[finally {
	异常的出口
}]
  • try 代码块中放的是可能出现异常的代码。
  • catch 代码块中放的是出现异常后的处理行为。
  • finally 代码块中的代码用于处理善后工作, 会在最后执行。
  • 其中 catch 和 finally 都可以根据情况选择加或者不加。

代码示例1——不处理异常

int[] arr = {1, 2, 3};
System.out.println("before");
System.out.println(arr[100]);
System.out.println("after");

// 执行结果
before
Exception in thread "main" java.lang.ArrayIndexOutOfBoundsException: 100

  我们发现一旦出现异常，程序就终止了 . after 没有正确输出。

代码示例2——使用 try catch 后的程序执行过程

int[] arr = {1, 2, 3};
try {
    System.out.println("before");
    System.out.println(arr[100]);
    System.out.println("after");
} catch (ArrayIndexOutOfBoundsException e) {
    // 打印出现异常的调用栈
    e.printStackTrace();
}
System.out.println("after try catch");

// 执行结果
before
java.lang.ArrayIndexOutOfBoundsException: 100
	at demo02.Test.main(Test.java:10)
after try catch

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

关于异常的处理方式

  异常的种类有很多，我们要根据不同的业务场景来决定。

  • 对于比较严重的问题（例如和算钱相关的场景），应该让程序直接崩溃，防止造成更严重的后果。
  • 对于不太严重的问题（大多数场景），可以记录错误日志，并通过监控报警程序及时通知程序猿。
  • 对于可能会恢复的问题（和网络相关的场景），可以尝试进行重试。

  在我们当前的代码中采取的是经过简化的第二种方式。我们记录的错误日志是出现异常的方法调用信息，能很快速的让我们找到出现异常的位置。以后在实际工作中我们会采取更完备的方式来记录异常信息。

关于 “调用栈”

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

代码示例3——catch 只能处理对应种类的异常

  让代码抛出的是空指针异常。

int[] arr = {1, 2, 3};
try {
    System.out.println("before");
    arr = null;
    System.out.println(arr[100]);
    System.out.println("after");
} catch (ArrayIndexOutOfBoundsException e) {
    e.printStackTrace();
}
System.out.println("after try catch");

// 执行结果
before
Exception in thread "main" java.lang.NullPointerException
	at demo02.Test.main(Test.java:11)

  此时, catch 语句不能捕获到刚才的空指针异常。因为异常类型不匹配。

代码示例4—— catch 可以有多个

int[] arr = {1, 2, 3};

try {
    System.out.println("before");
    arr = null;
    System.out.println(arr[100]);
    System.out.println("after");
} catch (ArrayIndexOutOfBoundsException e) {
    System.out.println("这是个数组下标越界异常");
    e.printStackTrace();
} catch (NullPointerException e) {
    System.out.println("这是个空指针异常");
    e.printStackTrace();
}
System.out.println("after try catch");

// 执行结果
before
这是个空指针异常
java.lang.NullPointerException
	at demo02.Test.main(Test.java:12)
after try catch

  一段代码可能会抛出多种不同的异常，不同的异常有不同的处理方式。因此可以搭配多个 catch 代码块。
  如果多个异常的处理方式是完全相同，也可以写成这样：

catch (ArrayIndexOutOfBoundsException | NullPointerException e) {
	...
}

代码示例5——也可以用一个 catch 捕获所有异常(不推荐)

int[] arr = {1, 2, 3};
try {
    System.out.println("before");
    arr = null;
    System.out.println(arr[100]);
    System.out.println("after");
} catch (Exception e) {
    e.printStackTrace();
}
System.out.println("after try catch");

// 执行结果
before
java.lang.NullPointerException
	at demo02.Test.main(Test.java:12)
after try catch

  由于 Exception 类是所有异常类的父类。因此可以用这个类型表示捕捉所有异常。

备注:
  catch 进行类型匹配的时候，不光会匹配相同类型的异常对象，也会捕捉目标异常类型的子类对象。如刚才的代码，NullPointerException 和 ArrayIndexOutOfBoundsException 都是 Exception 的子类，因此都能被捕获到。

代码示例6——finally 表示最后的善后工作

  例如释放资源

int[] arr = {1, 2, 3};
try {
    System.out.println("before");
    arr = null;
    System.out.println(arr[100]);
    System.out.println("after");
} catch (Exception e) {
    e.printStackTrace();
} finally {
    System.out.println("finally code");
}

// 执行结果
before
java.lang.NullPointerException
	at demo02.Test.main(Test.java:12)
finally code

  无论是否存在异常，finally 中的代码一定都会执行到。保证最终一定会执行到 Scanner 的 close 方法。

代码示例7——使用 try 负责回收资源

  刚才的代码可以有一种等价写法，将 Scanner 对象在 try 的 ( ) 中创建，就能保证在 try 执行完毕后自动调用 Scanner 的 close 方法。

try (Scanner sc = new Scanner(System.in)) {
    int num = sc.nextInt();
    System.out.println("num = " + num);
} catch (Exception e) {
    e.printStackTrace();
}

代码示例8——如果本方法中没有合适的处理异常的方式, 就会沿着调用栈向上传递

public static void main(String[] args) {
    try {
        func();
   } catch (ArrayIndexOutOfBoundsException e) {
        e.printStackTrace();
   }
    System.out.println("after try catch");
}
public static void func() {
    int[] arr = {1, 2, 3};
    System.out.println(arr[100]);
}

// 直接结果
java.lang.ArrayIndexOutOfBoundsException: 100
	at demo02.Test.func(Test.java:18)
	at demo02.Test.main(Test.java:9)
after try catch

代码示例9——向上一直传递都没有合适的方法处理异常

  最终就会交给 JVM 处理，程序就会异常终止(和我们最开始未使用 try catch 时是一样的)。

public static void main(String[] args) {
    func();
        System.out.println("after try catch");
}
public static void func() {
    int[] arr = {1, 2, 3};
    System.out.println(arr[100]);
}

// 执行结果
Exception in thread "main" java.lang.ArrayIndexOutOfBoundsException: 100
	at demo02.Test.func(Test.java:14)
	at demo02.Test.main(Test.java:8)

  可以看到，程序已经异常终止了，没有执行到 System.out.println(“after try catch”); 这一行。

异常处理流程

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

抛出异常

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

public static void main(String[] args) { 
 System.out.println(divide(10, 0)); 
} 
public static int divide(int x, int y) { 
 if (y == 0) { 
 throw new ArithmeticException("抛出除 0 异常"); 
 } 
 return x / y; 
} 

// 执行结果
Exception in thread "main" java.lang.ArithmeticException: 抛出除 0 异常
	at demo02.Test.divide(Test.java:14) 
	at demo02.Test.main(Test.java:9)

  在这个代码中，我们可以根据实际情况来抛出需要的异常。在构造异常对象同时可以指定一些描述性信息。

异常说明

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

public static int divide(int x, int y) throws ArithmeticException { 
	if (y == 0) { 
	throw new ArithmeticException("抛出除 0 异常"); 
	} 
	return x / y; 
}

关于 finally 的注意事项

  finally 中的代码保证一定会执行到。这也会带来一些麻烦。

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

// 执行结果
20

注意：
  finally 执行的时机是在方法返回之前（try 或者 catch 中如果有 return 会在这个 return 之前执行 finally）。但是如果finally 中也存在 return 语句，那么就会执行 finally 中的 return，从而不会执行到 try 中原有的 return。
  一般我们不建议在 finally 中写 return（被编译器当做一个警告）。

三、Java 异常体系

  Java 内置了丰富的异常体系，用来表示不同情况下的异常。
  下图表示 Java 内置的异常类之间的继承关系：
在这里插入图片描述

  • 顶层类 Throwable 派生出两个重要的子类， Error 和 Exception 。
  • 其中 Error 指的是 Java 运行时内部错误和资源耗尽错误。应用程序不抛出此类异常。这种内部错误一旦出现，除了告知用户并使程序终止之外，再无能无力.这种情况很少出现。
  • Exception 是我们程序猿所使用的异常类的父类。
  • 其中 Exception 有一个子类称为 RuntimeException ，这里面又派生出很多我们常见的异常类 NullPointerException ， IndexOutOfBoundsException 等。

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

显式处理的方式有两种：

  • 使用 try catch 包裹起来。
  • 在方法上加上异常说明，相当于将处理动作交给上级调用者。

四、自定义异常类

注意事项：

  • 自定义异常通常会继承自 Exception 或者 RuntimeException 。
  • 继承自 Exception 的异常默认是受查异常。
  • 继承自 RuntimeException 的异常默认是非受查异常。
# java
Logo
开放原子开发者工作坊

开放原子开发者工作坊旨在鼓励更多人参与开源活动，与志同道合的开发者们相互交流开发经验、分享开发心得、获取前沿技术趋势。工作坊有多种形式的开发者活动，如meetup、训练营等，主打技术交流，干货满满，真诚地邀请各位开发者共同参与！

更多推荐

操作系统大会&openEuler Summit 2024参会指南，请查收！

avatar 开放原子开发者工作坊

推动工业软件核心技术攻关，开源工业软件算法集成大赛正式启动！

推动工业软件核心技术攻关，开源工业软件算法集成大赛正式启动！

avatar 开放原子开发者工作坊

第二届openEuler生态大会（中国·湖南）成功举办

10月30日，第二届openEuler生态大会（中国·湖南）成功举办。

avatar 开放原子开发者工作坊