为什么在 finally 块中更改返回的变量不会更改返回值？

Question

我有一个简单的 Java 类，如下所示：

public class Test {

    private String s;

    public String foo() {
        try {
            s = "dev";
            return s;
        } 
        finally {
            s = "override variable s";
            System.out.println("Entry in finally Block");  
        }
    }

    public static void main(String[] xyz) {
        Test obj = new Test();
        System.out.println(obj.foo());
    }
}

这段代码的输出是这样的：

Entry in finally Block
dev  

为什么s 没有在finally 块中被覆盖，而是控制打印输出？

Answer 1

try 块随着return 语句的执行而完成，s 的值在return 语句执行时是方法返回的值。 finally 子句稍后会更改 s 的值（在 return 语句完成之后）这一事实不会（此时）更改返回值。

请注意，上面处理的是s 本身在finally 块中的值的更改，而不是s 引用的对象。如果 s 是对可变对象的引用（String 不是）并且对象的 内容 在 finally 块中发生了更改，那么这些更改将在返回的价值。

所有这些操作的详细规则可以在Section 14.20.2 of the Java Language Specification 中找到。请注意，return 语句的执行算作try 块的突然终止（以“如果 try 块的执行由于任何其他原因突然完成 R....”的部分开始）适用）。请参阅 Section 14.17 of the JLS 了解为什么 return 语句是块的突然终止。

通过进一步的细节：如果try 块和finally 块 try-finally 语句由于 return 语句而突然终止，则适用 §14.20.2 中的以下规则：

如果 try 块的执行由于任何其他原因突然完成 R [除了抛出异常]，则执行 finally 块，然后有一个选择：

• 如果finally 块正常完成，则try 语句由于原因R 突然完成。
• 如果 finally 块由于原因 S 突然完成，则 try 语句由于原因 S 突然完成（并且原因 R 被丢弃）。

结果是finally块中的return语句决定了整个try-finally语句的返回值，而try块的返回值被丢弃。如果try 块抛出异常，则在try-catch-finally 语句中发生类似的事情，它被catch 块捕获，并且catch 块和finally 块都有return 语句。

Answer 2

因为返回值是在调用finally之前放入栈中的。

Answer 3

如果我们查看字节码内部，我们会注意到 JDK 进行了重大优化，foo() 方法如下所示：

String tmp = null;
try {
    s = "dev"
    tmp = s;
    s = "override variable s";
    return tmp;
} catch (RuntimeException e){
    s = "override variable s";
    throw e;
}

还有字节码：

0:  ldc #7;         //loading String "dev"
2:  putstatic   #8; //storing it to a static variable
5:  getstatic   #8; //loading "dev" from a static variable
8:  astore_0        //storing "dev" to a temp variable
9:  ldc #9;         //loading String "override variable s"
11: putstatic   #8; //setting a static variable
14: aload_0         //loading a temp avariable
15: areturn         //returning it
16: astore_1
17: ldc #9;         //loading String "override variable s"
19: putstatic   #8; //setting a static variable
22: aload_1
23: athrow

java 保留“dev”字符串在返回之前不被更改。实际上这里根本没有 finally 块。

Answer 4

这里有两点值得注意：

• 字符串是不可变的。当您将 s 设置为“覆盖变量 s”时，您将 s 设置为引用内联字符串，而不是将 s 对象的固有字符缓冲区更改为“覆盖变量 s”。
• 您将对 s 的引用放在堆栈上以返回调用代码。之后（当 finally 块运行时），更改引用不应该对堆栈上已经存在的返回值做任何事情。

Answer 5

我稍微修改一下你的代码来证明 Ted 的观点。

正如您在输出中看到的那样，s 确实发生了变化，但在返回之后。

public class Test {

public String s;

public String foo() {

    try {
        s = "dev";
        return s;
    } finally {
        s = "override variable s";
        System.out.println("Entry in finally Block");

    }
}

public static void main(String[] xyz) {
    Test obj = new Test();
    System.out.println(obj.foo());
    System.out.println(obj.s);
}
}

输出：

Entry in finally Block 
dev 
override variable s

Answer 6

从技术上讲，如果定义了 finally 块，try 块中的 return 不会被忽略，前提是该 finally 块还包含 return。

这是一个可疑的设计决策，回想起来可能是一个错误（很像默认情况下引用可以为空/可变，并且根据某些情况，检查异常）。在许多方面，这种行为与对finally 含义的通俗理解完全一致——“无论try 块中事先发生了什么，始终运行此代码。”因此，如果您从 finally 块返回 true，则整体效果必须始终为 return s，不是吗？

一般来说，这很少是一个好的习惯用法，您应该大量使用finally 块来清理/关闭资源，但很少从它们返回值。

Answer 7

试试这个：如果你想打印 s 的覆盖值。

finally {
    s = "override variable s";    
    System.out.println("Entry in finally Block");
    return s;
}