0x6 Java系列：Java finally语句到底是在return之前还是之后执行？

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

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

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

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

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

1.  publicclassFinallyTest1{

2.    

3.      publicstaticvoidmain(String[] args) {

4.    

5.          System.out.println(test1());

6.      }

7.    

8.      publicstaticinttest1() {

9.          int b = 20;

10.   

11.          try {

12.              System.out.println("try block");

13.   

14.              returnb += 80; 

15.          }

16.          catch(Exceptione) {

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.   

29.          returnb;

30.      }

31.   

32.  }

运行结果是：

1.  tryblock

2.  finallyblock

3.  b>25, b = 100

4.  100

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

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

1.  publicclassFinallyTest1{

2.    

3.      publicstaticvoidmain(String[] args) {

4.    

5.          System.out.println(test11());

6.      }

7.    

8.      publicstaticStringtest11() {

9.          try {

10.              System.out.println("try block");

11.   

12.             returntest12();

13.        } finally{

14.             System.out.println("finally block");

15.         }

16.    }

17.   

18.    publicstaticStringtest12() {

19.         System.out.println("return statement");

20.   

21.         return"after return";

22.     }

23.   

24.  }

运行结果为：

1.  tryblock

2.  returnstatement

3.  finallyblock

4.  after return

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

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

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

1.  publicclassFinallyTest2{

2.    

3.      publicstaticvoidmain(String[] args) {

4.    

5.          System.out.println(test2());

6.      }

7.    

8.      publicstaticinttest2() {

9.          int b = 20;

10.   

11.          try {

12.              System.out.println("try block");

13.   

14.              returnb += 80;

15.          } catch(Exceptione) {

16.   

17.              System.out.println("catch block");

18.          } finally{

19.   

20.              System.out.println("finally block");

21.   

22.              if (b > 25) {

23.                  System.out.println("b>25, b = "+ b);

24.              }

25.   

26.              return200;

27.          }

28.   

29.          // return b;

30.      }

31.   

32.  }

运行结果是：

1.  tryblock

2.  finallyblock

3.  b>25, b = 100

4.  200

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

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

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

测试用例1：

1.  publicclassFinallyTest3{

2.    

3.      publicstaticvoidmain(String[] args) {

4.    

5.          System.out.println(test3());

6.      }

7.    

8.      publicstaticinttest3() {

9.          int b = 20;

10.   

11.          try {

12.              System.out.println("try block");

13.   

14.              returnb += 80;

15.          } catch(Exceptione) {

16.   

17.              System.out.println("catch block");

18.          } finally{

19.   

20.              System.out.println("finally block");

21.   

22.              if (b > 25) {

23.                  System.out.println("b>25, b = "+ b);

24.              }

25.   

26.              b = 150;

27.          }

28.   

29.          return2000;

30.      }

31.   

32.  }

运行结果是：

1.  tryblock

2.  finallyblock

3.  b>25, b = 100

4.  100

测试用例2：

1.  publicclassFinallyTest6

2.  {

3.      publicstaticvoidmain(String[] args) {

4.          System.out.println(getMap().get("KEY").toString());

5.      }

6.    

7.      publicstaticMap<String, String> getMap() {

8.          Map<String, String> map = newHashMap<String, String>();

9.          map.put("KEY", "INIT");

10.   

11.          try {

12.              map.put("KEY", "TRY");

13.              returnmap;

14.          }

15.          catch(Exceptione) {

16.              map.put("KEY", "CATCH");

17.          }

18.          finally{

19.              map.put("KEY", "FINALLY");

20.              map = null;

21.          }

22.   

23.          returnmap;

24.      }

25.  }

运行结果是：

FINALLY 为什么测试用例1中finally里的b = 150;并没有起到作用而测试用例2中finally的map.put("KEY", "FINALLY");起了作用而map = null;却没起作用呢？这就是Java到底是传值还是传址的问题了，具体请看精选30道Java笔试题解答，里面有详细的解答，简单来说就是：Java中只有传值没有传址，这也是为什么map = null这句不起作用。这同时也说明了返回语句是try中的return语句而不是 finally外面的return b;这句，不相信的话可以试下，将return b;改为return 294，对原来的结果没有一点影响。

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

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

1.  publicclassFinallyTest4{

2.    

3.      publicstaticvoidmain(String[] args) {

4.    

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

6.      }

7.    

8.      publicstaticinttest4() {

9.          int b = 20;

10.   

11.          try {

12.              System.out.println("try block");

13.   

14.              b = b / 0;

15.   

16.              returnb += 80;

17.          } catch(Exceptione) {

18.   

19.              b += 15;

20.              System.out.println("catch block");

21.          } finally{

22.   

23.              System.out.println("finally block");

24.   

25.              if (b > 25) {

26.                  System.out.println("b>25, b = "+ b);

27.              }

28.   

29.              b += 50;

30.          }

31.   

32.          return204;

33.      }

34.   

35.  }

运行结果是：

1.  tryblock

2.  catchblock

3.  finallyblock

4.  b>25, b = 35

5.  85

这里因为在return之前发生了除0异常，所以try中的return不会被执行到，而是接着执行捕获异常的catch 语句和最终的finally语句，此时两者对b的修改都影响了最终的返回值，这时return b;就起到作用了。当然如果你这里将return b改为return 300什么的，最后返回的就是300，这毋庸置疑。这里大家可能又有疑问：如果catch中有return语句呢？当然只有在异常的情况下才有可能会执行，那么是在finally之前就返回吗？看下面。

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

1.  publicclassFinallyTest5{

2.    

3.      publicstaticvoidmain(String[] args) {

4.    

5.          System.out.println(test5());

6.      }

7.    

8.      publicstaticinttest5() {

9.          int b = 20;

10.   

11.          try {

12.              System.out.println("try block");

13.   

14.              b = b /0;

15.   

16.              returnb += 80;

17.          } catch(Exceptione) {

18.   

19.              System.out.println("catch block");

20.              returnb += 15;

21.          } finally{

22.   

23.              System.out.println("finally block");

24.   

25.              if (b > 25) {

26.                  System.out.println("b>25, b = "+ b);

27.              }

28.   

29.              b += 50;

30.          }

31.   

32.          //return b;

33.      }

34.   

35.  }

运行结果如下：

1.  tryblock

2.  catchblock

3.  finallyblock

4.  b>25, b = 35

5.  35

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

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

原文链接：

https://www.cnblogs.com/lanxuezaipiao/p/3440471.html

原创作者：方志朋

方志朋简介：SpringCloud中国社区联合创始人，博客访问量突破一千万，爱好开源，热爱分享，活跃于各大社区，保持着非常强的学习驱动力，终身学习践行者，终身学习受益者。目前就职于国内某家知名互联网保险公司，担任DEVOPS工程师，对微服务领域和持续集成领域研究较深，精通微服务框架SpringCloud