Java try-finally 返回设计问题

Question

在 Java 中，try { ... } finally { ... } 的执行对我来说有点不直观。如另一个问题Does finally always execute in Java? 所示，如果try 块中有return 语句，如果定义了finally 块，它将被忽略。比如函数

boolean test () {
    try {
        return true;
    }
    finally {
        return false;
    }
}

将始终返回 false。我的问题：为什么会这样？ Java 做出的这个设计决策背后是否有特定的哲学？感谢您的任何见解，谢谢。

编辑：我对“为什么”Java 认为可以违反我定义的语义特别感兴趣。如果我在 try 块中“返回”，则该方法应该立即返回。但是 JVM 决定忽略我的指令并从实际上还没有到达的子程序返回。

Answer 1

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

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

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

Answer 2

如果 finally 块中的代码突然结束，它会更改 try 块的返回值/异常。这被认为是不好的做法，您不应该这样做。

在其他地方，Java Puzzlers 书中也对此进行了讨论。

Answer 3

如果您使用 -Xlint 调用 javac，则会生成适当的警告，指示您不应从 finally 子句调用 return。例如（用上面的test()方法编译一个简单的类）：

javac -Xlint foo.java
foo.java:13: warning: [finally] finally clause cannot complete normally
    }
^
1 warning

Answer 4

finally的目的：

• Java 人创建了finally 块用于关闭操作，这两种情况都必须执行（例如发生异常或没有异常）。

• 不建议在 finally 块中使用 return 语句，因为它会覆盖 catch 和 try 块中的 return 语句。 并警告“finally 块没有正常完成”

• 只有当try 和catch 都没有return 语句时，finally 块才应该有 return 语句。

• 如果try 和catch 具有不同的值，那么我们不应该在finally 块中保留任何内容，

• 如果我们在 try 和 catch 块中返回相同的值，那么最好在 finally 中保留 return 并在 try 和 catch 块中删除 return。
• 如果finally 抛出任何异常，则该块内的return 将不会执行。
  
  

finally 块仅在以下情况下不会执行：

• 在调用 System.exit() 时
• 杀死进程
• 应用程序/环境崩溃
• stackoverflow/无限循环

Answer 5

finally 构造是 JLS 提供的一种工具，用于处理容易出现异常的代码。开发人员可以利用此功能确保从异常中正常恢复。以您描述的方式使用 finally 构造并不是一个好的做法。就此而言，从 finally 块中 return 任何内容都不是好事。
因此，正如您所想，“哲学”是处理任何突然完成的代码。如果需要返回某个值作为处理此类状态的一部分，则应在 catch 块内完成。

Answer 6

检查此以供参考 Does finally always execute in Java?

"带有finally块的try语句，先执行try块，然后有一个选择：
如果 try 块的执行正常完成，[...]
如果 try 块的执行由于抛出值 V 而突然完成，[...]
如果 try 块的执行由于任何其他原因 R 突然完成，则执行 finally 块。然后有一个选择：
如果 finally 块正常完成，则 try 语句由于原因 R 突然完成。
如果 finally 块由于原因 S 突然完成，则 try 语句由于原因 S 突然完成（并且原因 R 被丢弃）。”

Answer 7

虽然finally块是用来关闭资源的，一般不应该有return语句，并且Eclipse警告“finally块没有正常完成”，但我发现在某些情况下“finally return”仍然存在可取的。

ResponseType response = new ResponseType();
try{
    //set some properties of the response object.
    response.setStatus(1);
    //return response;
}catch (Exception e){
    //Some other properties of the response object according to the exception.
    response.setStatus(0);
    //return response;
}finally{
    return response;
}

如果我不把 return 子句放在 finally 块中，我将不得不在 try 和 catch 块中重复它，并且当前代码更清晰一些。