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

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

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代码的字节码：

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中的代码已无法影响返回值了。