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

来源：互联网发布：蚁群算法优化问题编辑：程序博客网时间：2024/05/29 14:10

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

finally可以分两方面理解

1.执行时机问题。finally总会执行（除非是System.exit()），正常情况下在try后执行，抛异常时在catche后面执行

2.返回值问题。可以认为try（或者catch）中的return语句的返回值放入线程栈的顶部：如果返回值是基本类型则顶部存放的就是值，如果返回值是引用类型，则顶部存放的是引用。finally中的return语句可以修改引用所对应的对象，无法修改基本类型。但不管是基本类型还是引用类型，都可以被finally返回的“具体值”具体值覆盖

3.不建议在finally中使用return语句，如果有，eclipse会warning“finally block does not complete normally”

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

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

public class FinallyTest1 {    public static void main(String[] args) {                System.out.println(test1());    }    public static int test1() {        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 b;    }    }

运行结果是：

try blockfinally blockb>25, b = 100100

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

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

public class FinallyTest1 {    public static void main(String[] args) {                System.out.println(test11());    }        public static String test11() {        try {            System.out.println("try block");           return test12();      } finally {           System.out.println("finally block");       }  }  public static String test12() {       System.out.println("return statement");       return "after return";   }    }

运行结果为：

try blockreturn statementfinally blockafter return

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

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

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

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 blockfinally blockb>25, b = 100200

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

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

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

测试用例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;        }        return 2000;    }}

运行结果是：

try blockfinally blockb>25, b = 100100

测试用例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");            map = null;        }                 return map;    }}

运行结果是：

FINALLY

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

返回基础类型变量时是值，返回引用类型时是指向某个对象的地址；而且基础类型是被分配在栈中的，对象是被分配在堆中的，只要有引用指向这个对象，系统就不会回收此对象，所以可以在后面的finally块中改变引用指向的对象的内容，却无法改变try语句中return要返回的值，因为这个值已经与变量b无关了。
（总结：return的时候是复制了一个变量然后返回，所以之后finally操作的变量如果是基本类型的话不会影响返回值。但是如果返回值是引用类型的话，因为指向同一个对象所以还是有影响的。）

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");        } finally {            System.out.println("finally block");            if (b > 25) {                System.out.println("b>25, b = " + b);            }            b += 50;        }        return b;    }}

运行结果是：

try blockcatch blockfinally blockb>25, b = 3585

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

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

5. 当发生异常后，catch中的return执行情况与未发生异常时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 blockcatch blockfinally blockb>25, b = 3535

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

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

0 0