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

——下课后——

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;
    }
}

• finally是在retrun语句执行后，return返回之前执行的，也就是说finally必执行（当然是建立在try执行的基础上） 

• finally中修改的基本类型没有return是不影响返回结果的，有了retrun才会影响

• finally中修改list ,map,set引用类型时，就算没有return，也是是影响返回结果的

PS：表情包出自微信公众号：叔婆饭 微博@叔婆饭spfan

END

结束语

作者乔戈里亲历2019秋招，哈工大计算机本硕，百度java工程师，欢迎大家关注我的微信公众号：程序员乔戈里，公众号有3T编程资源，以及我和我朋友（百度C++工程师）在秋招期间整理的近200M的面试必考的java与C++面经，并有每天一道leetcode打卡群与技术交流群，欢迎关注。