舉例:
Case1:try{} catch(){}finally{} return;
顯然程序按順序執(zhí)行。Case2:try{ return; }catch(){} finally{} return;
程序執(zhí)行try塊中return之前(包括return語句中的表達(dá)式運(yùn)算)代碼;
再執(zhí)行finally塊,最后執(zhí)行try中return;
finally塊之后的語句return,因?yàn)槌绦蛟趖ry中已經(jīng)return所以不再執(zhí)行。Case3:try{ } catch(){return;} finally{} return;
程序先執(zhí)行try,如果遇到異常執(zhí)行catch塊,
有異常:則執(zhí)行catch中return之前(包括return語句中的表達(dá)式運(yùn)算)代碼,再執(zhí)行finally語句中全部代碼,
最后執(zhí)行catch塊中return. finally之后也就是4處的代碼不再執(zhí)行。
無異常:執(zhí)行完try再finally再return.Case4:try{ return; }catch(){} finally{return;}
程序執(zhí)行try塊中return之前(包括return語句中的表達(dá)式運(yùn)算)代碼;
再執(zhí)行finally塊,因?yàn)閒inally塊中有return所以提前退出。Case5:try{} catch(){return;}finally{return;}
程序執(zhí)行catch塊中return之前(包括return語句中的表達(dá)式運(yùn)算)代碼;
再執(zhí)行finally塊,因?yàn)閒inally塊中有return所以提前退出。Case6:try{ return;}catch(){return;} finally{return;}
程序執(zhí)行try塊中return之前(包括return語句中的表達(dá)式運(yùn)算)代碼;
有異常:執(zhí)行catch塊中return之前(包括return語句中的表達(dá)式運(yùn)算)代碼;
則再執(zhí)行finally塊,因?yàn)閒inally塊中有return所以提前退出。
無異常:則再執(zhí)行finally塊,因?yàn)閒inally塊中有return所以提前退出。
結(jié)論:
1、不管有木有出現(xiàn)異常,finally塊中代碼都會執(zhí)行;
2、當(dāng)try和catch中有return時(shí),finally仍然會執(zhí)行;
3、finally是在return后面的表達(dá)式運(yùn)算后執(zhí)行的(此時(shí)并沒有返回運(yùn)算后的值,而是先把要返回的值保存起來,管finally中的代碼怎么樣,返回的值都不會改變,任然是之前保存的值),所以函數(shù)返回值是在finally執(zhí)行前確定的;
4、finally中最好不要包含return,否則程序會提前退出,返回值不是try或catch中保存的返回值。
總結(jié):任何執(zhí)行try 或者catch中的return語句之前,都會先執(zhí)行finally語句,如果finally存在的話。如果finally中有return語句,那么程序就return了,所以finally中的return是一定會被return的,編譯器把finally中的return實(shí)現(xiàn)為一個(gè)warning。
下面是個(gè)測試程序
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;
}
}
}
結(jié)果等于 2.
因?yàn)樵趖ry語句中,在執(zhí)行return語句時(shí),要返回的結(jié)果已經(jīng)準(zhǔn)備好了,就在此時(shí),程序轉(zhuǎn)到finally執(zhí)行了。在轉(zhuǎn)去之前,try中先把要返回的結(jié)果存放到不同于x的局部變量中去,執(zhí)行完finally之后,在從中取出返回結(jié)果,因此,即使finally中對變量x進(jìn)行了改變,但是不會影響返回結(jié)果。它應(yīng)該使用棧保存返回值。