1500字范文,内容丰富有趣,写作好帮手!
1500字范文 > try-catch-finally-return执行路径总结

try-catch-finally-return执行路径总结

时间:2018-08-29 08:11:53

相关推荐

try-catch-finally-return执行路径总结

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

本内容不代表本网观点和政治立场,如有侵犯你的权益请联系我们处理。
网友评论
网友评论仅供其表达个人看法,并不表明网站立场。