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

我有一个简单的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块中覆盖，而是控制打印输出？

在try与所述的执行块完成return语句和的值s在时间return语句执行是由该方法返回的值。finally子句稍后s（在return语句完成之后）更改值的事实（此时）并未更改返回值。

请注意，以上内容处理的s是对finally块中自身值的更改，而不是对s引用对象的更改。如果s是对可变对象的引用（String不是），并且该对象的内容在finally块中已更改，则这些更改将在返回值中看到。

有关所有操作方式的详细规则，请参见Java语言规范的14.20.2节。请注意，return语句的执行被视为try块的突然终止（适用于“ 如果try块的执行由于任何其他原因而突然完成的部分，则R...。 ”开始）。有关为何语句突然终止块的信息，请参见JLS的14.17节return。

更详细地讲：如果语句的try块和语句finally块都try-finally由于return语句而突然终止，则适用第14.20.2节中的以下规则：

如果try由于任何其他原因R [引发异常]突然终止了该finally块的执行，则执行该块，然后可以选择：

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

结果是，块中的return语句finally确定了整个try-finally语句的返回值，并且该try块的返回值被丢弃。try-catch-finally如果该try块引发异常，它被一个catch块捕获，并且该catch块和该finally块都具有return语句，则语句中也会发生类似的事情。

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

如果查看字节码，我们会注意到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”字符串，使其在返回之前不会被更改。实际上，这根本不是最后的障碍。

这里有两点值得注意：

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

我稍微修改一下代码以证明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

从技术上讲，return如果finally定义了一个块，则try块中的the不会被忽略，只有在该finally块中也包含一个return。

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

通常，这很少是一个好习惯，您应该finally自由地使用块来清理/关闭资源，但是很少从它们返回值。

尝试以下操作：如果要打印s的替代值。

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