云漫圈 | finally到底是在return之前执行还是return之后执行？

戳蓝字“CSDN云计算”关注我们哦！

文章来自：程序员乔戈里 作者：乔戈里qgl

640?wx_fmt=jpeg

640?wx_fmt=gif

640?wx_fmt=jpeg

——下课后——

640?wx_fmt=jpeg

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语句，确保会执行。

640?wx_fmt=jpeg

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

640?wx_fmt=jpeg

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

640?wx_fmt=jpeg

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

640?wx_fmt=jpeg

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

640?wx_fmt=jpeg

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

640?wx_fmt=jpeg

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