网上经常能看到类似这样的问题:
static int test() {
int x = 1;
try {
return x;
} finally {
++x;
}
}
以上代码的返回值是多少,下面我从字节码指令的角度来简单分析以下这个问题.
使用命令javap -c命令,-c表示对代码进行反汇编.
得到如下结果(只包含关键部分,并给出):
static int test();
Code:
0: iconst_1 //int型常量值1入栈
1: istore_0 //将栈顶值保存到第一个局部变量(int类型)中,也就是x=1
*2: iload_0 //第一个局部变量入栈,也就是x的值入栈
*3: istore_2 //将栈顶值保存到第三个局部变量(int类型)中,这个变量在源码层面我们是不可见的
4: iinc 0, 1 //将第一个局部变量的值加1
*7: iload_2 //将第三个局部变量入栈
*8: ireturn //方法返回,并且返回值类型是int类型</span>
9: astore_1 //将异常保存到第二个局部变量(引用类型)
10: iinc 0, 1 //将第一个局部变量的值加1
13: aload_1 //将第一个局部变量的值(是个引用,指向异常)入栈
14: athrow //抛出异常
其中*标注的文字是关键部分,用通俗一点的话来表达就是:
如果try中没有发生异常的话,那么在执行finally代码块内的代码之前,首先将x的值保存在一个我们在源码上不可见的变量中,然后再执行finally的代码,最后在将之前保存的值给返回,这个值不是x变量中的值;
如果try中发生异常的话,那么就先将异常的引用保存在一个我们看不见的变量中(和之前不是一个变量),然后执行finally中的代码,最后将异常抛出.
其实这段代码没有什么意义,毕竟没人会这么写..