首先,直接说结论:(一定要看举例和测试程序!)
1、不管有木有出现异常,finally块中代码都会执行;
2、当try和catch中有return时,finally仍然会执行;
3、finally是在return后面的表达式运算后执行的(此时并没有返回运算后的值,而是先把要返回的值保存起来,不管finally中的代码怎么样,返回的值都不会改变,任然是之前保存的值),所以函数返回值是在finally执行前确定的;
4、finally中最好不要包含return,否则程序会提前退出,返回值不是try或catch中保存的返回值。
举例:
情况一:
try{
} catch() {
} finally {
}
return;
显然程序按顺序执行。
情况二:
try {
return;//①
} catch() {
} finally {
}
return;//②
程序执行try块中①return之前(包括①return语句中的表达式运算)代码;
再执行finally块,最后执行try中①return;
finally块之后的语句②return,因为程序在try中已经①return所以不再执行。
情况三:
try {
} catch() {
return;//①
} finally {
}
return;//②
程序先执行try,如果遇到异常执行catch块,
有异常:则执行catch中①return之前(包括①return语句中的表达式运算)代码,再执行finally语句中全部代码,
最后执行catch块中①return;finally之后也就是②return的代码不再执行。
无异常:执行完try再finally再return
情况四:
try {
return;//①
} catch() {
} finally {
return;//②
}
程序执行try块中①return之前(包括①return语句中的表达式运算)代码;
再执行finally块,因为finally块中有②return所以提前退出。
情况五:
try {
} catch() {
return;//①
} finally {
return;//②
}
程序执行catch块中①return之前(包括①return语句中的表达式运算)代码;
再执行finally块,因为finally块中有②return所以提前退出。
情况六:
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 static int method_1() {
int a = 1;
try {
return a;
} catch (Exception e) {
System.out.println("11");
} finally {
++a;
return a;
}
}
结果:2
测试程序②
public static int method_2() {
int a = 1;
try {
int u = 1/0;
return a;
} catch (Exception e) {
System.out.println("11");
} finally {
++a;
return a;
}
}
结果:11 2
测试程序③
public static int method_3() {
int a = 1;
try {
int u = 1/0;
return a;
} catch (Exception e) {
System.out.println("11");
return a;
} finally {
++a;
}
}
结果:11 1
测试程序④
public static int method_4() {
int a = 1;
try {
return a;
} catch (Exception e) {
System.out.println("11");
} finally {
++a;
}
return a;
}
结果:1
测试程序⑤
public static int method_5() {
int a = 1;
try {
int u = 1 / 0;
return a;
} catch (Exception e) {
System.out.println("11");
return a + 1;
} finally {
++a;
System.out.println("22");
}
}
结果:11 22 2
测试程序⑥
public static int method_6() {
int a = 1;
try {
int u = 1 / 0;
return a;
} catch (ArithmeticException e) {
System.out.println("11");
return a + 1;
} catch (Exception e) {
System.out.println("22");
return a;
} finally {
++a;
}
}
结果:11 2
测试程序⑦
public static int method_7() {
int a = 1;
try {
int u = 1 / 0;
return a;
} catch (NullPointerException e) {
System.out.println("11");
return a + 1;
} catch (Exception e) {
System.out.println("22");
return a;
} finally {
++a;
}
}
结果:22 1
分析:
在try语句中,在执行return语句时,要返回的结果已经准备好了,就在此时,程序转到finally执行了。在转去之前,try中先把要返回的结果存放到不同于a的局部变量中去,执行完finally之后,在从中取出返回结果,因此,即使finally中对变量a进行了改变,但是不会影响返回结果,它应该使用栈保存返回值。