return和finally执行详解

这篇文章我们来看一下return和finally的执行顺序

示例

public static int case2() {
    int x;
    try {
        x = 1;
        return ++x;
    } finally {
        x = 3;
    }
}

运行结果为2，为什么呢？我们通过字节码文件来找到答案。

Java为两个x定义了两个变量，名字都为x，两个x的作用域不一样！

执行顺序

我们看下字节码文件

0: iconst_1 // 将常量1推入操作数栈顶
1: istore_0 // 弹出栈顶元素（1），保存到局部变量表slot[0]，此时slot[0]=1。这两条指令对应源码：x = 1;
2: iinc          0, 1 // 对局部变量表slot[0]进行自增（+1）操作，此时slot[0]=2，对应源码：++x;所以，可以看出return后面的表达式先执行
5: iload_0 // 将局部变量表slot[0]的值推入操作数栈顶，也就是说把上面x的值（2）推入栈顶
6: istore_1 // 弹出栈顶元素（2），保存到局部变量表slot[1]，此时slot[1]=2。其实，此时就已经把要return的值准备好了
7: iconst_3 // 将常量3推入操作数栈顶，这一条指令开始，其实是开始执行finally中的代码了
8: istore_0 // 弹出栈顶元素（3），保存到局部变量表slot[0]，此时slot[0]=3。这两个指令对应源码：x = 3;这里要注意的是，虽然都是更新了x的值，但是finally中的x和try中x的赋值，保存在了不同的局部变量表中
9: iload_1 // 将局部变量表slot[1]的值推入操作数栈顶，此时栈顶元素的值为2，是第6行指令保存的值，也就是经过++x之后的值
10: ireturn // 将操作数栈顶的值返回给调用方

从字节码文件可以看出，
1、首先执行return 的内容代码 ++x
2、然后执行finally中的语句 x=3
3、最后执行return