【JVM笔记】异常处理字节码指令

目录

异常及异常的处理

抛出异常指令

异常表

---

异常及异常的处理

过程一：异常对象的生成过程 ---> throw （手动 / 自动）---> 指令：athrow

过程二：异常的处理:抓抛模型。try-catch-finally ---> 使用异常表

抛出异常指令

athrow 指令

在 Java 程序中显示抛出异常的操作（throw 语句）都是由 athrow 指令来实现

除了使用 throw 语句显示抛出异常情况之外，JVM 规范还规定了许多运行时异常会在其他 Java 虚拟机指令检测到异常状况时自动抛出。例如，在之前介绍的整数运算时，当除数为零时，虚拟机会在 idiv 或 ldiv 指令中抛出 ArithmeticException 异常

注意

正常情况下，操作数栈的压入弹出都是一条条指令完成的。唯一的例外情况是在抛异常时，Java 虚拟机会清除操作数栈上的所有内容，而后将异常实例压入调用者操作数栈上

在Java虚拟机中，处理异常(catch语句)不是由字节码指令来实现的(早期使用jsr、ret指令)，而是采用异常表来完成的。

异常表

如果一个方法定义了一个 try-catch 或者 try-finally 的异常处理， 就会创建一个异常表。它包含了每个异常处理或者 finally 块的信息。异常表保存了每个异常处理信息。比如：

● 起始位置

● 结束位置

● 程序计数器记录的代码处理的偏移地址

● 被捕获的异常类在常量池中的索引

当一个异常被抛出时，JVM 会在当前的方法里寻找一个匹配的处理，如果没有找到，这个方法会强制结束并弹出当前栈帧，并且异常会重新抛给上层调用的方法（在调用方法栈帧）。如果在所有栈帧弹出前仍然没有找到合适的异常处理，这个线程将终止。如果这个异常在最后一个非守护线程里抛出，将会导致 JVM 自己终止，比如这个线程是个 main 线程

不管什么时候抛出异常，如果异常处理最终匹配了所有异常类型，代码就会继续执行。在这种情况下，如果方法结束后没有抛出异常，仍然执行 finally 块， 在 return 前， 它直接跳到 finally 块来完成目标