调用方法时，return的内幕

return与finally谁先执行？

try的return和finally的return哪个会执行？

我们经常会使用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;
        }
    }
}

输出结果：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");
        }
    }
}

输出结果：HelloWordFinally

1

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

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

在这里插入图片描述

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

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

在这里插入图片描述

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

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

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

对于第二个问题：try的return和finally的return哪个会执行？那必然是finally。

① 如果finally中也有return，则会直接返回finally中的return结果，并终止程序，函数栈中的return不会被完成

② 如果finally中没有return，则在执行完finally中的代码之后，会将函数栈中保存的try return的内容返回并终止程序

————————————————

版权声明：本文为CSDN博主「没伞的孩子只能跑」的原创文章，遵循CC 4.0 BY-SA版权协议，转载请附上原文出处链接及本声明。

原文链接：https://blog.csdn.net/zoujian1993/article/details/45362931

你可能也喜欢