java finally return执行顺序的字节码解读

java finally和return执行顺序的字节码解读

前言
笔者和朋友讨论finally和return的执行顺序问题，笔者毫不犹豫地给出了当然finally在return之前的答案。但是某天朋友发来一个截图，笔者就郁闷了，总觉得哪里不对。截图如下：

如果return总在最后，那返回结果应该是1才对，但现实是残酷的。这不科学，这是笔者当时的内心独白，但直觉告诉我这个示例是有问题的，原因在于x是局部变量，而且还是值传递，不是引用传递。

为了验证笔者的猜测，决定通过分析字节码来给出答案

为了能更好的说明问题，笔者修改了示例代码

public class Tester {
    public static void main(String[] args){
        System.out.print(test());
    }
    static int test() {
        int x = 0;
        try {
            if (x > 0) {
                return 1;
            } else {
                return 0;
            }
        } finally {
            ++x;
        }
    }
}

查看字节码用到的命令

javap -verbose Tester.class

结果如下：（只关注test方法体）

通过上图，笔者相信大家对于字节码的解读会有些懵，没关系，笔者也是突击学习，一步步来嘛。

首先对于JVM的内存模型应该有个比较大概的印象：堆（对象存放的地方）、栈（线程本地变量存放的地方）这两个比较重要的区域。目前关注的就是栈，在java中栈是线程私有的，栈中存储的基本元素就是栈帧，每次方法的调用就向线程栈中放入一个栈帧。栈帧中又包括了局部变量表，操作数栈。

字节码与操作的命令的对应

store : 将变量存放到局部变量表中

load：将变量从局部变量表中压入操作数栈顶

计算机的指令执行微观来看肯定是顺序的，所以在图中0-25的指令执行肯定是有一定顺序的。

有了以上的认识，再来看字节码就容易多了。为了方便分析，笔者特地划出了四个红方框，前三个红框分别是if else exception 对应的指令。而第四个方框则说明了源代码中的代码与指令的对应关系：当前比较关心的就是第15行++x到底
什么时候执行，根据对应关系发现，第15行代码对应了第8、15条指令 iinc ，在前三个方框中都能找到指令iinc，这也从侧面证明finally块任何时候都会运行。

以if代码框为例说明：

++i代表的指令 8：iinc 在 12：ireturn 之前被执行

结论不言而喻：finally块总在return之前执行。

那为什么会返回0而不是1呢？笔者给出了另外一个例子

在上述例子中又引出了另外一个java问题：方法参数数的传递是值传递还是引用传递，暂且不论是哪种传递，不知朋友们对于笔者关于finally和return执行顺序的解读是否赞同，如有高见，列为仁兄请移步java博客党（qq：313145288）