【javaSE】 万字带你认识异常

简介: 【javaSE】 万字带你认识异常

异常的概念与体系结构

异常的概念

在生活中,一个人表情痛苦,出于关心,可能会问:你是不是生病了,需要我陪你去看医生吗?

在程序中也是一样,程序猿是一帮办事严谨、追求完美的高科技人才。在日常开发中,绞尽脑汁将代码写的尽善尽美,在程序运行过程中,难免会出现一些奇奇怪怪的问题。

有时通过代码很难去控制,比如:数据格式不对、网络不通畅、内存报警等

在Java中,将程序执行过程中发生的不正常行为称为异常

下来我们先来简单看几个异常

算术异常

如以下代码

System.out.println(21 / 0);

运行时就会出现

数组越界异常

如以下代码

int[] arr = {1, 2, 3,4,5};
System.out.println(arr[10]);

运行时就会出现

空指针异常

如以下代码

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

运行时就会出现

从上述过程中可以看到,java中不同类型的异常,都有与其对应的类来进行描述

注意:

语法错误不是异常

异常的体系结构

异常种类繁多,为了对不同异常或者错误进行很好的分类管理,Java内部维护了一个异常的体系结构:

从上图中可以看到:

  1. Throwable:是异常体系的顶层类,其派生出两个重要的子类, Error 和 Exception
  2. Error:指的是Java虚拟机无法解决的严重问题,比如:JVM的内部错误、资源耗尽等,典型代表:StackOverflowError和OutOfMemoryError,一旦发生回力乏术。
  3. Exception:异常产生后程序员可以通过代码进行处理,使程序继续执行。比如:感冒、发烧。我们平时所说的异常就是Exception。

异常的分类

异常可能在编译时发生,也可能在程序运行时发生,根据发生的时机不同,可以将异常分为:运行时异常和编译时异常

编译时异常

在程序编译期间发生的异常,称为编译时异常,也称为受检查异常(Checked Exception)

比如博主在接口时讲的覆写Object类的clone

编译时报错: Error:(17, 35) java:

未报告的异常错误java.lang.CloneNotSupportedException; 必须对其进行捕获或声明以便抛出

运行时异常

程序执行期间发生的异常,称为运行时异常,也称为非受检查异常(Unchecked Exception)

RunTimeException以及其子类对应的异常,都称为运行时异常。比如:

NullPointerException、ArrayIndexOutOfBoundsException、ArithmeticException。

注意:编译时出现的语法性错误,不能称之为异常。例如将 System.out.println 拼写错了, 写成了system.out.println. 此时编译过程中就会出错, 这是 “编译期” 出错。而运行时指的是程序已经编译通过得到class 文件了, 再由 JVM 执行过程中出现的错误

异常的处理

异常处理的核心思想就是 EAFP。

在Java中,异常处理主要的5个关键字:throw、try、catch、final、throws

后面会一一进行介绍

防御式编程

错误在代码中是客观存在的. 因此我们要让程序出现问题的时候及时通知程序猿. 主要方式有:LBYL事前防御型EAFP事后认错型

LBYL:事前防御型

Look Before You Leap. 在操作之前就做充分的检查. 即:事前防御型

比如我们在打游戏时,会提示你一些东西,比如登录游戏错误、匹配错误······

boolean ret = false;
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 (载入游戏画面异常) {
  处理载入游戏画面异常;
}
...

这样做的好处在于

优势:正常流程和错误流程是分离开的, 程序员更关注正常流程,代码更清晰,容易理解代码

异常的抛出

在编写程序时,如果程序中出现错误,此时就需要将错误的信息告知给调用者,比如:参数检测。

在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);
    }

我们再来看一下运行结果

这里抛出了数组越界的异常

注意事项

  1. throw必须写在方法体内部
  2. 抛出的对象必须是Exception 或者 Exception 的子类对象
  3. 如果抛出的是 RunTimeException 或者 RunTimeException 的子类,则可以不用处理,直接交给JVM来处理
  4. 如果抛出的是编译时异常,用户必须处理,否则无法通过编译
  5. 异常一旦抛出,其后的代码就不会执行

异常的捕获

异常的捕获,也就是异常的具体处理方式,主要有两种:异常声明throws 以及 try-catch捕获处理

