Java笔试面试总结—try、catch、finally语句中有return 的各类情况

前言

之前在刷笔试题和面试的时候经常会遇到或者被问到 try-catch-finally 语法块的执行顺序等问题，今天就抽空整理了一下这个知识点，然后记录下来。

正文

本篇文章主要是通过举例的方式来阐述各种情况，我这里根据 try-catch-finally 语法块分为两种大情况讨论：try-catch 语法块和 try-catch-finally 语句块，然后再在每种情况里再去具体讨论。

一、try-catch 语句块

我们可以看看下面程序：

1public static void main(String[] args) {
2
3    System.out.println(handleException0());
4  }
5
6  /**
7   * try,catch都有return
8   * @return
9   */
10  private static String handleException0() {
11    try{
12      System.out.println("try开始");
13      String s = null;
14      int length = s.charAt(0);
15      System.out.println("try结束");
16      return "try块的返回值";
17    }catch (Exception e){
18      System.out.println("捕获到了异常");
19      return "catch的返回值";
20    }
21  }

执行结果：

try开始
捕获到了异常
catch的返回值

分析：程序首先执行 try 块里面的代码，try 块里面发现有异常，try 块后面的代码不会执行（自然也不会return），然后进入匹配异常的那个 catch 块，然后进入 catch 块里面将代码执行完毕，当执行到 catch 里面的return 语句的时候，程序中止，然后将此 return 的最终结果返回回去。

二、try-catch-finally 语句块

这种语法块我分为了 4 种情况讨论，下面进行一一列举。

1、第一种情况，try 块里面有 return 的情况，并且捕获到异常

例1：

1public static void main(String[] args) {
2  String result = handleException1();
3  System.out.println(result);
4}
5private static String handleException1() {
6  try{
7    System.out.println("try开始");
8    String str = null;
9    int length = str.length();
10    System.out.println("try结束");
11  }catch (Exception e){
12    System.out.println("捕获到了异常");
13  }finally {
14    System.out.println("finally块执行完毕了");
15  }
16  return "最终的结果";
17}

例1执行的结果如下：

try开始
捕获到了异常
finally块执行完毕了
最终的结果

例2:

1public static void main(String[] args) {
2  String result = handleException2();
3  System.out.println(result);
4}
5private static String handleException2() {
6  try{
7    System.out.println("try开始");
8    String str = null;
9    int length = str.length();
10    System.out.println("try结束");
11    return "try块的返回值";
12  }catch (Exception e){
13    System.out.println("捕获到了异常");
14  }finally {
15    System.out.println("finally块执行完毕了");
16  }
17  return "最终的结果";
18}

例2的执行结果如下：

try开始
捕获到了异常
finally块执行完毕了
最终的结果

分析：首先 例1 和 例2 的结果是很显然的，当遇到异常的时候，直接进入匹配到相对应的 catch 块，然后继续执行 finallly 语句块，最后将 return 结果返回回去。

第二种情况：try块里面有return的情况，但是不会捕获到异常

例3：

思考：下面代码try语句块中有return语句，那么是否执行完try语句块就直接return退出方法了呢？

1public static void main(String[] args) {
2  String result = handleException3();
3  System.out.println(result);
4}
5private static String handleException3() {
6  try{
7  	System.out.println("");
8    return "try块的返回值";
9  }catch (Exception e){
10    System.out.println("捕获到了异常");
11  }finally {
12    System.out.println("finally块执行完毕了");
13  }
14  return "最终的结果";
15}

例3的执行结果如下：

finally块执行完毕了
try块的返回值

分析：例3的结果其实我们可以通过打断点的方式去看看程序的具体执行流程，通过打断点我们可以发现，代码先执行 try块 里的代码，当执行到 return 语句的时候，handleException3方法并没有立刻结束，而是继续执行finally块里的代码，finally块里的代码执行完后，紧接着回到 try 块的 return 语句，再把最终结果返回回去， handleException 方法执行完毕。

第三种情况：try块和finally里面都有return的情况

例4：

1public static void main(String[] args) {
2    System.out.println(handleException4());
3  }
4
5  /**
6   * 情况3：try和finally中均有return
7   * @return
8   */
9  private static String handleException4() {
10    try{
11      System.out.println("");
12      return "try块的返回值";
13    }catch (Exception e){
14      System.out.println("捕获到了异常");
15    }finally {
16      System.out.println("finally块执行完毕了");
17      return "finally的返回值";
18    }
19  //  return "最终的结果";//不能再有返回值
20  }

例4的执行结果：

finally块执行完毕了
finally的返回值

分析：需要注意的是，当 try 块和 finally 里面都有 return 的时候，在 try/catch/finally 语法块之外不允许再有return 关键字。我们还是通过在程序中打断点的方式来看看代码的具体执行流程。代码首先执行 try 块 里的代码，当执行到 return 语句的时候，handleException4 方法并没有立刻结束，而是继续执行 finally 块里的代码，当发现 finally 块里有 return 的时候，直接将 finally 里的返回值（也就是最终结果）返回回去， handleException4 方法执行完毕。

第四种情况：try块,catch块,finally块都有return

例5：

1public static void main(String[] args) {
2    System.out.println(handleException5());
3  }
4
5  /**
6   * 情况4：try,catch,finally都有return
7   * @return
8   */
9  private static String handleException5() {
10    try{
11      System.out.println("try开始");
12      int[] array = {1, 2, 3};
13      int i = array[10];
14      System.out.println("try结束");
15      return "try块的返回值";
16    }catch (Exception e){
17      e.printStackTrace();//这行代码其实就是打印输出异常的具体信息
18      System.out.println("捕获到了异常");
19      return "catch的返回值";
20    }finally {
21      System.out.println("finally块执行完毕了");
22      return "finally的返回值";
23    }
24//    return "最终的结果";
25  }

例5的执行结果：

try开始
捕获到了异常
finally块执行完毕了
finally的返回值
java.lang.ArrayIndexOutOfBoundsException: 10
at com.example.javabasic.javabasic.ExceptionAndError.TryCatchFinally.handleException5(TryCatchFinally.java:25)
at com.example.javabasic.javabasic.ExceptionAndError.TryCatchFinally.main(TryCatchFinally.java:14)

分析：程序首先执行try块里面的代码，try块里面发现有异常，try块后面的代码不会执行（自然也不会return），然后进入匹配异常的那个catch块，然后进入catch块里面将代码执行完毕，当执行到catch里面的return语句的时候，程序不会马上终止，而是继续执行finally块的代码，最后执行finally里面的return，然后将此return的最终结果返回回去。

总结

其实，我们通过以上例子我们可以发现，不管return关键字在哪，finally一定会执行完毕。理论上来说try、catch、finally块中都允许书写return关键字，但是执行优先级较低的块中的return关键字定义的返回值将覆盖执行优先级较高的块中return关键字定义的返回值。也就是说finally块中定义的返回值将会覆盖catch块、try块中定义的返回值；catch块中定义的返回值将会覆盖try块中定义的返回值。
再换句话说如果在finally块中通过return关键字定义了返回值，那么之前所有通过return关键字定义的返回值都将失效——因为finally块中的代码一定是会执行的。

公众号：良许Linux

有收获？希望老铁们来个三连击，给更多的人看到这篇文章