【搞定面试官】try中有return,finally还会执行吗?

本篇文章我们主要探讨 一下如果try {}语句中有return,这种情况下finally语句还会执行吗?其实JVM规范是对这种情况有特殊规定的,那我就先上代码吧!

public class FinallyTest {
    public int method() {
        int x = 1;
        try{
            ++ x;
            return x;
        }catch(Exception e){

        }finally{
            ++ x;
        }
        return x;
    }

    public static void main(String[] args) {
        FinallyTest t = new FinallyTest();
        int y = t.method();
        System.out.println(y);
    }
}

对于上述代码,我们有以下几个问题,来自测一下吧:

  1. 如果在 try 语句块里使用 return 语句,那么 finally 语句块还会执行吗?

  2. 如果执行,那么是怎样实现既执行 return 又执行 finally 的呢?

  3. 上面的程序输出是什么?为什么?

finally 语句块还会执行吗

对于该问题,答案是肯定的。Java官方文档上是这么描述的:

The finally block always executes when the try block exits.`

我们看到描述词用的是always,即在try执行完成之后,finally是一定会执行的。这种特性可以让程序员避免在try语句中使用了return, continue或者 break关键字而忽略了关闭相关资源的操作。把清理相关资源放到finally语句块中一直是最佳实践。

PS: 用到finally关闭资源的时候,给大家提个醒,应该尽量避免在finally语句块中出现运行时错误,可以适当添加判断语句以增加程序健壮性:

finally {
    if (out != null) { 
        System.out.println("Closing PrintWriter");
        out.close(); // 不要在finally语句中直接调用close()
    } else { 
        System.out.println("PrintWriter not open");
    } 
}

try { return } finally{}?

我们知道了finally语句会执行,当我们在IDE上运行该程序的时候,会发现运行结果是2。那么为什么不是3呢?

我们来debug一下:

我们在下图可以看到,try中x值是2,且执行了try语句块中的return x语句。

【搞定面试官】try中有return,finally还会执行吗?_第1张图片

之后执行了finally语句,x取值3,并且成功执行finally块中return x

【搞定面试官】try中有return,finally还会执行吗?_第2张图片

try中返回了x=2, finally语句中返回了x=3,而且finally语句更靠后被return,为什么结果是2呢?

原来JVM规范里面明确说明了这种情况:

If the try clause executes a return, the compiled code does the following:

1. Saves the return value (if any) in a local variable.
2. Executes a jsr to the code for the finally clause.
3. Upon return from the finally clause, returns the value saved in the local variable.

大意就是如果在try中return的情况下,先把try中将要return的值先存到一个本地变量中,即本例中的x=2将会被保存下来。接下来去执行finally语句,最后返回的是存在本地变量中的值,即返回x=2.

Notes:还有一点要注意的,如果你在finally里也用了return语句,比如return ++x。那么程序返回值会是3。因为规范规定了,当try和finally里都有return时,会忽略try的return,而使用finally的return。

总结

今天主要介绍了当try语句中有return的时候,其与finally语句的执行情况。我们的得到的结论有:

  1. try中有return, 会先将值暂存,无论finally语句中对该值做什么处理,最终返回的都是try语句中的暂存值。
  2. 当try与finally语句中均有return语句,会忽略try中return。

    本文由博客一文多发平台 OpenWrite 发布!

文章首发:https://zhuanlan.zhihu.com/lovebell

个人公众号:技术Go

您的点赞与支持是作者持续更新的最大动力!

你可能感兴趣的