异常声明throws

处在方法声明时参数列表之后,当方法中抛出编译时异常,用户不想处理该异常,此时就可以借助throws将异常抛给方法的调用者来处理。即当前方法不处理异常,提醒方法的调用者处理异常。

语法格式

语法格式:
修饰符 返回值类型 方法名(参数列表) throws 异常类型1,异常类型2...{
}

比如我们前面提到的Cloneable时重写clone()方法时

public class Person implements Cloneable{
    private String name;
    private String gender;
    int age;
    @Override
    public Person clone() throws CloneNotSupportedException {
        return (Person)super.clone();
    }
}

再举个例子

我们现在需要,加载指定的配置文件config.ini

当我们书写方法时此处不处理,也没有能力处理,应该将错误信息报告给调用者,让调用者检查文件名字是否给错误了。

public class Config {
  File file;
/*
FileNotFoundException : 编译时异常,表明文件不存在
此处不处理,也没有能力处理,应该将错误信息报告给调用者,让调用者检查文件名字是否给错误了
*/
  public void OpenConfig(String filename) throws  FileNotFoundException{
    if(filename.equals("config.ini")){
      throw new FileNotFoundException("配置文件名字不对");
    } 
// 打开文件
  }
}
注意事项
  1. throws必须跟在方法的参数列表之后
  2. 声明的异常必须是 Exception 或者 Exception 的子类
  3. 方法内部如果抛出了多个异常,throws之后必须跟多个异常类型,之间用逗号隔开,如果抛出多个异常类型具有父子关系,直接声明父类即可。比如
File file;
// public void OpenConfig(String filename) throws IOException,FileNotFoundException{
// FileNotFoundException 继承自 IOException
public void OpenConfig(String filename) throws IOException{
  if(filename.endsWith(".ini")){
    throw new IOException("文件不是.ini文件");
  } 
  if(filename.equals("config.ini")){
    throw new FileNotFoundException("配置文件名字不对");
  } 
  // 打开文件
}
  1. 调用声明抛出异常的方法时,调用者必须对该异常进行处理,或者继续使用throws抛出

try-catch捕获并处理

throws对异常并没有真正处理,而是将异常报告给抛出异常方法的调用者,由调用者处理。如果真正要对异常进行处理,就需要try-catch。

语法格式

语法格式:
try{
  // 将可能出现异常的代码放在这里
}catch(要捕获的异常类型 e){
  // 如果try中的代码抛出异常了,此处catch捕获时异常类型与try中抛出的异常类型一致时,或者是try中抛出异常的基类时,就会被捕获到
  // 对异常就可以正常处理,处理完成后,跳出try-catch结构,继续执行后序代码
}[catch(异常类型 e){
  // 对异常进行处理
}finally{
  // 此处代码一定会被执行到
}]
// 后序代码
// 当异常被捕获到时,异常就被处理了,这里的后序代码一定会执行
// 如果捕获了,由于捕获时类型不对,那就没有捕获到,这里的代码就不会被执行

注意:

  1. []中表示可选项,可以添加,也可以不用添加
  2. try中的代码可能会抛出异常,也可能不会

比如我现在有这样一个需求:读取配置文件,如果配置文件名字不是指定名字,抛出异常,调用者进行异常处理

import java.io.File;
import java.io.FileNotFoundException;
import java.io.IOException;
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("异常如果被处理了,这里的代码也可以执行");
    }
}

我们看到异常的处理方式哪里有三个不同的处理方式,我们来看一下三种不同的处理方式的效果

如何选择异常的处理方式

讲了这么多异常的处理方式,那么我们实际中应该选择哪一种呢?

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

对于比较严重的问题(例如和算钱相关的场景), 应该让程序直接崩溃, 防止造成更严重的后果

对于不太严重的问题(大多数场景), 可以记录错误日志, 并通过监控报警程序及时通知程序猿

对于可能会恢复的问题(和网络相关的场景), 可以尝试进行重试.

在我们当前的代码中采取的是经过简化的第二种方式. 我们记录的错误日志是出现异常的方法调用信息, 能很

快速的让我们找到出现异常的位置. 以后在实际工作中我们会采取更完备的方式来记录异常信息

