Java finally语句到底是在return之前还是之后执行？

Posted 2021-01-21 阿玛尼迪迪

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

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

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

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

1、finally语句在return语句执行之后return返回之前执行的。

 1 package com.meng.javalanguage.finallytest;
 2 
 3 public class FinallyTest1 {
 4 
 5     public static void main(String[] agrs) {
 6         System.out.println(test1());
 7     }
 8     
 9     public static int test1() {
10         int b = 20;
11         try {
12             System.out.println("try block");
13             
14             return b += 80;
15         }catch(Exception e) {
16             System.out.println("catch block");
17         }
18         finally {
19             System.out.println("finally block");
20             
21             if(b > 25) {
22                 System.out.println("b > 25,b = " + b);
23             }
24         }
25         return b;
26     }
27 }

运行结果是：

　　说明return语句已经执行了再去执行finally语句，不过并没有直接返回，而是等finally语句执行完了再返回结果。

　　如果觉得这个例子不足以说明这个情况的话，下面再加个例子加强证明结论：

 1 package com.meng.javalanguage.finallytest;
 2 
 3 public class FinallyTest1 {
 4 
 5     public static void main(String[] args) {
 6         System.out.println(test11());
 7     }
 8     
 9     public static String test11() {
10         try {
11             System.out.println("try block");
12             
13             return test12();
14         } finally {
15             System.out.println("finally block");
16         }
17     }
18     
19     public static String test12() {
20         System.out.println("return statement");
21         
22         return "after return";
23     }
24 }

运行结果为：

　　说明try中的return语句先执行了但并没有立即返回，等到finally执行结束后再返回。

　　这里大家可能会想：如果finally里也有return语句，那么是不是就直接返回了，try中的return就不能返回了？看下面。

2、finally块中的return语句会覆盖try块中的return返回。

 1 package com.meng.javalanguage.finallytest;
 2 
 3 public class FinallyTest2 {
 4 
 5     public static void main(String[] args) {
 6         System.out.println(test2());
 7     }
 8     
 9     @SuppressWarnings("finally")
10     public static int test2() {
11         int b = 20;
12         
13         try {
14             System.out.println("try block");
15             
16             return b += 80;
17         }catch(Exception e) {
18             
19             System.out.println("catch block");
20         }
21         finally {
22             System.out.println("finally block");
23             
24             if(b > 25) {
25                 System.out.println("b > 25, b = " + b);
26             }
27             
28             return 200;
29         }
30         
31 //        return b;
32     }
33 }

运行结果是：

　　这说明finally里的return直接返回了，就不管try中是否还有没有返回语句。这里还有个小细节需要注意，finally里加上return过后，finally外面的return b;就变成了不可到达的语句，也就是永远不能被执行到，所以需要注释掉否则编译器报错。

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

 

3、如果finally语句中没有return语句覆盖返回值，那么原来的返回值可能因为finally里的修改而改变也可能不变。

测试用例1：

 1 package com.meng.javalanguage.finallytest;
 2 
 3 public class FinallyTest3 {
 4 
 5     public static void main(String[] args) {
 6         System.out.println(test3());
 7     }
 8     
 9     public static int test3() {
10         int b = 20;
11         
12         try {
13             System.out.println("try block");
14             
15             return b += 80;
16         }catch(Exception e) {
17             
18             System.out.println("catch block");
19         }
20         finally {
21             
22             System.out.println("finally block");
23             
24             if(b > 25) {
25                 System.out.println("b > 25, b = " + b);
26             }
27             
28             b = 150;
29         }
30         
31         return 2000;
32     }
33 }

运行结果是：

 

