Java中Return和Finally运行顺序的实现-白红宇

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

[java]
publc int test(){  
    int x;  
    try{  
        x = 1;  
        return x;  
    }catch(Exception e){  
        x = 2;  
        return x;  
    }finally{  
        x = 3;  
    }  
}  

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

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

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

[java]
public int test();  
  Code:  
   Stack=1, Locals=5, Args_size=1  
   0:   iconst_1   //将1写入栈顶  
   1:   istore_1   //将栈顶值（1）写入第2个int型本地变量  
   2:   iload_1    //将第2<span style="font-family: Arial, Helvetica, sans-serif;">个int型本地变量load到栈顶（Return语句的開始）</span>  
   3:   istore  4  //保存栈顶值到<span style="font-family: Arial, Helvetica, sans-serif;">第4个int型本地变量</span>，此时x=1  
   5:   iconst_3   //将3写入栈顶（Finally開始）  
   6:   istore_1   //将3写入<span style="font-family: Arial, Helvetica, sans-serif;">第2个int型本地变量</span>  
   7:   iload   4  //将<span style="font-family: Arial, Helvetica, sans-serif;">第4个int型本地变量的值laod到栈顶</span>  
   9:   ireturn    //返回栈顶的值  
   10:  astore_2  
   11:  iconst_2  
   12:  istore_1  
   13:  iload_1  
   14:  istore  4  
   16:  iconst_3  
   17:  istore_1  
   18:  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中的代码已无法影响返回值了。

本文转自mfrbuaa博客园博客，原文链接：http://www.cnblogs.com/mfrbuaa/p/5219544.html，如需转载请自行联系原作者