注意事项
  1. try块内抛出异常位置之后的代码将不会被执行
  2. 如果抛出异常类型与catch时异常类型不匹配,即异常不会被成功捕获,也就不会被处理,继续往外抛,直到JVM收到后中断程序----异常是按照类型来捕获的
  3. try中可能会抛出多个不同的异常对象,则必须用多个catch来捕获----即多种异常,多次捕获

    如果多个异常的处理方式是完全相同, 也可以写成这样
catch (ArrayIndexOutOfBoundsException | NullPointerException e) {
...
}

如果异常之间具有父子关系,一定是子类异常在前catch,父类异常在后catch,否则语法错误:

4. 可以通过一个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的子类, 因此都能被捕获到.

finally

在写程序时,有些特定的代码,不论程序是否发生异常,都需要执行,比如程序中打开的资源:网络连接、数据库连接、IO流等,在程序正常或者异常退出时,必须要对资源进行回收。另外,因为异常会引发程序的跳转,可能导致有些语句执行不到,finally就是用来解决这个问题的。

语法格式:

语法格式:
try{
  // 可能会发生异常的代码
}catch(异常类型 e){
  // 对捕获到的异常进行处理
}finally{
  // 此处的语句无论是否发生异常,都会被执行到
} 
// 如果没有抛出异常,或者异常被捕获处理了,这里的代码也会执行

示例:

既然 finally 和 try-catch-finally 后的代码都会执行,那为什么还要有finally呢

比如我现在有这样一个需求:实现getData方法,内部输入一个整形数字,然后将该数字返回,并在main方法中打印

上述程序,如果正常输入,成功接收输入后程序就返回了,try-catch-finally之后的代码根本就没有执行,即输入流就没有被释放,造成资源泄漏。

注意:finally中的代码一定会执行的,一般在finally中进行一些资源清理的扫尾工作

比如下面这一道题:

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

A:10 B:20 C:30 D:编译失败

**答案:**20

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

一般我们不建议在 finally 中写 return (被编译器当做一个警告)

异常捕获相关面试题

  1. throw 和 throws 的区别?

(1)throws用于方法头,表示的只是异常的申明,而throw用于方法内部,抛出的是异常对象。

(2)throws可以一次性抛出多个异常,而throw只能一个

(3)throws抛出异常时,它的上级(调用者)也要申明抛出异常或者捕获,不然编译报错。而throw的话,可以不申明或不捕获(这是非常不负责任的方式)但编译器不会报错。

  1. finally中的语句一定会执行吗?

一定很执行

异常的处理流程

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

关于调用栈,博主在C语言部分也讲解过,感兴趣的同学可以去下方链接进行学习

函数栈帧的创建于销毁

这里博主再进行简单进行介绍一下

关于 “调用栈”

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

例如

如果向上一直传递都没有合适的方法处理异常, 最终就会交给 JVM 处理, 程序就会异常终止(和我们最开始未使用 try catch 时是一样的).

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

异常处理流程总结

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

自定义异常类

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");
    }
}

此时我们在处理用户名密码错误的时候可能就需要抛出两种异常. 我们可以基于已有的异常类进行扩展(继承), 创建和我们业务相关的异常类.

具体方式:

  1. 自定义异常类,然后继承自Exception 或者RunTimeException
  2. 实现一个带有String类型参数的构造方法,参数含义:出现异常的原因
class UserNameException extends Exception {
    public UserNameException(String message) {
        super(message);
    }
}
class PasswordException extends Exception {
    public PasswordException(String message) {
        super(message);
    }
}

此时我们的 login 代码可以改成

class UserNameException extends Exception {
    public UserNameException(String message) {
        super(message);
    }
}
class PasswordException extends Exception {
    public PasswordException(String message) {
        super(message);
    }
}
public class LogIn {
    private String userName = "admin";
    private String password = "123456";
    public static void loginInfo(String userName, String password)
            throws UserNameException,PasswordException{
        if (!userName.equals(userName)) {
            throw new UserNameException("用户名错误!");
        }
        if (!password.equals(password)) {
            throw new PasswordException("密码错误!");
        }
        System.out.println("登陆成功");
    }
    public static void main(String[] args) {
        try {
            loginInfo("admin", "123456");
        } catch (UserNameException e) {
            e.printStackTrace();
        } catch (PasswordException e) {
            e.printStackTrace();
        }
    }
}

