关于一个try、finally的问题解释

网上经常能看到类似这样的问题:

	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中的代码,最后将异常抛出.

其实这段代码没有什么意义,毕竟没人会这么写..