以前总结的是: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