java异常 字节码,Java异常详解-从字节码角度查看异常实现原理

一、Java异常处理机制

Java异常的定义、类型和用法在网上有很多优秀的文章，这里直接引用一篇写得比较详细的文章。

深入理解Java异常处理机制

一个简单的异常继承树

接下来做一个知识点的提出，如果有哪一个点不懂，可以查看上面引用的文章进行解惑。

Java异常的继承树

顶层父类：Throwable

两个重要子类：Error(错误) 和 Exception(异常)

异常

可查异常和 不可查异常定义

运行时异常和非运行时异常定义

try - catch - finally

处理顺序

处理异常机制

抛出异常

捕获异常

异常链

抛出异常时，异常覆盖问题

二、异常在字节码层面的实现

2.1 一个简单的例子

2.1.1 例子的源码

public class Exception1{

public static void main(String[] args){

int a,b,c,d;

try{

a =1 ;

}catch(Exception e){

b = 2;

}finally{

c = 3 ;

}

d = 4;

}

}

2.1.2 查看字节码并分析方法执行过程

这里只放出main函数的的部分

public static void main(java.lang.String[]);

descriptor: ([Ljava/lang/String;)V

flags: ACC_PUBLIC, ACC_STATIC

Code:

stack=1, locals=7, args_size=1

0: iconst_1 // 将int型常量1入栈

1: istore_1 // 将栈顶int型的数赋予第二个局部变量(即将常量1赋值到局部变量a)

2: iconst_3 // 将int型常量3入栈

3: istore_3 // 将栈顶的数赋予第四个局部变量(即将常量3赋值到局部变量c)

4: goto 23 // 跳转到偏移量为21的指令

7: astore 5 // 栈顶ref对象存入第1局部变量

9: iconst_2 // 将int型常量2入栈

10: istore_2 // 将栈顶的数赋予第三个局部变量(即将常量3赋值到局部变量b)

11: iconst_3 // 将int型常量3入栈

12: istore_3 // 将栈顶的数赋予第四个局部变量(即将常量3赋值到局部变量c)

13: goto 23

16: astore 6

18: iconst_3

19: istore_3

20: aload 6

22: athrow

23: iconst_4

24: istore 4

26: return

Exception table:

from to target type

0 2 7 Class java/lang/Exception

0 2 16 any

7 11 16 any

16 18 16 any

上面方法的执行，将a变量赋值之后会将c变量也进行赋值，将b变量赋值也会对c变量进行赋值，从这里我们可以知道finally实现的原理: 编译器会将finally的代码块全部复制一遍贴到正常代码的下面，这样就保证了finally的代码块总会被执行。

2.1.3 异常处理过程

在上述字节码中，有一个表是异常处理时用到的表：Exception Table,它里面包含了异常处理开始的偏移量、结束偏移量、异常捕捉的类型等等。下面进行详细的介绍：

Exception table: 异常处理信息表

from 异常处理开始的位置

to 异常处理结束的位置

from和to结合起来就是异常处理的位置。在上述例子中，Exception table的第一行from和to分别表示为0,2，这里代表着异常是从0开始，到2结束(不包括2)，表示的是try包含的代码块。

target 异常处理器的起始位置,即catch开始处理的位置

type 异常类型，any表示所有类型

异常处理的过程：

当程序触发异常时，Java虚拟机会遍历异常表中的所有条目(即try里面的所有代码)。如果异常找到异常发生的字节码条目，则会跟catch要捕捉的异常匹配，如果匹配，则开始执行catch里面的代码。

如果没有匹配到，那么它会弹出当前方法对应的 Java 栈帧，并且在调用者(caller)中重复上述操作。在最坏情况下，Java 虚拟机需要遍历当前线程 Java 栈上所有方法的异常表

如果在catch中发生了异常，那么Java虚拟机会抛弃第一个异常，尝试捕获并处理新的异常。这个在编码中是很不利于调试的。

总结

Java异常处理机制的了解

finally总会被执行的原理

在JVM层面的异常处理过程