测试用例2：

 1 package com.meng.javalanguage.finallytest;
 2 
 3 import java.util.HashMap;
 4 import java.util.Map;
 5 
 6 public class FinallyTest6 {
 7     public static void main(String[] args) {
 8         System.out.println(getMap().get("KEY").toString());
 9     }
10     
11     public static Map<String, String> getMap() {
12         Map<String, String> map = new HashMap<String, String>();
13         
14         map.put("KEY","INIT");
15         
16         try {
17             map.put("KEY", "TRY");
18             return map;
19         }catch(Exception e) {
20             map.put("KEY", "CATCH");
21         }
22         finally {
23             map.put("KEY", "FINALLY");
24             map = null;
25         }
26         
27         return map;
28     }
29 }

运行结果是：

　　为什么测试用例1中finally里的b = 150;并没有起到作用而测试用例2中finally的map.put("KEY","FINALLY");起了作用而map = null;却没起作用呢？这就是Java到底是传值还是传址的问题了，return语句已经执行了：

　　1）再对b操作（b = 150;）相当于参数传递，操作的b是形式参数，不影响实际参数的值；

　　2）对map的操作（map = null）与1）同理，同样不影响实际参数的值；

　　3）对于map.put("KEY","FINALLY")，形参和实参的内容一致，且因为map为引用类型，所以形参和实参存储的为地址。此时调用形参改变自身内容的方法将会影响到该地址指向的对象的内容。所以，map中"KEY"对应的值改变了。

　　测试用例1还可以说明：返回语句是try中的return语句而不是finally外面的return 2000;这句。

 

4、try块里的return语句在异常的情况下不会被执行，这样具体返回哪个看情况。

 1 package com.meng.javalanguage.finallytest;
 2 
 3 public class FinallyTest4 {
 4     public static void main(String[] args) {
 5         System.out.println(test4());
 6     }
 7     
 8     public static int test4() {
 9         int b = 20;
10         
11         try {
12             System.out.println("try block");
13             
14             b = b / 0;
15             
16             return b += 80;
17         } catch(Exception e) {
18             
19             b += 15;
20             System.out.println("catch block");
21         }
22         finally {
23             
24             System.out.println("finally block");
25             
26             if(b > 25) {
27                 System.out.println("b > 25,b = " + b);
28             }
29             
30             b += 50;
31             
32         }
33         return b;
34 
35 
36     }
37 
38 }

运行结果是：

　　这里因为在return之前发生了除0异常，所以try中的return不会被执行到，而是接着执行捕获异常的catch语句和最终的finally语句，此时两者对b的修改都影响了最终的返回值，这时return b;就返回了最后对b进行修改后的值。当然如果你这里将return b改为return 300什么的，最后返回的就是300，这毋容置疑。

　　这里大家可能又有疑问：如果catch中有return语句呢？当然只有在异常的情况下才有可能会执行，那么是在finally之前就返回吗？看下面

5、当发生异常后，catch中的return执行情况与未发生异常时try中return的执行情况完全一样。

 1 package com.meng.javalanguage.finallytest;
 2 
 3 public class FinallyTest5 {
 4 
 5     public static void main(String[] args) {
 6         System.out.println(test5());
 7     }
 8     
 9     public static int test5() {
10         int b = 20;
11         
12         try {
13             System.out.println("try block");
14             
15             b = b / 0;
16             
17             return b += 80;
18         }catch(Exception e) {
19             System.out.println("catch block");
20             
21             return b += 15; 
22         }
23         finally {
24             
25             System.out.println("finally block");
26             
27             if(b > 25) {
28                 System.out.println("b > 25,b = " + b);
29             }
30             
31             b += 50;
32         }
33         
34 //        return b;
35     }
36 }

运行结果是：

　　说明了发生异常后，catch中的return语句先执行，确定了返回值后再去执行finally块，执行完了catch再返回，finally里对b的改变对返回值无影响，原因同前面 一样，也就是说情况与try中的return语句执行完全一样。

 

　　最后总结：finally块的语句在try或catch中的return语句执行之后返回之前执行，且finally里的修改语句可能影响也可能不影响try或catch块中return已经确定的返回值，若finally里也有return语句则覆盖try或catch中的return语句直接返回。

 

　　转载自《Java finally语句到底是在return之前还是之后执行？》