一、抛出异常指令

1.1、说明

( 1)athrow指令
在]ava程序中显示抛出异常的操作(throw语句)都是由athrow指令来实现。
除了使用throw语句显示抛出异常情况之外,JVM规范还规定了许多运行时异常会在其他Java虚拟机指令检测到异常状况时自动抛出。例如,在之前介绍的整数运算时,当除数为零时,虚拟机会在 idiv或ldiv指令中抛出ArithmeticException异常。

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

异常及异常的处理:
过程一:异常对象的生成过程—-> throw(手动/自动) —-> 指令:athrow
过程二:异常的处理:抓抛模型。try-catch-finally —-> 使用异常表

1.2、举例

加入传入的参数i为0,字符串在操作数栈中都是地址值,这里是为了方便演示才直接填入的字符串值
image.png
加上throws就会生成Exceptions
image.png

二、异常处理和异常表

2.1、处理异常

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

2.2、异常表

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

  • 起始位置
  • 结束位置
  • 程序计数器记录的代码处理的偏移地址
  • 被捕获的异常类在常量池中的索引

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

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

2.3、举例

image.png
在字节码指令0到22这个范围内出现异常就会转到下标25或33的位置进行异常处理。
image.png
如果字节码3-5出现异常就走10,astore_2是将异常类对象的地址值存入局部变量表角标为2的位置,athrow将对象抛出去,一般是上层的调用者(一般是某个方法)
image.png