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

---

finally一般是在try里面捕获异常用的,为了确保某些操作一定可以执行

public class Test {
    public static void main(String[] args) {
        query();
    }
    public static void query() {
        int i = 0;
        i++;
        try {
            i = i / 0;// 抛出异常
            System.out.println("执行业务逻辑");
        } catch (Exception e) {
            System.out.println("异常信息");
            e.printStackTrace();
        }finally {
            System.out.println("执行必须的操作");
        }
    }
}

执行结果

异常信息
执行必须的操作
java.lang.ArithmeticException: / by zero
	at com.atguigu.test.Test.query(Test.java:14)
	at com.atguigu.test.Test.main(Test.java:7)

在try语句里面 i / 0 的话会抛出来异常，这样的话程序就在i / 0这里由于抛出了异常，所以程序不会继续往下去执行try包含的语句了。首先进入到catch语句里面，由于finally语句一定会执行，接下来就会执行finally中的语句，所以就得到了上面的执行结果。

---

在某些情况下finally语句不会执行

• 在某些情况下，try语句压根就没有执行到，那么finally语句也一定就不会执行到了。
• 还有一种情况就是在try块中有System.exit(0);这样的语句，System.exit(0);是终止Java虚拟机JVM的，连JVM都停止了，所有都结束了，当然finally语句也不会被执行到。

---

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

public class Main {
    public static void main(String[] args) {
        int j = query();
        System.out.println(j);
    }
    public static int query() {
        int i = 0;
        try {
            System.out.print("try\n");
            return i += 10;
        } catch (Exception e) {
            System.out.print("catch\n");
            i += 20;
        } finally {
            System.out.print("finally-i:" + i + "\n");
            i += 10;
            System.out.print("finally\n");
            //return i;
        }
        System.out.print("finish");
        return 200;
    }
}

执行结果

try
finally-i:10
finally
10

以上代码可以看出来,只要try语句执行了以后,就算try语句里面有return语句,finally还是会执行.
finally是在return语句执行后,return语句返回之前执行.

• finally是在return语句执行后的意思为:代码中try语句块中，return i+=10; 这个时候i已经是10了，这个可以从输出的打印结果看出来，因为进入到finally语句的时候，有一个打印语句，打印结果中i就是10，就说明了return语句中的i+=10是已经执行了。
• return语句返回之前执行 举个栗子:

public class Main {
    public static void main(String[] args) {
        int j = query();
        System.out.println(j);
    }
    public static int query() {
        int i = 0;
        try {
            System.out.print("try\n");
            return i += 10;
        } catch (Exception e) {
            System.out.print("catch\n");
            i += 20;
        } finally {
            System.out.print("finally-i:"+i + "\n");
            i += 10;
            System.out.print("finally\n");
            return i;
        }
    }
}

执行结果为

try
finally-i:10
finally
20

这里有一个问题,为啥前一段代码是10,后一段是20?前一段i也加了10呀?
这就是后半句的含义,finally中的语句在return返回之前执行,原因会牵扯到JVM.

在JVM虚拟机中，有虚拟机栈，上面的代码中每一个方法都对应了一个栈帧，方法的执行对应的栈帧入栈，方法的执行完毕对应着栈帧的出栈。

栈帧可以理解为一个方法的运行空间。它主要由两部分构成，一部分是局部变量表，方法中定义的局部变量以及方法的参数就存放在这张表中；另一部分是操作数栈，用来存放操作数。

刚才的两段代码中的finally块中，i变量是要放到局部变量表的，每次有关于i的运算，都是要把i从局部变量表取出来（可以理解为copy一个副本），比如i += 10,那么需要把i和10都放到操作数栈中进行计算，然后得到一个结果，而这个结果是需要通过retrun语句写回到局部变量表。

第一段代码中的finally块中，虽然执行了i += 10,但是由于没有return，所以局部变量表中的内容没有变化，所以i还是10；

第二段代码中的finally块中，由于最后return i语句的执行，更新了局部变量中的i的值，所以最后返回的结果中i就是20了。

return返回后，就代表着方法执行结束，相应的该方法的栈帧就出栈了。而这个时候也就意味着，return返回是最后执行的，所以finally语句是在retrun返回之前执行的！

---

再举一个栗子

public class Main {

    public static void main(String[] args) {
        List<String> cats = new ArrayList<>();
        cats = query(cats);
        System.out.println("----");
        for(String cat : cats)
            System.out.println(cat);
    }
    public static List<String> query(List<String> cats) {
        int i = 0;
        try {
            System.out.print("try\n");
            cats.add("xiaoming");
            return cats;
        } catch (Exception e) {
            System.out.print("catch\n");
        } finally {
            System.out.print("finally\n");
            cats.add("xiaoli");
        }
        System.out.println("finish");
        return null;
    }
}

由于cats是List类型,是引用类型,对于cats的操作就是在原地址上进行操作的,所以执行结果为

try
finally
----
xiaoming
xiaoli

总结:

• finally是在retrun语句执行后，return返回之前执行的，也就是说finally必执行（当然是建立在try执行的基础上）
• finally中修改的基本类型没有return是不影响返回结果的，有了retrun才会影响
• finally中修改list ,map,set引用类型时，就算没有return，也是是影响返回结果的