在最后一个块中返回...为什么不呢？

Question

正如 MSDN 提及：

Finally 块中的代码在 Try 或 Catch 中的 Return 语句 遇到块，但在此之前 返回语句执行。在这个 情况下，Return 语句 finally 块在 初始返回语句。这给出了 返回值不同。为防止 这种可能令人困惑的情况， 避免使用 Return 语句 最后阻塞。

由于我从这篇文章中没有理解很多内容，我将举一个例子（VB.NET，我认为在 C# 中情况是类似的）：

Try
    HugeOp()
    Return "OK"
Catch
    Return "NOK"
Finally
    Return "Finally"
End Try

现在，为什么这在两者中都是非法的 C# 和 VB.NET？

Answer 1

这是非法的，因为当您到达 Finally 块时，要返回的值已经定义（如果一切顺利，则返回“OK”；如果捕获异常，则返回“NOK”）。如果您能够从 Finally 块返回不同的值，则无论上述指令的结果如何，都将始终返回该值。这只是没有意义...

Answer 2

我想答案就在问题里。这是非法的，因为它令人困惑。将返回哪个值并不直观。如果它是非法的，您将被迫编写流程更清晰的代码。

Answer 3

我对此很好奇，我正在运行 VS2010 并且不允许在 finally 块中返回。这是我编译的代码

Public Class Class1
   Public Shared Function test() As String
      Try
         Return "OK"
      Catch ex As Exception
         Return "Catch"
      Finally
         test = "Finally"
      End Try
   End Function
End Class

我编译了 DLL 以查看 MSIL，它看起来相当有趣，上面的代码基本上被重构为：

Public Class Class2
   Public Shared Function test() As String
      Try
         Try
            test = "OK"
         Catch ex As Exception
            test = "Catch"
         End Try
      Finally
         test = "Finally"
      End Try

      Return test
   End Function
End Class

并进行测试，上面两个类的 MSIL 完全相同。

Answer 4

finally 块中不允许使用 return 语句的原因最终归结为这些结构的要点/目标。

Finally 块是特殊的代码块，旨在始终在某些先前的控制结构完成执行之后从头到尾运行；它们主要用于“清理”类型的代码。

如果我们采用提供的代码：

Try
    HugeOp()
    Return "OK"
Catch
    Return "NOK"
Finally
    Return "Finally"
End Try

Finally 块将在 Return 从 Try 中执行 > 或 Catch。

这确实意味着有一个 Return 会“总是返回相同的东西”，但它不仅如此 - 一个 Return 已经发生在当前程序中！该指令究竟意味着什么？我们要回到哪里？

在一般情况下，Return 在 Finally 中没有任何意义，因为有一条将控制权转移到这些块之外的语句 1) 与它们的目的相反，2) 很难甚至概念化，因为 Finally 块在运行时打破了“标准”控制流，因为它们出现在某些先前控制结构的 Return 之后。

在 C# 中，finally 块中不允许使用 goto，原因基本相同：在设计上，外部控制传输在 finally 内是禁止的。

---

JavaScript 可以作为一个例子，说明如果没有这条规则，事情会变得多么混乱： 在 JS 中，finally 块在控制流语句之前立即执行（例如 return代码>) 中try/ catch，但do允许return在其内部 - 这将掩盖（覆盖）在 try/ catch 中返回（如果存在）。

我认为，除了彻底禁止它之外，没有任何解决方案可以使问题变得混乱。