手记

【Java疑难杂症】有return的情况下try catch finally的执行顺序

有这样一个问题,异常处理大家应该都不陌生,类似如下代码:

 1 public class Test {
 2     public static void main(String[] args) {
 3         int d1 = 0;
 4         int d2 = 1;
 5         try {
 6             d2--;
 7             d1 = 1 / d2;
 8             System.out.println("try");
 9         }catch (Exception e){
10             System.out.println("Catch An Exception.");
11         }finally {
12             System.out.println("finally");
13         }
14     }
15 }

运行到第7行的时候,会出现算术异常,try语句块捕获到这个异常,然后开始执行catch语句块中的内容,最后执行,finally语句块中的内容,因此输出如下:

Catch An Exception.
finally

但是,如果try,catch,finally语句中有return的时候,会怎样呢?

我们都知道,finally语句块是不论如何都会执行的,那三个块中的return,会先返回谁呢?我们来进行一下测试:

public class Test {
    public static void main(String[] args) {
        int i = Test.getReturn();
        System.out.println(i);

    }

    public static int getReturn(){
        int a = 0;
        int d1 = 0;
        int d2 = 1;
        try {
      //try语句块中没有发生异常
            a = 10;
            d1 = 1 / d2;
            return a;
        }catch (Exception e){
            a = 20;
            System.out.println("Catch An Exception.");
            return a;
        }finally {
            a = 30;
            System.out.println("finally");
            return a;
        }
    }
}

这里的try语句块中没有发生异常,那么执行顺序如何呢?在try中的return是直接返回吗?finally的return该怎样处理呢?先让我们看一下结果:

finally
30

结果是执行完成finally语句块之后,使用的是finally语句块中的a,而不是try语句块中的a。

那如果try中出现异常呢?我们改动一下:

public class Test {
    public static void main(String[] args) {
        int i = getReturn();
        System.out.println(i);

    }

    public static int getReturn(){
        int a = 0;
        int d1 = 0;
        int d2 = 1;
        try {
            a = 10;
            d1 = 1 / (--d2);
            return a;
        }catch (Exception e){
            a = 20;
            System.out.println("Catch An Exception.");
            return a;
        }finally {
            a = 30;
            System.out.println("finally");
            return a;
        }
    }
}

好的,现在try中出现了算术异常,catch语句块将被执行,然后再执行finally语句块,这样的话返回结果如何呢?

Catch An Exception.
finally
30

还是返回30,也就是finally中a的值

如果去掉finally中的return会怎样?

public class Test {
    public static void main(String[] args) {
        int i = getReturn();
        System.out.println(i);

    }

    public static int getReturn(){
        int a = 0;
        int d1 = 0;
        int d2 = 1;
        try {
            a = 10;
            d1 = 1 / (--d2);
            return a;
        }catch (Exception e){
            a = 20;
            System.out.println("Catch An Exception.");
            return a;
        }finally {
            a = 30;
            System.out.println("finally");
            //return a;
        }
    }
}

输出如下:

Catch An Exception.
finally
20

返回的是catch语句块中的a。先执行catch语句块中的代码,finally语句虽然执行了,a的值应该也被修改成30了,但实际返回的却是20,。

我们再来做一个测试,把catch和finally语句块中的return都注释掉,来看看返回情况:

public class Test {
    public static void main(String[] args) {
        int i = getReturn();
        System.out.println(i);

    }

    public static int getReturn(){
        int a = 0;
        int d1 = 0;
        int d2 = 1;
        try {
            a = 10;
            d1 = 1 / (d2);
            return a;
        }catch (Exception e){
            a = 20;
            System.out.println("Catch An Exception.");
            //return a;
        }finally {
            a = 30;
            System.out.println("finally");
            //return a;
        }
        return a;
    }
}

输出如下:

finally
10

所以finally中虽然修改了a的值,但实际返回的是修改之前的值。也就是相当于程序先用一个瓶子将try中的return的值装起来,后面不管finally如果修改a的值,返回值都不会变,但这只是因为返回的是基本数据类型,如果是引用类型,还是有点区别的,来看个栗子。

先声明一个Stu类:

public class Stu {
    String name;

    public String getName() {
        return name;
    }

    public void setName(String name) {
        this.name = name;
    }

}

测试一下:

public class Test {
    public static void main(String[] args) {
        Stu stu = getReturn();
        System.out.println(stu.getName());

    }

    public static Stu getReturn(){
        Stu stu = new Stu();
        int d1 = 0;
        int d2 = 1;
        try {
            stu.setName("1");
            d1 = 1 / (d2);
            return stu;
        }catch (Exception e){
            stu.setName("2");
            System.out.println("Catch An Exception.");
        }finally {
            stu.setName("3");
            System.out.println("finally");
        }
        return stu;
    }
}

输出如下:

finally
3

所以你看,现在还是变成了finally中的修改值,所以瓶子里装的只是变量中的内容,只能保证这个内容不会变,如果是引用变量,变量中存储的是引用对象的地址,finally中对引用对象的修改还是会影响到返回对象的。

所以结论其实很简单,try,catch,finally语句块的return的优先级由低到高,先执行try中return之前的语句,如果遇到异常,则执行catch语句中return之前的代码,最后执行finally语句块,finally语句块中如果有return,那么程序就会提前返回,如果没有,则返回catch语句块中的return,如果没有遇到异常,则直接执行finally中的语句块,再看finally语句块中是否有return来决定返回结果。

结论:

1、不管是否出现异常,finally块中的代码都会执行;

2、当try和catch中有return时,finally仍然会执行,finally中的return优先级大于catch大于try;

3、finally是在return后面的表达式运算后执行的(此时并没有返回运算后的值,而是先把要返回的值保存起来,管finally中的代码怎么样,返回的值都不会改变,任然是之前保存的值),所以函数返回值是在finally执行前确定的;

4、finally中最好不要包含return,否则程序会提前退出,返回值不是try或catch中保存的返回值。

真正重要的东西,用眼睛是看不见的。

0人推荐
随时随地看视频
慕课网APP