面试中经常有关于try、catch、finally相关的问题,今天从字节码层面了解他们的运行流程。
简单代码
直接上测试简单代码,如下图:
![fccdc4a6e53395d3499992846b92a2b6.png](https://i-blog.csdnimg.cn/blog_migrate/4c16da6c379809b9417b30d83ff56c90.jpeg)
这里是一个简单的测试代码,代码中有三个异常和一个finally,这里用一个int数组来替代对象,面试中经常会问最终会返回数组(对象)的值是多少?
在这里我们通过jclasslib查看编译后的字节码,并找到方法的字节码指令,如下图:
![82fb5de8c78aee752d2afafe85a919d0.png](https://i-blog.csdnimg.cn/blog_migrate/446ccaf5b034528ae52a1e06b4ffcdc0.jpeg)
右边被圈中的就是test()方法执行的字节码指令,字节码指令较长,接下来一部分一部分的分析。
字节码指令分析
前面30行之前的指令对应的是try-catch中间的代码,把fileInputStream与serverSocket初始化出来放到方法的变量表中。
接着30行之后的指令如下图:
![b5d7ebe25ba143decb66c1c25a585a83.png](https://i-blog.csdnimg.cn/blog_migrate/121f3ca82821e30474190e3c9d2a90e6.jpeg)
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中修改了数组的值!
异常处理
先看看这个方法的异常表,如下图:
![9919da2c8895320e926ba14ae9b041f5.png](https://i-blog.csdnimg.cn/blog_migrate/99679df7277dafa046d9f79766f506fe.jpeg)
异常表中除了我们代码中指明的三个异常外,编译器还自动生成了5个Any类型的异常,用于处理其他不可预期的异常处理。圈中的三列分别表示异常监控的指令开始、结束行以及处理行,也就是在对应的指令行出现异常他们就能处理。
可以看到我们指明的异常监控的是try-catch中的指令,而编译器生成的则是监控异常处理中的指令。
继续看字节码指令,如下图:
![27f5a12378abb9e739c8bbec566a093d.png](https://i-blog.csdnimg.cn/blog_migrate/57459a1640c350fdbab8ec94b8811452.jpeg)
根据异常表我已经圈出了第一个异常处理的指令,从52行开始,astore_2表示将索引存储到本地变量表中第2项,实际上就是将"FileNotFoundException e"产生的变量e存入,53至56行指令则是将数字2存入数组中,对应代码"ids[0]=2;",说明在执行第一个catch中的代码。
后面的指令可以很明显的看出来又是在执行finally中的代码,后面的几个异常基本相似,都是执行自己的catch中的代码后再次执行finally中代码,这里就不再一一分析了!
总结
根据以上分析可以看出,finally不管是程序正常执行还是有异常,在字节码层面都会把finally中的代码编译在正常和异常代码后面,所以有多少个catch,finally代码就会多编译多少次,并且return指令都是在finally中的代码执行完成后才执行!
Java程序员日常学习笔记,如理解有误欢迎各位交流讨论!
![7ba34f7b6a82583f9a4bbc369f35d14f.png](https://i-blog.csdnimg.cn/blog_migrate/86e6b865eefc9176aadb2fb7e896f660.jpeg)