Java 异常处理try、catch、finally和return执行顺序

目录

• 问题背景
  • finally语句一定执行吗
  • finally语句与return的执行顺序
• 问题分析
  • 1. finally语句在f()执行之后、y返回之前执行
  • 2. finally块中的return语句覆盖try块中的y
  • 3. finally语句块不改变栈中的值，可改变堆中的值
  • 4. try块里的return在异常情况下不执行
  • 5. catch和try中的return执行顺序相同
• 小结
• Reference

问题背景

finally语句一定执行吗

   网上有很多人探讨Java中异常捕获机制 try...catch...finally 块中的finally语句是不是一定会被执行？很多人都说不是，当然他们的回答是正确的，至少有两种情况下finally语句是不会被执行的：

   （1）try语句没有被执行到就不会执行finally。如在try语句之前程序结束执行，那么finally语句就不会执行，这也说明了finally语句被执行的必要而非充分条件是相应的try语句一定被执行到。

   （2）在try块中执行了System.exit(0)。System.exit(0)的作用是终止Java虚拟机，连JVM都停止了，所有都结束了，当然finally语句也不会被执行到。

finally语句与return的执行顺序

   还有很多人探讨finally语句的执行与return的关系，让人颇为迷惑，不知道finally语句是在try的return之前执行还是之后执行？我觉得应该是：finally语句是在try的return语句执行之后，return返回之前执行。这样的说法有点矛盾，也许是我表述不太清楚，下面我给出自己试验的一些结果和示例进行佐证，有什么问题欢迎大家提出来。

  记return后的语句为y=f()，则finally语句在f()执行之后、y返回之前执行。

问题分析

1. finally语句在f()执行之后、y返回之前执行

public class FinallyTest1 {

    public static void main(String[] args) {
          System.out.println(test1());
    }

    public static String test1() {
        try {
            System.out.println("try block");
             // ①计算 f() 结果，记作 y，② 执行 finally，③ 返回 y
            return test2();
        } finally {
            System.out.println("finally block");
        }
    }

    public static String test2() {
        System.out.println("return statement");
        return "after return";
    }

  运行结果为：

try block

return statement

finally block

after return

  说明try中的f() = test2() 先执行了，得到结果y，并且待finally块执行结束后再返回y。这里大家可能会想：如果finally里也有return语句，那么是不是就直接返回了，try中的return就不能返回了？看下面。

2. finally块中的return语句覆盖try块中的y

public class FinallyTest2 {
   public static void main(String[] args) {
      System.out.println(test2());
   }
    public static int test2() {
        int b = 20;
        try {
            System.out.println("try block");
            return b += 80;
        } catch (Exception e) {
            System.out.println("catch block");
        } finally {
            System.out.println("finally block");
            if (b > 25) {
                System.out.println("b>25, b = " + b);
            }
            return 200;//可以被“具体值”覆盖
        }
        // return b;
    }

运行结果是：

try block

finally block

b>25, b = 100

200

这说明finally里的return直接返回了，就不管try中是否还有返回语句，这也是不建议在finally中使用return的原因。这里还有个小细节需要注意，finally里加上return过后，try...catch...finally 外面的return b就变成不可到达语句了，也就是永远不能被执行到，所以需要注释掉；否则，编译失败。

那么直接从finally中返回了，这也是不建议在finally中return的原因。

这里大家可能又想：如果finally里没有return语句，但修改了b的值，那么try中return返回的是修改后的值还是原值？看下面。

3. finally语句块不改变栈中的值，可改变堆中的值

本节讨论如下场景：finally中没有return语句，但是改变了要返回的值。返回值y的类型如果是基本类型，则在finally块里被修改也不影响y，如果是引用类型则可以。如果y是文本字符串，也不受影响。

返回基本类型变量时是值，返回引用类型时是指向某个对象的地址；而且基本类型是被分配在栈中的，对象是被分配在堆中的，只要有引用指向这个对象，系统就不会回收此对象，所以可以在后面的finally块中改变引用指向的对象的内容，却无法改变try语句中return要返回的值，因为这个值已经与变量y无关了。

测试用例1：

public class FinallyTest3 {
public static void main(String[] args) {
System.out.println(test3());
}
    public static int test3() {
        int b = 20;
        try {
            System.out.println("try block");
            return b += 80;
        } catch (Exception e) {
            System.out.println("catch block");
        } finally {
            System.out.println("finally block");
            if (b > 25) {
                System.out.println("b>25, b = " + b);
            }
            b = 150; //基本类型的返回值y，不可被修改
            // return 3200; //可以被“具体值”覆盖
        }
        return 2000;
    }

}

运行结果是：

try block

finally block

b>25, b = 100

100

执行结果说明没有修改y。这也验证了finally语句块不会影响到栈中的值，即在执行finally之前，栈中的临时值已经确定为100了，执行finally语句将b的值变为150，对结果没有任何影响，执行完finally后的输出结果仍为100。

测试用例2：

import java.util.*;

public class FinallyTest6{
public static void main(String[] args) {
System.out.println(getMap().get("KEY").toString());
}
  public static Map<String, String> getMap() {
       Map<String, String> map = new HashMap<String, String>();
       map.put("KEY", "INIT");
       try {
           map.put("KEY", "TRY");
           return map;
       } catch (Exception e) {
           map.put("KEY", "CATCH");
       } finally {
           map.put("KEY", "FINALLY");// 修改y成功
           map = null;
           System.out.println("map是：" + map);
       }
       System.out.println("---- 走不到此处 --------");//  ①
       return map;
   }

运行结果是：

map是：null
FINALLY

为什么案例 test3()中finally里的b = 150并没有起到作用而案例 getMap()中finally的map.put("KEY", "FINALLY")起了作用，但是map = null却没起作用呢？这就是Java到底是传值还是传址的问题了，简单来说就是：Java中只有传值没有传址，这也是为什么map = null这句不起作用。 ①处的代码未执行说明finally外面的return 这句未执行。

测试用例3:

