【漫画】finally到底是在return之前执行还是return之后执行？

乔戈里

发布于 2019-01-23 10:17:42

7120

发布于 2019-01-23 10:17:42

文章被收录于专栏：Java那些事

——下课后——

public class Main {
    public static void main(String[] args) {
        query();
    }
    public static void query() {
        int i = 0;
        try {
            i ++;
            i = i / 0;// 抛出异常
            System.out.println("某一些操作");
        } catch (Exception e) {
            i += 20;
        } finally {
            System.out.println("必需要执行的操作");
        }
    }
}

执行结果：

必需要执行的操作

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

比如我一些数据的关闭操作啦等，必须要执行的操作一定要放到finally语句，确保会执行。

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

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语句块中，return i+=10; 这个时候i已经是10了，这个可以从输出的打印结果看出来，因为进入到finally语句的时候，有一个打印语句，打印结果中i就是10，就说明了return语句中的i+=10是已经执行了。

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

在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返回之前执行的！

import java.util.ArrayList;
import java.util.List;
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("xiaoMeng");
            return cats;
        } catch (Exception e) {
            System.out.print("catch\n");
        } finally {
            System.out.print("finally\n");
            cats.add("qiaoGeLi");
        }
        System.out.println("finish");
        return null;
    }
}