try-catch-finally执行顺序你都搞明白了吗?

4,353 阅读5分钟

引言

java异常处理中,try、catch、finally的执行顺序,大家都知道是按顺序执行的,这里我就不废话了。但是当try、catch、finally中加入return之后,就会有几种不同的情况出现,下面分别来说明一下。也可以跳到最后直接看总结。

正文

这里共列举五种情况,会对其一一说明。

try块中有return

try{
    System.out.println("try块代码运行了");
    return 0;
}catch(Exception e){
    System.out.println("catch块代码运行了");
}finally {
    System.out.println("finally块代码运行了");
}
return 1;

输出结果:

try块代码运行了
finally块代码运行了
​
最终返回:0

执行流程:

执行try块中return前(包括return语句中的表达式运算)的代码 -> 执行finally块 -> 执行try中return。

结论:

当try中带有return时,会先执行return前的代码,然后暂时保存需要return的信息,再执行finally中的代码,最后再通过return返回之前保存的信息。finally块之后的语句return不再执行,因为程序在try中已经return过了,方法的执行已经结束。

但有一点需要注意,如果返回值是引用类型呢?再看另外一个例子:

List<Integer> list = new ArrayList<>();
try {
    list.add(0);
    System.out.println("try:" + list);
    return list;
} catch (Exception e) {
    list.add(1);
    System.out.println("catch:" + list);
} finally {
    list.add(2);
    System.out.println("finally:" + list);
}
return list;

输出:

try:[0]
finally:[0,2]
​
最终返回:[0,2]

看完这个例子,可能会发现问题,刚提到return时会临时保存需要返回的信息,不受finally块中代码的影响。但是在这里,list里存的不是变量本身,而是变量的地址,所以当finally通过地址改变了变量,还是会影响方法返回值的。

catch块中有return

try{
    System.out.println("try块代码运行了");
    //int x = 1 / 0 ;
}catch(Exception e){
    System.out.println("catch块代码运行了");
    return 0;
}finally {
    System.out.println("finally块代码运行了");
}
return 1;

输出结果:

//无异常
try块代码运行了
finally块代码运行了
    
最终返回:1
//有异常
try块代码运行了
catch块代码运行了
finally块代码运行了
    
最终返回:0

执行流程:

程序先执行try,如果遇到异常执行catch块。

有异常:执行catch中return之前(包括return语句中的表达式运算)代码,再执行finally语句中全部代码,最后执行catch块中return, finally之后的return不再执行。

无异常:执行完try再finally再return。

结论:

catch中return与try中类似,若出现异常,会暂时保存catch块中return的信息,再执行finally中的代码,最后再通过return返回之前保存的信息。

try块和finally块中有return

try{
    System.out.println("try块代码运行了");
    return 0;
}catch(Exception e){
    System.out.println("catch块代码运行了");
​
}finally {
    System.out.println("finally块代码运行了");
    return 1;
}

输出结果:

try块代码运行了
finally块代码运行了
    
最终返回:1

执行流程:

程序执行try块中return之前(包括return语句中的表达式运算)代码,再执行finally块。因为finally块中有return所以提前退出,而不再执行try中的return。

备注:

这种写法是可以编译通过的,但是编译器会给予警告。我们一般不在finally块中写return语句,这里只是刻意演示了一下效果。

catch块和finally块中有return

try{
    System.out.println("try块代码运行了");
    //int x = 1 / 0 ;
}catch(Exception e){
    System.out.println("catch块代码运行了");
    return 0;
}finally {
    System.out.println("finally块代码运行了");
    return 1;
}

输出结果:

//无异常
try块代码运行了
finally块代码运行了
    
最终返回:1

//有异常
try块代码运行了
catch块代码运行了
finally块代码运行了
    
最终返回:1

执行流程:

无异常:执行try后跳过catch执行finally,得到finally的返回值1;

有异常:程序执行catch块中return之前(包括return语句中的表达式运算)代码,再执行finally块。因为finally块中有return所以提前退出,而不再执行catch中的return。

try块、catch块和finally块中都有return

try{
    System.out.println("try块代码运行了");
    //int x = 1 / 0 ;
    return 0;
}catch(Exception e){
    System.out.println("catch块代码运行了");
    return 1;
}finally {
    System.out.println("finally块代码运行了");
    return 2;
}

输出结果:

//无异常
try块代码运行了
finally块代码运行了

最终返回:2
    
//有异常
try块代码运行了
catch块代码运行了
finally块代码运行了

最终返回:2    

执行流程:

程序执行try块中return之前(包括return语句中的表达式运算)代码,

无异常:然后再执行finally块,因为finally块中有return所以提前退出;

有异常:执行catch块中return之前(包括return语句中的表达式运算)代码,再执行finally块。因为finally块中有return所以提前退出

结论:

得到finally中的返回值2。

总结

  1. 无论catch是否捕获异常,finally语句块都是要被执行的。

  2. 当try块或catch块return一个值,那么finally块中的代码会在执行return后,返回之前执行。(此时并没有返回运算后的值,而是把要返回的值暂时保存起来)。

  3. finally中如果包含return,那么程序将在这里返回,而不是通过try或catch中的return返回,返回值就不是try或catch中保存的返回值了。会直接在finally中结束方法的执行,导致try、catch中的return失效

  4. 当try或catch,finally中都包含return的时候,要注意返回值的类型。finally修改的基本类型是不影响返回结果的,修改list、map、自定义类等引用类型时,是影响返回结果的。

  5. 编译器会对finally中的return给予警告,因为从finally中返回可能会导致异常丢失 。如:

    try
    {
        try
        {
            throw new RuntimeException("来自try块中的异常") ;
        }finally{  
            return;
        }
    }
    catch (Exception e)
    {
        e.printStackTrace(System.out) ;
    }
    

    这里无法捕获 我们自定义的运行时异常。

    又如:

    try
    {
        try
        {
            throw new RuntimeException("来自try块中的异常") ;
        }finally{
            throw new RuntimeException("来自finally块中的异常") ;
        }
    }
    catch (Exception e)
    {
        e.printStackTrace(System.out) ;
    }
    

    这里会丢失 第一个异常。