    public static String testStr() {
        String b = "init";
        try {
            System.out.println("try block");
            return b;
        } catch (Exception e) {
            System.out.println("catch block");
        } finally {
            b = b + "--";
            System.out.println("finally block, b = " + b);
        }
        return b;
    }

执行结果：

try block
finally block, b = init--
init

说明如果y是文本字符串，在finally语句块中改变它，也影响返回值。

这里大家可能又要想：是不是每次返回的一定是try中的return语句呢？那么finally外的return 语句一点作用没吗？请看下面。

4. try块里的return在异常情况下不执行

public class FinallyTest4 {

public static void main(String[] args) {

System.out.println(test4());
}

   public static int test4() {
        int b = 20;

        try {
            System.out.println("try block");
            b = b / 0;
            return b += 80; // ①
        } catch (Exception e) {
            b += 15;
            System.out.println("catch block, b = " + b);
        } finally {
            System.out.println("finally block");
            if (b > 25) {
                System.out.println("b>25, b = " + b);
            }
            b += 50;
        }
        System.out.println("---- 走此处 --------" + b);
        return 320 + b; // ②
    }

运行结果是：

try block

catch block, b = 35

finally block

b>25, b = 35

---- 走此处 --------85

405

这里因 为在return之前发生了除0异常，所以①不会被执行，而是接着执行捕获异常的catch 语句和最终的finally语句。此时两者对b的修改都影响了最终的返回值，从②返回的结果可以看出来。大家可能又有疑问：如果catch中有return语句呢？当然只有在异常的情况下才有可能会执行，那么是在finally之前就返回吗？看下面。

5. catch和try中的return执行顺序相同

public class FinallyTest5 {

public static void main(String[] args) {
     System.out.println(test5());
}

    public static int test5() {
        int b = 20;
        try {
            System.out.println("try block");
            b = b /0;
            return b += 80;
        } catch (Exception e) {
            System.out.println("catch block");
            return b += 15;
        } finally {
            System.out.println("finally block");
            if (b > 25) {
                System.out.println("b>25, b = " + b);
            }
            b += 50;
        }
        //return b;
    }
}

运行结果如下：

try block

catch block

finally block

b>25, b = 35

35

执行结果说明发生异常后，catch中的return语句先执行，计算完返回值y后将其保存起来，再去执行finally块；执行完finally块就把先去保存的y返回，finally里修改b对返回值y无影响，原因同前面的 test3() 。至此，也就推理出结论：catch中的return语句和try中的执行顺序完全一样。

小结

• finally块的语句在try或catch中的return语句执行之后返回之前执行。
• finally语句块不改变栈中的值y，可改变堆中的值。
  
  y的类型如果是基本类型，其临时存放在栈中，则在finally块里被修改也不影响y，如果是存放在堆中的引用类型则可以。finally块里改变文本字符串也不影响y。
• finally里的return语句覆盖try或catch中的return语句直接返回。

下面看一个甲骨文的面试题：

public class test {
    public static void main(String[] args) {
        try {
            aMethod();
        } catch (Exception e) {
            System.out.println("exception");// ①
        }
        System.out.println("finish");// ②
    }

    public static void aMethod() throws Exception {
        try {
            throw new Exception();
        } finally {
            System.out.println("finally"); // ③
        }
    }
}

面试题分析：首先，进入上述try代码块后，不管try是否抛异常，finally块一定会执行，因此抛异常之前会执行 ③。然后，抛出的异常被调用者main方法捕获后执行①。最后，执行②。故执行结果如下：

finally
exception
finish

Reference

• https://www.cnblogs.com/aspirant/p/6789040.html
• https://www.cnblogs.com/lanxuezaipiao/p/3440471.html