结论:
- 不管有木有出现异常,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进行了改变,但是不会影响返回结果。
它应该使用栈保存返回值。