注意事项

  • 自定义异常通常会继承自 Exception 或者 RuntimeException
  • 继承自 Exception 的异常默认是受查异常
  • 继承自 RuntimeException 的异常默认是非受查异常

总结

关于《 万字带你认识异常》就讲解到这儿,javaSE系列的内容也就到这儿了,感谢大家的支持,欢迎各位留言交流以及批评指正,如果文章对您有帮助或者觉得作者写的还不错可以点一下关注,点赞,收藏支持一下。

相关文章
【JavaSE】Java(五十二):核心要点总结
1. java中普通类和抽象类有哪些区别 Java中普通类(也就是非抽象类)和抽象类有以下几个区别: 实例化:普通类可以直接被实例化为对象,而抽象类不能直接被实例化。抽象类需要被继承后,由其子类来实现其中定义的抽象方法。 抽象方法:普通类不能包含抽象方法,而抽象类必须至少包含一个抽象方法。抽象方法是一种没有具体实现的方法,它只有声明而没有方法体。抽象方法必须在抽象类的子类中被实现。
【JavaSE】Java基础语法(三十三):File 一文详解
1. File类概述和构造方法 File类介绍 它是文件和目录路径名的抽象表示 文件和目录是可以通过File封装成对象的 对于File而言,其封装的并不是一个真正存在的文件,仅仅是一个路径名而已.它可以是存在的,也
|
算法 Java 开发者
【JavaSE专栏9】Java 注释知多少
【JavaSE专栏9】Java 注释知多少
|
Java 程序员 数据库
【JavaSE】学习异常
【JavaSE】学习异常
【JavaSE】Java基础语法(二十五):异常
1. 异常 异常的概述 异常就是程序出现了不正常的情况
【JavaSE】Java基础语法(四十三):反射
概述: JAVA反射机制是在运行状态中,对于任意一个类,都能够知道这个类的所有属性和方法(包括私有的);对于任意一个对象,都能够调用它的任意一个方法和属性(包括私有的); 这种动态获取的信息以及动态调用对象的方法的功能称为java语言的反射机制。 要想解剖一个类,必须先要获取到该类的字节码文件对象。而解剖使用的就是Class类中的方法.所以先要获取到每一个字节码文件对应的Class类型的对象.
|
存储 缓存 安全
【JavaSE】Java(五十四):核心要点总结
1. try-catch-finally中 如果 catch 中 return 了,finally 还会执行吗? 会执行的。 当try块中发生异常时,控制流会立即转到相关的catch块,执行其中的代码。如果在catch块中出现了return语句,那么该方法或函数的执行就会结束,并且不会再返回到try块或finally块中。 但是,无论是否出现异常,finally块中的代码都会在try块之后或者catch块之后执行。这意味着即使在catch块的return语句中完成了对返回值的处理,finally块中的代码仍然会被执行。
|
存储 Java
【JavaSE】Java(五十五):核心要点总结
1. 为什么不允许静态方法访问非静态变量 在Java中,静态方法属于类级别的方法,它不依赖于任何实例对象,只能访问类变量(即static修饰的变量)和其他静态方法。而非静态变量是实例级别的变量,需要通过实例对象才能访问。
|
Java 编译器 索引
【JavaSE】Java(五十一):核心要点总结
1. String str = “love”; 和 String str = new String("love);一样吗? 这两种方式都可以用来创建一个 String 类型的对象,但是有所不同。 第一种方式:String str = “love”; 是直接赋值的方式来创建 String 对象。在编译代码时,Java 编译器会为你自动创建一个 String 对象,并将 “love” 这个字符串赋值给它,这种方式也称为字符串字面量(String Literal)。此外,Java 在编译过程中还对相同的字符串进行了常量池优化,使得字符串字面量的复用更加高效。
【JavaSE】Java基础语法(十七)
1. final fianl关键字的作用 final代表最终的意思,可以修饰成员方法,成员变量,类 final修饰类、方法、变量的效果 fianl修饰类:该类不能被继承(不能有子类,但是可以有父类) final修饰方法:该方法不能被重写 final修饰变量:表明该变量是一个常量,不能再次赋值
下一篇
无影云桌面