try...catch...finally语句块

170 阅读5分钟

开启掘金成长之旅!这是我参加「掘金日新计划·12月更文挑战」的第一天,点击查看活动详情
try-catch-finally语句主要是用来处理检查异常,捕获并处理,以及最后必须要执行的finally块。

try-catch-finally语句入门:

1.try-catch-finally语句的一般语法形式为:

try{
       //可能会发生异常的程序代码
   }catch(Type1 id1){
       //捕获并处理try抛出的异常类型Type1
   }catch(Type2 id2){
       //捕获并处理try抛出的异常类型Type2
   }finally{
       //无论是否发生异常,都将执行的语句块
   }    

try块:用于捕获异常。其后可接零个或多个catch块,如果没有catch块,则必须跟一个finally块。
catch块:用于处理try捕获到的异常。
finally块:无论是否捕获或处理异常,finally块里的语句都会被执行。当在try块或catch块中遇到return语句时,finally语句块将在方法返回之前被执行。

但是,在以下四种特殊情况下,finally块不会被执行:
1)在finally语句块中发生了异常。
2)在前面的代码中用了System.exit()退出程序。
3)程序所在线程死亡。
4)关闭CPU。

2.try、catch、finally语句块的执行顺序:
1)当try没有捕获到异常时:try语句块中的语句逐一被执行,程序将跳过catch语句块,执行finally语句块和其后的语句;
2)当try捕获到异常,catch语句块里没有处理此异常的情况:当try语句块里的某条语句出现异常时,而没有处理此异常的catch语句块时,此异常将会抛给JVM处理,finally语句块里的语句还是会被执行,但finally语句块后的语句不会被执行;
3)当try捕获到异常,catch语句块里有处理此异常的情况:在try语句块中是按照顺序来执行的,当执行到某一条语句出现异常时,程序将跳到catch语句块,并与catch语句块逐一匹配,找到与之对应的处理程序,其他的catch语句块将不会被执行,而try语句块中,出现异常之后的语句也不会被执行,catch语句块执行完后,执行finally语句块里的语句,最后执行finally语句块后的语句:

20181018181745957.png

try-catch-finally语句进阶:

结论:
1、不管有木有出现异常,finally块中代码都会执行;
2、当try和catch中有return时,finally仍然会执行;
3、finally是在return后面的表达式运算后执行的(此时并没有返回运算后的值,而是先把要返回的值保存起来,管finally中的代码怎么样,返回的值都不会改变,任然是之前保存的值),所以函数返回值是在finally执行前确定的;
4、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 Main{
     static int test(){
        int x=1;
        try{
             x++;
             return x;
           } finally{
             ++x;
           }
       }
       
       public static void main(String[] args){
             Main m=new Main();
             System.out.println(m.text());
       }
}       

输出结果是2。

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