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

来自:程序员乔戈里(微信号:CXYqiaogeli),作者:乔戈里qgl


——下课后——


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

推荐↓↓↓
Java编程
上一篇:没有文档,没有老员工讲解,悲催的新人如何快速熟悉一个新项目? 下一篇:Spring Cloud:使用Ribbon实现负载均衡详解(下)