Java中Return和Finally运行顺序的实现

以下这段代码的运行结果是如何的呢？

[java] view
plaincopyprint?

1. publc int test(){
2. int x;
3. try{
4. ;
5. return x;
6. }catch(Exception e){
7. ;
8. return x;
9. }finally{
10. ;
11. }
12. }

相信对Java比較熟悉的朋友立即会说出正确答案：正常返回1。异常返回2。

我第一次看到这段代码时，对于finally里面的x=3产生了疑惑，不确定最后返回的x是否变成了3。直到从《深入理解Java虚拟机》里面找到了这段代码的字节码，才明确其执行机制。

以下是上面这段Java代码的字节码：

[java] view
plaincopyprint?

1. public int test();
2. Code:
3. , Locals=5, Args_size=1
4. :   iconst_1   //将1写入栈顶
5. :   istore_1   //将栈顶值（1）写入第2个int型本地变量
6. :   iload_1    //将第2<span style="font-family: Arial, Helvetica, sans-serif;">个int型本地变量load到栈顶（Return语句的開始）</span>
7. :   istore  4  //保存栈顶值到<span style="font-family: Arial, Helvetica, sans-serif;">第4个int型本地变量</span>，此时x=1
8. :   iconst_3   //将3写入栈顶（Finally開始）
9. :   istore_1   //将3写入<span style="font-family: Arial, Helvetica, sans-serif;">第2个int型本地变量</span>
10. :   iload   4  //将<span style="font-family: Arial, Helvetica, sans-serif;">第4个int型本地变量的值laod到栈顶</span>
11. :   ireturn    //返回栈顶的值
12. :  astore_2
13. :  iconst_2
14. :  istore_1
15. :  iload_1
16. :  istore  4
17. :  iconst_3
18. :  istore_1
19. :  iload   4
20. :  ireturn
21. :  astore_3
22. :  iconst_3
23. :  istore_1
24. :  aload_3
25. :  athrow

从上面的字节码能够看出，Return语句被分为两部分：iload 4和ireturn，在store和load之间插入的是finally代码。x的值首先被存放到一个指定的位置，再运行finally语句。这时finally中的代码已无法影响返回值了。