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

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语句块将在方法返回之前被执行。

但是,在以下4种特殊情况下,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语句块后的语句;

图示try、catch、finally语句块的执行:

此处有知识点:对于有多个catch子句的异常程序而言,应该尽量将捕获底层异常类的catch子句放在前面,同时尽量将捕获相对高层的异常类的catch子句放在后面。否则,捕获底层异常类的catch子句将可能会被屏蔽。

 

 

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.test());
    }       
}

 

结果是2。

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

 

 

原博客:深入理解java异常处理机制

有return的情况下try catch finally的执行顺序(最有说服力的总结)

posted @ 2017-09-01 17:14  傍晚的羔羊  阅读(727)  评论(0编辑  收藏  举报