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