return与finally到底谁先执行

灰太狼 2022-05-21 22:21 237阅读 0赞

我们经常会使用try/catch/finally语句块。当然，return关键字使用也是很平常的事，但是不知道大家有没有注意个这样一个问题。当在try语句块里面使用return语句，在finally里面去修改return所要返回的内容会出现什么情况。首先，我们知道return是结束方法的标志，一旦方法执行到return语句就将返回不再往下执行。其次，我们也知道，finally里面的语句是无论方法怎样执行，最后都要执行finally里面的语句。那么究竟是先执行return还是finally呢？下面通过两个小实验来解决这个问题。

首先看第一个例子：

public class TestTryCatch {
        public static void main(String[] args)
        {
            TestTryCatch test = new TestTryCatch();
            System.out.println(test.fun());
        }
    
        public int fun()
        {
            int i = 10;
            try
            {
                //doing something
    
                return i;
            }catch(Exception e){
                return i;
            }finally{
                i = 20;
            }
        }
    }
         
          
           1 
           2 
           3 
           4 
           5 
           6 
           7 
           8 
           9 
           10 
           11 
           12 
           13 
           14 
           15 
           16 
           17 
           18 
           19 
           20 
           21 
           22

输出结果：10
         
          
           1

Ok很简单的一个例子，创建了一个方法fun，在方法里使用try/catch语句，方法要求返回值类型为int型。在try里面放回i，这个时候是10，但是在finally里面将i值修改为20。我们看到结果是10，好像是return先执行。那么接下来再看另一个例子：

public class TestTryCatch {
        public static void main(String[] args)
        {
            TestTryCatch test = new TestTryCatch();
            System.out.println(test.fun());
        }
    
        public StringBuilder fun()
        {
            StringBuilder s = new StringBuilder("Hello");
            try
            {
                //doing something
                s.append("Word");
    
                return s;
            }catch(Exception e){
                return s;
            }finally{
                string.append("finally");
            }
        }
    }
         
          
           1 
           2 
           3 
           4 
           5 
           6 
           7 
           8 
           9 
           10 
           11 
           12 
           13 
           14 
           15 
           16 
           17 
           18 
           19 
           20 
           21 
           22 
           23

输出结果：HelloWordFinally
         
          
           1

看结果似乎有点出乎意料了，因为这次finally里面修改的内容生效了。看代码其实差别不大，只是把返回值类型修改为StringBuilder了。那么这是为什么呢？下面就为大家解释一下其中到底是怎么执行的。

首先，拿第一个例子来说，可以在main方法里实现这样一条语句：int result = test.fun();我们知道这样做是没有问题的，但是大家都知道“=”号赋值是常量赋值。但是，方法的存放地址和常量的存放地址是不一样的，方法的存放在代码区的。上面我们把一个方法赋值给一个int型也没有报错。那是因为在声明方法是我们声明了返回值类型。那么编译器就会在代码的最前端预留一段返回值类型的内存。执行return的时候，就会把返回的内容写入到这段内存中

![这里写图片描述][20150429095244532]

这样，执行“=”号赋值的时候，就能在内存中匹配到相同的类型。赋值便能成功。

弄清楚上面的道理之后，再来解释最开始提出的问题就容易多了。在执行了return之后，返回的值已经被写入到那段内存中了，finally再修改i的值，只是修改了后面代码段的i值，对返回段内存没有影响。至于第二个例子，再看下面这张图你就会明白。

![这里写图片描述][20150429095603060]

我们可以看到，当返回值不是基本数据类型的时候，其是指向一段内存的，return将返回段指向一段内存，但是代码段的s依然是指向的同一段内存地址，所以当s修改它指向内存中的值的时候，其实也就修改了返回段指向内存中的值，所以最终的值改变了。

***到底返回值变不变可以简单的这么记忆：当finally调用的任何可变API，会修改返回值；当finally调用任何的不可变API，对返回值没有影响。***

总结一下：***其实return与finally并没有明显的谁强谁弱。在执行时，是return语句先把返回值写入但内存中，然后停下来等待finally语句块执行完，return再执行后面的一段。***

文章转自：[https://blog.csdn.net/zoujian1993/article/details/45362931][https_blog.csdn.net_zoujian1993_article_details_45362931]

[20150429095244532]: /images/20220522/ccbda4a1ffae411385302309f0e9d0e4.png
[20150429095603060]: /images/20220522/6da6449706f24352a0b51fe2023e332f.png
[https_blog.csdn.net_zoujian1993_article_details_45362931]: https://blog.csdn.net/zoujian1993/article/details/45362931