18.9 字节码指令集与解析举例 - 异常处理指令

异常处理指令

抛出异常指令

1. athrow指令
   在Java程序中显示抛出异常的操作( throw语句)都是由athrow指令来实现。
   除了使用throw语句显示抛出异常情况之外，JVM规范还规定了许多运行时异常会在其他Java虚拟机指令检测到异常状况时自动抛出。例如，在之前介绍的整数运算时，当除数为零时，虚拟机会在idiv或ldiv指 令中抛出ArithmeticException异常。
2. 注意
   正常情况下，操作数栈的压入弹出都是一条条指令完成的。唯一的例外情况是在抛异常时， Java虚拟机会清除操作数栈 上的所有内容，而后将异常实例压入调用者操作数栈上。

注意：

如果使用throw new 异常名称()这种形式来抛出异常，那就会在代码中出现athrow指令，而在方法上面添加throw 异常名称这种形式来抛出异常，然后使用jclasslib的时候就会出现在方法下面多出现一个属性Exceptions，如下图所示：

异常处理与异常表

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

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

   • 起始位置

   • 结束位置

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

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

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

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

异常表如下所示：

异常表的含义是如果在Start PC和End PC之间（大于等于Start PC，小于End PC）出现对应的Catch Type异常问题（出现异常就匹配对应的异常），将会在操作数栈中压入相应的异常类对象，之后跳转到Handler PC的位置去执行对应的字节码指令

注意：

当异常出现的时候也会压入操作数栈，之后还会存储局部变量表中