先上代码
public class TestReturn {
public int testReturn(int a) {
try {
return a;
} finally {
a++;
}
}
public static void main(String[] args) {
System.out.println(new TestReturn().testReturn(1));
}
}代码很简单，输出结果为啥呢？1 or 2？
这是一道经常在笔试中考的java基础问题，这次我们从字节码的角度来分析一下，return究竟return了啥。
我们用javap -v命令对class文件进行反编译，得到如下描述(抽取方法部分)：
字节码其实就是用jvm的指令（200多个）对栈和局部变量表的操作。
继续分析字节码：
初始值：栈顶：空，局部变量表：[this,1,...]
第六行：0: iload_1，iload是一个操作指令，表示加载局部变量表下标为1的值到栈顶，因为是普通方法，0放的是this对象，1放的是第一个入参，i表示此参数为int类型，iload_1表示把第一个入参加载到栈顶。
栈顶：1，局部变量表：[this,1,...]
第七行：1: istore_2，istore也是一个jvm指令，把栈顶值弹出存放到局部变量表下标为2的位置。
栈顶：空，局部变量表：[this,1,1,...]
第八行：2: iinc 1, 1，iinc是一个自增指令, 是对局部变量表里的内容做自增，参数1, 1表示在局部变量表的下标为1的值+1。
栈顶：空，局部变量表：[this,2,1,...]
第九行：5: iload_2，加载局部变量表下标为2的值到栈顶。
栈顶：1，局部变量表：[this,2,1,...]
第十行：6: ireturn，栈顶弹出返回，此时栈顶的值为1，所以返回值为1。
程序的主体部分到这里就结束了，但是我们发现下面还有好几行指令是在干嘛呢？
Exception table:
from to target type
0 2 7 anyException table: from to target type 0 2 7 any
先来看看这个Exception table，我们源代码里并没有写catch，但是javac编译器却帮我们自动生成了异常表，from，to表示需要对哪部分指令做异常捕获，这里的值是0，2，意思就是在对：
0: iload_1
1: istore_2
2: iinc 1, 1这几个指令操作做捕获，如果这几个指令抛出了异常，程序跳到target 7，也就是第七行指令：
7: astore_3
8: iinc 1, 1
11: aload_3
12: athrow下面来分析一下抛异常的时候的执行指令：
astore_3：a表示是一个对象，此处为异常对象，把异常对象存储到局部变量表的3号下标位置。
栈顶：1，局部变量表：[this,1,1,exception...]
iinc 1, 1：对局部变量表1位置的值加1
栈顶：1，局部变量表：[this,2,1,exception...]
aload_3：加载局部变量表3位置的值到栈顶
栈顶：exception，局部变量表：[this,2,1,exception...]
athrow：弹出栈顶，并抛出栈顶的异常对象
整个流程用伪代码来说就像下面这样：
总结：
我们通过分析class文件可以很清楚的发现：
1，有try块的程序无论有没有catch，在字节码层面都会被拆解成2部分，正常部分和异常处理部分，finally块的程序会被分别插入到这2部分之中，所以finally关键字其实只是一个语法糖。
2，对于自增操作其实是操作的局部变量表，而返回值返回的是栈顶的值，关键点是要看局部变量表在函数返回之前有没有被load到栈顶。
