Java的try-catch-finally机制(重点在return的分析）

深入理解Java 的try…catch…finally机制

异常处理中，try…catch…finally一般是按照顺序执行的，在无异常情况下，try→finally；出现异常时，try→catch→finally。
特殊的，例如在文件输入输出过程中，需要返回字符型等变量时，会有多种情况出现，下面我列举一些情况供大家参考

1. try中带有return
   例如：

private int testReturn1() {
        int i = 1;
        try {
            i++;
            System.out.println("try:" + i);
            return i;
        } catch (Exception e) {
            i++;
            System.out.println("catch:" + i);
        } finally {
            i++;
            System.out.println("finally:" + i);
        }
        return i;
    }
    

输出为：

try:2
finally:3

原因
因为当try中带有return时，会先执行return前的代码，然后暂时保存需要return的信息到临时栈中，再执行finally中的代码，最后再通过return返回之前保存的信息。所以，这个方法返回的值是try中计算后的2，而非finally中计算后的3。

2. catch中带有return
   举个例子：

private int testReturn3() {
        int i = 1;
        try {
            i++;
            System.out.println("try:" + i);
            int x = i / 0 ;
        } catch (Exception e) {
            i++;
            System.out.println("catch:" + i);
            return i;
        } finally {
            i++;
            System.out.println("finally:" + i);
        }
        return i;
    }

输出结果为：

try:2
catch:3
finally:4
3

catch中return与try中一样，会先执行return前的代码，然后暂时保存需要return的信息，再执行finally中的代码，最后再通过return返回之前保存的信息。所以，这里方法返回的值是try、catch中累积计算后的3，而非finally中计算后的4。

3. finally中带有return
   老规矩，还是例子?

private int testReturn4() {
        int i = 1;
        try {
            i++;
            System.out.println("try:" + i);
            return i;
        } catch (Exception e) {
            i++;
            System.out.println("catch:" + i);
            return i;
        } finally {
            i++;
            System.out.println("finally:" + i);
            return i;
        }
    }

输出则是

try:2
finally:3
3

当finally中有return的时候，try中的return就会失效。在执行完finally的return之后，就不会再执行try中的return。这种写法，编译是可以编译通过的，但是编译器会给予警告，所以我认为不应该在finally中写return，这会破坏程序的逻辑，而且一旦finally里出现异常，会导致catch中的异常被覆盖，得不偿失，一般可以在finally输出一些表示结束的语句即可。

总结

try和catch的语句会按照正常和异常视情况执行，而finally则是无论如何都会被执行（当然直接报错被终止除外?），return语句也是遵循这个规律的，只是覆盖不覆盖的问题。我们可以把这三个部分想象为一个函数，其内部根据处理情况不同来执行不同语句，最后只会输出一种结果。当然可以有多个return存在其中，这使得情况会有些许复杂，但是遵循的规律还是以上三种，可以把情况分解然后再分析，这大概就是编程的魅力。