文章目录
1. 异常的概念与体系结构
1.1 异常的概念
在Java中,将程序执行过程中发生的不正常行为称为异常。比如:
- **算术异常 **
public static void main(String[] args) {
System.out.println(10 / 0);
}
// 执行结果
Exception in thread "main" java.lang.ArithmeticException: / by zero
- 数组越界异常
public static void main(String[] args) {
int[] arr = {1, 2, 3};
System.out.println(arr[100]);
}
// 执行结果
Exception in thread "main" java.lang.ArrayIndexOutOfBoundsException: 100
- 空指针异常
public static void main(String[] args) {
int[] arr = null;
System.out.println(arr.length);
}
// 执行结果
Exception in thread "main" java.lang.NullPointerException
从上述过程中可以看到,java中不同类型的异常,都有与其对应的类来进行描述。
注意:
- 语法错误不算在异常体系中。
- 异常一旦出现了,如果没有提前处理,程序就会退出JVM虚拟机而终止。
- 研究异常并且避免异常,然后提前处理异常,体现的是程序的安全, 健壮性。
1.2 异常的体系结构
异常种类繁多,为了对不同异常或者错误进行很好的分类管理,Java内部维护了一个异常的体系结构:
从上图中可以看到:
- **Throwable:**是异常体系的顶层类,其派生出两个重要的子类, **Error **和 Exception
- Error:指的是Java虚拟机无法解决的严重问题,比如:JVM的内部错误、资源耗尽等,典型代表:
**StackOverflowError**
和**OutOfMemoryError**
,一旦发生回力乏术。 - **Exception:**异常产生后程序员可以通过代码进行处理,使程序继续执行。我们平时所说的异常就是Exception。
- RuntimeException及其子类:运行时异常,编译阶段不会报错。 (空指针异常,数组索引越界异常)
- 除RuntimeException之外所有的异常:编译时异常,编译期必须处理的,否则程序不能通过编译。 (日期格式化异常)。
1.3 异常的分类
异常可能在编译时发生,也可能在程序运行时发生,根据发生的时机不同,可以将异常分为编译时异常和运行时异常。
- 编译时异常
在程序编译期间发生的异常,称为编译时异常,也称为受检查异常(Checked Exception)。必须先处理,否则代码不通过。
public class Person {
private String name;
private String gender;
int age;
// 想要让该类支持深拷贝,覆写Object类的clone方法即可
@Override
public Person clone() {
return (Person)super.clone();
}
}
编译时报错:
Error:java: 未报告的异常错误java.lang.CloneNotSupportedException; 必须对其进行捕获或声明以便抛出
- 运行时异常
在程序执行期间发生的异常,称为运行时异常,也称为非受检查异常(Unchecked Exception)
RunTimeException以及其子类对应的异常,都称为运行时异常。比如:
- 数组索引越界异常:ArrayIndexOutOfBoundsException
- 空指针异常:NullPointerException,直接输出没有问题,但是调用空指针的变量的功能就会报错。
- 数学操作异常:ArithmeticException
- 类型转换异常:ClassCastException
- 数字转换异常: NumberFormatException
【注意】:
编译时出现的语法性错误,不能称之为异常。例如将 System.out.println
拼写错了, 写成了system.out.println
此时编译过程中就会出错, 这是 “编译期” 出错。而运行时指的是程序已经编译通过得到class 文件了,再由 JVM 执行过程中出现的错误。
2. 异常的处理
2.1 防御式编程
错误在代码中是客观存在的,因此我们要让程序出现问题的时候及时通知程序猿,主要的方式:
- LBYL: Look Before You Leap. 在操作之前就做充分的检查。即:事前防御型
boolean ret = false;
ret = 登陆游戏();
if (!ret) {
处理登陆游戏错误;
return;
}
ret = 开始匹配();
if (!ret) {
处理匹配错误;
return;
}
ret = 游戏确认();
if (!ret) {
处理游戏确认错误;
return;
}
ret = 选择英雄();
if (!ret) {
处理选择英雄错误;
return;
}
ret = 载入游戏画面();
if(!ret) {
处理载入游戏错误;
return;
}
.....
- EAFP: It’s Easier to Ask Forgiveness than Permission. “事后获取原谅比事前获取许可更容易”. 也就是先操
作, 遇到问题再处理. 即:事后认错型
try {
登陆游戏();
开始匹配();
游戏确认();
选择英雄();
载入游戏画面();
...
} catch (登陆游戏异常) {
处理登陆游戏异常;
} catch (开始匹配异常) {
处理开始匹配异常;
} catch (游戏确认异常) {
处理游戏确认异常;
} catch (选择英雄异常) {
处理选择英雄异常;
} catch (载入游戏画面异常) {
处理载入游戏画面异常;
}
......
优势:正常流程和错误流程是分离开的, 程序员更关注正常流程,代码更清晰,容易理解代码
异常处理的核心思想就是 EAFP。
在Java中,异常处理主要的5个关键字:throw、try、catch、final、throws。
2.2 异常的抛出
在编写程序时,如果程序中出现错误,此时就需要将错误的信息告知给调用者,比如:参数检测。
在Java中,可以借助throw关键字,抛出一个指定的异常对象,将错误信息告知给调用者。具体语法如下:
throw new XXXException("异常产生的原因");
【需求】:实现一个获取数组中任意位置元素的方法。
public static int getElement(int[] array, int index) {
if (null == array) {
throw new NullPointerException("传递的数组为null");
}
if (index < 0 || index >= array.length) {
throw new ArrayIndexOutOfBoundsException("传递的数组下标越界");
}
return array[index];
}
public static void main(String[] args) {
int[] array = {1, 2, 3};
getElement(array, 3);
}
Exception in thread "main" java.lang.ArrayIndexOutOfBoundsException: 传递的数组下标越界
public static void main(String[] args) {
// int[] array = {1, 2, 3};
int[] array = null;
getElement(array, 3);
}
Exception in thread "main" java.lang.NullPointerException: 传递的数组为null
【注意事项】
- throw必须写在方法体内部;
- 抛出的对象必须是Exception 或者 Exception 的子类对象;
- 如果抛出的是 RunTimeException 或者 RunTimeException 的子类,则可以不用处理,直接交给JVM来处理;
- 如果抛出的是编译时异常,用户必须处理,否则无法通过编译;
- 异常一旦抛出,其后的代码就不会执行。
2.3 异常的捕获
异常的捕获,也就是异常的具体处理方式,主要有两种:异常声明throws 以及 try-catch捕获处理。
2.3.1 异常声明throws
处在方法声明时参数列表之后,当方法中抛出编译时异常,用户不想处理该异常,此时就可以借助throws将异常抛给方法的调用者来处理。即当前方法不处理异常,提醒方法的调用者处理异常。
语法格式:
修饰符 返回值类型 方法名(参数列表) throws 异常类型1,异常类型2...{
}
需求:加载指定的配置文件config.ini
public class Config {
File file;
/*
FileNotFoundException : 编译时异常,表明文件不存在
此处不处理,也没有能力处理,应该将错误信息报告给调用者,让调用者检查文件名字是否给错误了
*/
public void OpenConfig(String filename) throws FileNotFoundException {
if (filename.equals("config.ini")) {
throw new FileNotFoundException("配置文件名字不对");
}
// 打开文件
}
public void readConfig() {
}
}
【注意事项】
- throws必须跟在方法的参数列表之后;
- 声明的异常必须是 Exception 或者 Exception 的子类;
- 方法内部如果抛出了多个异常,throws之后必须跟多个异常类型,之间用逗号隔开,如果抛出多个异常类型具有父子关系,直接声明父类即可。
public class Config {
File file;
// public void OpenConfig(String filename) throws IOException,FileNotFoundException{
// FileNotFoundException 继承自 IOException,直接声明IOException
public void OpenConfig(String filename) throws IOException {
if (filename.endsWith(".ini")) {
throw new IOException("文件不是.ini文件");
}
if (filename.equals("config.ini")) {
throw new FileNotFoundException("配置文件名字不对");
}
// 打开文件
}
public void readConfig() {
}
}
- 调用声明抛出异常的方法时,调用者必须对该异常进行处理,或者继续使用throws抛出
public static void main(String[] args) throws IOException {
Config config = new Config();
config.OpenConfig("config.ini");
}
2.3.2 try-catch捕获并处理
throws对异常并没有真正处理,而是将异常报告给抛出异常方法的调用者,由调用者处理。
如果真正要对异常进行处理,就需要try-catch。
语法格式:
try {
// 将可能出现异常的代码放在这里
} catch (要捕获的异常类型 e){
/* 如果try中的代码抛出异常了,此处catch捕获时,若异常类型与try中抛出的异常类型一致时,
或者是try中抛出异常的基类时,就会被捕获到。对异常就可以正常处理,处理完成后,
跳出try-catch结构,继续执行后序代码
*/
} [ catch (异常类型 e) {
// 对异常进行处理
} finally {
// 此处代码一定会被执行到
}]
// 后序代码
// 当异常被捕获到时,异常就被处理了,这里的后序代码一定会执行
// 如果捕获了,由于捕获时类型不对,那就没有捕获到,这里的代码就不会被执行
【注意】:
- []中表示可选项,可以添加,也可以不用添加;
- try中的代码可能会抛出异常,也可能不会;
- 如果异常被捕获,则执行
后序代码,否则不执行
; finally
的代码一定会被执行。
需求:读取配置文件,如果配置文件名字不是指定名字,抛出异常,调用者进行异常处理
public class Config {
File file;
public void openConfig(String filename) throws FileNotFoundException {
if (!filename.equals("config.ini")) {
throw new FileNotFoundException("配置文件名字不对");
}
// 打开文件
}
public void readConfig() {
}
public static void main(String[] args) {
Config config = new Config();
try {
config.openConfig("config.txt");
System.out.println("文件打开成功");
} catch (IOException e) {
// 异常的处理方式
//System.out.println(e.getMessage()); // 只打印异常信息
//System.out.println(e); // 打印异常类型:异常信息
e.printStackTrace(); // 打印信息最全面
}
// 一旦异常被捕获处理了,此处的代码会执行
System.out.println("异常如果被处理了,这里的代码也可以执行");
}
}
**关于异常的处理方式:**异常的种类有很多, 我们要根据不同的业务场景来决定.
- 对于比较严重的问题(例如和算钱相关的场景), 应该让程序直接崩溃,防止造成更严重的后果;
- 对于不太严重的问题(大多数场景),可以记录错误日志,并通过监控报警程序及时通知程序猿;
- 对于可能会恢复的问题(和网络相关的场景),可以尝试进行重试;
在我们当前的代码中采取的是经过简化的第二种方式,我们记录的错误日志是出现异常的方法调用信息,能很快速的让我们找到出现异常的位置,以后在实际工作中我们会采取更完备的方式来记录异常信息。
【注意事项】:
- try块内抛出异常位置之后的代码将不会被执行;
- 如果抛出异常类型与catch时异常类型不匹配,即异常不会被成功捕获,也就不会被处理,继续往外抛,直到 JVM 收到后中断程序----异常是按照类型来捕获的。
public static void main(String[] args) {
try {
int[] array = {1, 2, 3};
System.out.println(array[3]); // 此处会抛出数组越界异常
} catch (NullPointerException e) { // 捕获时候捕获的是空指针异常--真正的异常无法被捕获到
e.printStackTrace();
}
System.out.println("后序代码");
}
Exception in thread "main" java.lang.ArrayIndexOutOfBoundsException: 3
at Config.main(Config.java:19)
- try中可能会抛出多个不同的异常对象,则必须用多个catch来捕获----即多种异常,多次捕获
public static void main(String[] args) {
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");
}
如果多个异常的处理方式是完全相同, 也可以写成这样:
catch (ArrayIndexOutOfBoundsException | NullPointerException e) {
...
}
如果异常之间具有父子关系,一定是子类异常在前catch,父类异常在后catch,否则语法错误:
public static void main(String[] args) {
int[] arr = {1, 2, 3};
try {
System.out.println("before");
arr = null;
System.out.println(arr[100]);
System.out.println("after");
} catch (Exception e) { // Exception可以捕获到所有异常
e.printStackTrace();
} catch (NullPointerException e) { // 永远都捕获执行到
e.printStackTrace();
}
System.out.println("after try catch");
}
java: 已捕获到异常错误java.lang.NullPointerException
- 可以通过一个catch捕获所有的异常,即多个异常,一次捕获(不推荐)
public static void main(String[] args) {
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");
}
由于 Exception 类是所有异常类的父类. 因此可以用这个类型表示捕捉所有异常。
catch 进行类型匹配的时候,不光会匹配相同类型的异常对象,也会捕捉目标异常类型的子类对象。如刚才的代码,NullPointerException 和 ArrayIndexOutOfBoundsException 都是 Exception 的子类,因此都能被捕获到。
2.3.3 finally
在写程序时,有些特定的代码,不论程序是否发生异常,都需要执行,比如程序中打开的资源:网络连接、数据库连接、IO流等,在程序正常或者异常退出时,必须要对资源进进行回收。另外,因为异常会引发程序的跳转,可能导致有些语句执行不到,finally就是用来解决这个问题的。
语法格式:
try{
// 可能会发生异常的代码
}catch(异常类型 e){
// 对捕获到的异常进行处理
}finally{
// 此处的语句无论是否发生异常,都会被执行到
}
// 如果没有抛出异常,或者异常被捕获处理了,这里的代码也会执行
public static void main(String[] args) {
try {
int[] arr = {1, 2, 3};
arr[100] = 10;
arr[0] = 10;
} catch (ArrayIndexOutOfBoundsException e) {
System.out.println(e);
} finally {
System.out.println("finally中的代码一定会执行");
}
System.out.println("如果没有抛出异常,或者异常被处理了,try-catch后的代码也会执行");
}
java.lang.ArrayIndexOutOfBoundsException: 100
finally中的代码一定会执行
如果没有抛出异常,或者异常被处理了,try-catch后的代码也会执行
问题:既然 finally 和 try-catch-finally 后的代码都会执行,那为什么还要有finally呢?
需求:实现getData方法,内部输入一个整形数字,然后将该数字返回,并再main方法中打印
public static int getData() {
Scanner sc = null;
try {
sc = new Scanner(System.in);
int data = sc.nextInt();
return data;
} catch (InputMismatchException e) {
e.printStackTrace();
} finally {
System.out.println("finally中代码");
}
System.out.println("try-catch-finally之后代码");
if (null != sc) {
sc.close();
}
return 0;
}
public static void main(String[] args) {
int data = getData();
System.out.println(data);
}
222
finally中代码
222
上述程序,如果正常输入,成功接收输入后程序就返回了,try-catch-finally之后的代码根本就没有执行,即输入流就没有被释放,造成资源泄漏。
注意:finally中的代码一定会执行的,一般在finally中进行一些资源清理的扫尾工作。
public static int func() {
try {
return 10;
} finally {
return 20;
}
}
// 下面程序输出什么?
public static void main(String[] args) {
System.out.println(func()); // 20
}
finally 执行的时机是在方法返回之前(try 或者 catch 中如果有 return,会在这个 return 之前执行 finally)。
但是如果 finally 中也存在 return 语句,那么就会执行 finally 中的 return,从而不会执行到 try 中原有的 return。
一般不建议在 finally 中写 return (被编译器当做一个警告)。
【面试题】:
- throw 和 throws 的区别?
- throw 和 throws 都是关键字,但 throw 代表动作,表示抛出一个异常的动作;而 throws 代表一种状态,代表方法可能有异常抛出。
- throw 用于在代码块中手动抛出异常,可以用于自定义异常;而throws 是用于在方法中声明可能会抛出异常,用于向上层的调用者传递异常信息。
- throw只能用于抛出一种异常,而throws可以抛出多个异常。
- finally 中的语句一定会执行吗?
答:不一定,分情况讨论:
- 会执行的情况
- **不抛出异常:**try里面的代码、finally里面的代码、finally以后的代码都将正常执行,而catch里面的代码不会执行。
- **抛出异常且被catch捕获:**try里面的代码 部分执行,catch里面的代码、finally里面的代码、finally以后的代码都将正常执行。
- 抛出异常,但未被catch捕获:抛出异常的语句将会报错,在try中的抛出异常的语句后的语句将不会执行,由于异常未被捕获,故catch语句不执行,但是finally仍然会执行,在finally后面的语句由于程序已经报错停止,故将不会执行。
- 不会执行的情况
- 程序未执行到 finally 块:
- 在执行 try 块之前直接 return,finally 块是不会执行的。
- 在执行 try 块之前程序直接报错,那么finally块自然就不会执行到了。
- 在执行try块时,调用System.exit(0)主动退出 JVM。
- 程序执行到 finally 块:
- finally 块不含返回值。简单总结:若 finally中无return,以try中的return为准。
- finally 块含返回值。 简单总结:若 finally块的方法有返回值时,要对于return出现的地方进行具体分析。在 finally 块中进行 return 操作的话,则方法整体的返回值就是 finally 块中的 return 返回值。如果在 finally 块之后的方法内 return ,则 return 的值就是进行完上面的操作后的 return 值。
- 程序未执行到 finally 块:
2.4 异常的处理流程
关于 “调用栈”
方法之间是存在相互调用关系的,这种调用关系我们可以用 “调用栈” 来描述。
在 JVM 中有一块内存空间称为"虚拟机栈" ,专门存储方法之间的调用关系。当代码中出现异常的时候,我们就可以使用e.printStackTrace();
的方式查看出现异常代码的调用栈。
如果本方法中没有合适的处理异常的方式, 就会沿着调用栈向上传递。
public static void func() {
int[] arr = {1, 2, 3};
System.out.println(arr[100]);
}
public static void main(String[] args) {
try {
func();
} catch (ArrayIndexOutOfBoundsException e) {
e.printStackTrace();
}
System.out.println("after try catch");
}
java.lang.ArrayIndexOutOfBoundsException: 100
at TestFinally.func(TestFinally.java:17)
at TestFinally.main(TestFinally.java:22)
after try catch
如果向上一直传递都没有合适的方法处理异常,最终就会交给 JVM 处理,程序就会异常终止(和我们最开始未使用 try catch 时是一样的)。
public static void func() {
int[] arr = {1, 2, 3};
System.out.println(arr[100]);
}
public static void main(String[] args) {
func();
System.out.println("after try catch");
}
Exception in thread "main" java.lang.ArrayIndexOutOfBoundsException: 100
at TestFinally.func(TestFinally.java:17)
at TestFinally.main(TestFinally.java:21)
可以看到,程序已经异常终止了,没有执行到 System.out.println("after try catch");
这一行。
【异常处理流程总结】:
- 程序先执行 try 中的代码;
- 如果 try 中的代码出现异常,就会结束 try 中的代码,看和 catch 中的异常类型是否匹配;
- 如果找到匹配的异常类型,就会执行 catch 中的代码;
- 如果没有找到匹配的异常类型,就会将异常向上传递到上层调用者;
- 无论是否找到匹配的异常类型,finally 中的代码都会被执行到(在该方法结束之前执行);
- 如果上层调用者也没有处理的了异常,就继续向上传递;
- 一直到 main 方法也没有合适的代码处理异常,就会交给 JVM 来进行处理,此时程序就会异常终止。
3. 自定义异常类
Java 中虽然已经内置了丰富的异常类,但是并不能完全表示实际开发中所遇到的一些异常,此时就需要维护符合我们实际情况的异常结构。
例如, 我们实现一个用户登陆功能
public class Login {
private String userName = "admin";
private String password = "123456";
public static void loginInfo(String userName, String password) {
if (!userName.equals(userName)) {
}
if (!password.equals(password)) {
}
System.out.println("登陆成功");
}
public static void main(String[] args) {
loginInfo("admin", "123456");
}
}
此时我们在处理用户名密码错误的时候可能就需要抛出两种异常。我们可以基于已有的异常类进行扩展(继承),创建和我们业务相关的异常类。
具体方式:
- 自定义异常类,然后继承自Exception 或者 RunTimeException
- 实现一个带有String类型参数的构造方法,参数含义:出现异常的原因
class UserNameException extends Exception {
public UserNameException(String message) {
super(message);
}
}
class PasswordException extends Exception {
public PasswordException(String message) {
super(message);
}
}
此时我们的 login 代码可以改成:
public class Login {
private String userName = "admin";
private String password = "123456";
public void loginInfo(String userName, String password) {
if (!this.userName.equals(userName)) {
System.out.println("用户名异常!");
}
if (!this.password.equals(password)) {
System.out.println("密码异常!");
}
System.out.println("登陆成功");
}
public static void main(String[] args) {
Login login = new Login();
login.loginInfo("admin", "123456");
}
}
【注意】:
- 自定义异常通常会继承自 Exception 或者 RuntimeException
- 继承自 Exception 的异常默认是受查异常
- 继承自 RuntimeException 的异常默认是非受查异常