JVM_字节码指令4_抛出异常指令与异常处理(异常表)

一、抛出异常指令：

1)athrow指令

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

除了使用throw语句显示抛出异常情况之外，JVN现范还规定了许多运行时异常会在其他]ava虚拟机指令检测到异常状况时自动抛出。

例如，在整数运算时，当除数为零时，虚拟机会在idiv或1div指令中抛出ArithmeticException异常。

2)注意

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

3)异常及异常的处理：

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

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

二、异常处理与异常表

1、处理异常

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

2、异常表

如果一个方法定义了一个try-catch或者try-finally的异常处理，就会创建一个异常表。

它包含了每个异常处理或者finally块的信息，异常表保存了每个异常处理信息，比如：

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

当一个异常被抛出时，JVM会在当前的方法里寻找一个匹配的处理：

(1) 如果没有找到，这个方法会强制结束并弹出当前栈帧，并且异常会重新抛给上层调用的方法(在调用方法栈帧)。

(2) 如果在所有栈帧弹出前仍然没有找到合适的异常处理。这个线程将终止。

(3) 如果这个异常在最后一个非守护线程里抛出，将会导致JVM自己终止，比如这个线程是个main线程。

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

三、例子

1. 抛出异常

(1)  方法内部抛出异常

    public void throwZero(int i) {
        if(i==0){
            throw new RuntimeException("参数为0");
        }
    }

字节码指令为：

 0 iload_1
 1 ifne 14 (+13)
 4 new #2 <java/lang/RuntimeException>
 7 dup
 8 ldc #3 <参数为0>
10 invokespecial #4 <java/lang/RuntimeException.<init>>
13 athrow
14 return

可以看出，如果i = 0,  则会先创建一个 RuntimeException对象， 然后压入栈顶;  再复制一份，进行初始化。 最后调用 athrow 抛出异常。

(2) 方法声明时抛出异常

    public void throwOne(int i) throws RuntimeException, IOException {
        if(i==1){
            throw new RuntimeException("参数为0");
        }
    }
}

其中使用 throws 抛出 RuntimeException, IOException  (作用是为了让调用者必须使用try-catch 处理???)

对应的字节码指令为：

 0 iload_1
 1 iconst_1
 2 if_icmpne 15 (+13)
 5 new #2 <java/lang/RuntimeException>
 8 dup
 9 ldc #3 <参数为0>
11 invokespecial #4 <java/lang/RuntimeException.<init>>
14 athrow
15 return

可以看出，和上面的例子1 并没有太大区别，仅仅是判断的值不一样(前者为0，后者为1)。

但是在throwOne的属性里， 除了 Code, 多一个Exceptions 属性：

0    cp_info #2    java/lang/RuntimeException
1    cp_info #25    java/io/IOException

2. 异常表与异常处理

    public void tryCatch(){
        File file = new File("Hello.txt");
        try {
            FileInputStream fls = new FileInputStream(file);
            String info = "Hello";
        } catch (FileNotFoundException e) {
            e.printStackTrace();
        } catch (RuntimeException e){
            e.printStackTrace();
        }
    }

对应的字节码指令：

 0 new #8 <java/io/File>
 3 dup
 4 ldc #9 <Hello.txt>
 6 invokespecial #10 <java/io/File.<init>>
 9 astore_1
10 new #11 <java/io/FileInputStream>
13 dup
14 aload_1
15 invokespecial #12 <java/io/FileInputStream.<init>>
18 astore_2
19 ldc #13 <Hello>
21 astore_3
22 goto 38 (+16)
25 astore_2
26 aload_2
27 invokevirtual #15 <java/io/FileNotFoundException.printStackTrace>
30 goto 38 (+8)
33 astore_2
34 aload_2
35 invokevirtual #16 <java/lang/RuntimeException.printStackTrace>
38 return

其中25~35，表示是异常处理。  (局部变量表中的下标为2 对应是 fls变量)

异常表ExceptionTable 里的信息如下： 

Nr. Start Pc  End PC    HandlerPC
0	10	      22	    25	      cp_info #11 java/io/FileNotFoundException
1	10	      22	    33	      cp_info #2 java/io/RuntimeException

可以看出， try-catch 是通过异常表处理的