以前总结的是:finally总是在return 前执行。
这句话是没错,但是遇到如下代码。分析返回值时却解释不通了。
public int inc(){int x;try{x = 1;return x;}catch( Exception e ){x =2 ;return x;}finally{x = 3;}}
这个方法执行完后,返回的是多少呢?
如果按照前面的结论( finally 总是在return 前执行 ),那么变量x 总是被赋值为 3。所以返回值应该是 3。
实际运行结果是:1 !!!
为什么会这样呢?
通过单步调试发现执行路径如下:
先是, x = 1 ;
然后,return x ;
在然后,x = 3 ;
最后,return x ;
原来, return x 这一句有两步操作:
第一步,将 x 的值复制一份副本到最后一个本地变量表的 Slot 中(这个 Slot 里面的值在 ireturn 指令执行前会被重新读到操作栈顶,作为返回值使用 )
第二步,ireturn 返回 Slot中的值
这样也就解释的通,为什么最后返回值是1 了!
finally 语句块中的 x = 3,无法改变 Slot 中的值,所以返回的仍然是1。
上面的是针对原始类型操作而言,如果是引用类型呢?是不是会改变(毕竟同一引用)?
如下代码
public StringBuilder append(){StringBuilder sb = new StringBuilder();try{sb.append( "1" );return sb;}catch( Exception e ){sb.append( "2" );return sb;}finally{sb.append( "3" );}}
运行结果:13
表明上面的结论是正确的。
--------------------------------------------------------
下面是针对会抛出异常的情形,分析同上,仅做演示:
public int inc(){int x;try{x = 1;throwMethod();return x;}catch( Exception e ){x =2 ;return x;}finally{x = 3;}}public StringBuilder append(){StringBuilder sb = new StringBuilder();try{sb.append( "1" );throwMethod();return sb;}catch( Exception e ){sb.append( "2" );return sb;}finally{sb.append( "3" );}}public void throwMethod() throws Exception{throw new Exception( "抛出异常" );}
运行结果为:
2
123