字节码层面理解try、catch、finally

面试中经常有关于try、catch、finally相关的问题，今天从字节码层面了解他们的运行流程。

简单代码

         直接上测试简单代码，如下图：

         这里是一个简单的测试代码，代码中有三个异常和一个finally，这里用一个int数组来替代对象，面试中经常会问最终会返回数组（对象）的值是多少？

在这里我们通过jclasslib查看编译后的字节码，并找到方法的字节码指令，如下图：

右边被圈中的就是test()方法执行的字节码指令，字节码指令较长，接下来一部分一部分的分析。

字节码指令分析

         前面30行之前的指令对应的是try-catch中间的代码，把fileInputStream与serverSocket初始化出来放到方法的变量表中。

         接着30行之后的指令如下图：

        

         aload_1加载本地变量表中第1项变量（this是第0项，ids是第1项），接着iconst_0、iconst_1分别表示加载int型0、1，iastore表示把第数组第0项设置值为1，最后astore表示把数组存入本地变量表，也就是在执行"ids[0] =1"这一步代码。

         我们看接下来37至40行指令与上一步比较相似，翻译过来是在执行"ids[0]=5"，41行至49行在执行“System.out.println("finally code");”这样代码，51行才执行了return；

         从上一段分析可以看出，直到finally中的代码执行完成后才执行了return指令。这样我们就能回答面试的那个问题了，因为在finally中修改了数组的值！

异常处理

         先看看这个方法的异常表，如下图：

        

         异常表中除了我们代码中指明的三个异常外，编译器还自动生成了5个Any类型的异常，用于处理其他不可预期的异常处理。圈中的三列分别表示异常监控的指令开始、结束行以及处理行，也就是在对应的指令行出现异常他们就能处理。

         可以看到我们指明的异常监控的是try-catch中的指令，而编译器生成的则是监控异常处理中的指令。

         继续看字节码指令，如下图：

        

         根据异常表我已经圈出了第一个异常处理的指令，从52行开始，astore_2表示将索引存储到本地变量表中第2项，实际上就是将“FileNotFoundException e”产生的变量e存入，53至56行指令则是将数字2存入数组中，对应代码“ids[0]=2;”，说明在执行第一个catch中的代码。

         后面的指令可以很明显的看出来又是在执行finally中的代码，后面的几个异常基本相似，都是执行自己的catch中的代码后再次执行finally中代码，这里就不再一一分析了！

总结

         根据以上分析可以看出，finally不管是程序正常执行还是有异常，在字节码层面都会把finally中的代码编译在正常和异常代码后面，所以有多少个catch，finally代码就会多编译多少次，并且return指令都是在finally中的代码执行完成后才执行！