结论:

  • 不管有木有出现异常,finally 块中代码都会执行;
  • 当 try 和 catch 中有 return 时,finally 仍然会执行;
  • finally 是在 return 后面的表达式运算后执行的(此时并没有返回运算后的值,而是先把要返回的值保存起来,管 finally 中的代码怎么样,返回的值都不会改变,任然是之前保存的值),所以函数返回值是在 finally执行前确定的;
  • finally 中最好不要包含 return ,否则程序会提前退出,返回值不是 try 或 catch 中保存的返回值。

举例:

  • 情况1:
try{
    
} catch(){
    
} finally {
    
} 
return;

显然程序按顺序执行。

  • 情况2:
try{ 
    return; 
} catch() {
    
} finally {
    
} return;

程序执行 try 块中 return 之前(包括 return 语句中的表达式运算)代码;再执行 finally 块,最后执行 try 中return; finally 块之后的语句 return,因为程序在 try 中已经 return 所以不再执行。

  • 情况3:
try{ 

} catch() {
    return;
} finally {
    
} 
return;

程序先执行 try,如果遇到异常执行 catch 块,有异常:则执行 catch 中 return 之前(包括 return 语句中的表达式运算)代码,再执行 finally 语句中全部代码,最后执行 catch 块中 return . finally 之后也就是4处的代码不再执行。无异常:执行完 try 再 finally 再 return.

  • 情况4:
try{ 
    return; 
} catch() {
    
} finally {
    return;
}

程序执行 try 块中 return 之前(包括 return 语句中的表达式运算)代码;再执行 finally 块,因为 finally 块中有 return 所以提前退出。

  • 情况5:
try{
    
} catch() {
    return;
} finally {
    return;
}

程序执行 catch 块中 return 之前(包括 return 语句中的表达式运算)代码;再执行 finally 块,因为 finally块中有 return 所以提前退出。

  • 情况6:
try{ 
    return;
} catch() {
    return;
} finally {
    return;
}

程序执行try块中return之前(包括return语句中的表达式运算)代码;
有异常:执行 catch块中return之前(包括return语句中的表达式运算)代码;则再执行finally块,因为finally块中有return所以提前退出。
无异常:则再执行finally块,因为finally块中有return所以提前退出。

最终结论

任何执行try 或者catch中的return语句之前,都会先执行finally语句,如果finally存在的话。如果finally中有return语句,那么程序就return了,所以finally中的return是一定会被return的,编译器把finally中的return实现为一个warning。

下面是个测试程序:

public class FinallyTest {
	public static void main(String[] args) {	 
		System.out.println(new FinallyTest().test());;
	}
	static int test() {
		int x = 1;
		try {
			x++;
			return x;
		} finally {
			++x;
		}
	}
}

结果是2。
分析:
在try语句中,在执行return语句时,要返回的结果已经准备好了,就在此时,程序转到finally执行了。
在转去之前,try中先把要返回的结果存放到不同于x的局部变量中去,执行完finally之后,在从中取出返回结果,
因此,即使finally中对变量x进行了改变,但是不会影响返回结果。
它应该使用栈保存返回值。