C#“最终”块总是执行吗？ [复制]

Question

可能重复：
Will code in a Finally statement fire if I return a value in a Try block?

考虑以下代码 C# 代码。 “finally”块是否执行？

public void DoesThisExecute() {
   string ext = "xlsx";
   string message = string.Empty;
   try {
      switch (ext) {
         case "xls": message = "Great choice!"; break;
         case "csv": message = "Better choice!"; break;
         case "exe": message = "Do not try to break me!"; break;
         default:
            message = "You will not win!";
            return;
      }
   }
   catch (Exception) {
      // Handle an exception.
   }
   finally {
      MessageBox.Show(message);
   }
}

哈，写完这篇文章后，我意识到我自己可以在 Visual Studio 中完成测试。但是，请随时回答！

Answer 1

来自 try 语句的 MSDN C# 规范：

finally 块的语句总是在控制离开try 语句时执行。无论控制转移是正常执行的结果，还是执行 break、continue、goto 或 return 语句的结果，还是将异常传播到try 声明。

Source

有finally块不会执行的情况：

1. Environment.FailFast
2. 无法捕获的异常类型
3. 电源故障

Answer 2

finally 总是被执行并不完全正确。见this answer 来自Haacked：

两种可能：

• StackOverflowException
• ExecutingEngineException

finally 块不会被执行 当有 StackOverflowException 因为堆栈上没有空间 甚至执行更多代码。它会 当有一个时也不会被调用 ExecutingEngineException，即 非常罕见。

事实上，对于任何类型的异步异常（如StackOverflowException、OutOfMemoryException、ThreadAbortException），都不能保证finally 块的执行。

但是，这些异常是您通常无法从中恢复的异常，并且在大多数情况下，您的进程无论如何都会退出。

事实上，还有至少另一种情况，finally 没有像现在Brian Rasmussen 中描述的那样执行deleted question：

我知道的另一种情况是，如果 终结器抛出异常。在那里面 如果进程终止 立即也是如此，因此 保证不适用。

下面的代码说明了问题

static void Main(string[] args) {
   try {
      DisposableType d = new DisposableType();
      d.Dispose();
      d = null;
      GC.Collect();
      GC.WaitForPendingFinalizers();
   } catch {
      Console.WriteLine("catch");
   } finally {
      Console.WriteLine("finally");
   }
}

public class DisposableType : IDisposable {
   public void Dispose() {
   }

   ~DisposableType() {
      throw new NotImplementedException();
   }
}

可靠的 try/catch/finally 必须使用 Constrained Execution Regions (CER)。 example 由 MSDN 提供：

[StructLayout(LayoutKind.Sequential)]
struct MyStruct
{
    public IntPtr m_outputHandle;
}

sealed class MySafeHandle : SafeHandle
{
    // Called by P/Invoke when returning SafeHandles
    public MySafeHandle()
        : base(IntPtr.Zero, true)
    {
    }

    public MySafeHandle AllocateHandle()
    {
        // Allocate SafeHandle first to avoid failure later.
        MySafeHandle sh = new MySafeHandle();

        RuntimeHelpers.PrepareConstrainedRegions();
        try { }
        finally
        {
            MyStruct myStruct = new MyStruct();
            NativeAllocateHandle(ref myStruct);
            sh.SetHandle(myStruct.m_outputHandle);
        }

        return sh;
    }
}

以下文章是一个很好的信息来源：

Reliability Best Practices

Answer 3

是的，在正常情况下（正如许多其他人指出的那样）。

finally 块对 清理分配的任何资源 try 块以及运行任何 即使存在也必须执行的代码 是一个例外。控制总是 无论如何都传递给finally块 try 块是如何退出的。

而 catch 用于处理 语句中出现的异常 块，finally 用于保证一个 语句块代码执行 不管前面怎么尝试 块已退出。

http://msdn.microsoft.com/en-us/library/zwc8s4fz.aspx

Answer 4

不，它没有。如果应用程序仍在运行，它将始终执行（FastFail 异常期间除外，MSDN link，如其他人所述）。它会在退出块的 try/catch 部分时执行。

如果应用程序崩溃，它将不会执行：通过终止进程命令等被终止。这非常重要，因为如果您编写的代码绝对期望它运行，例如手动执行回滚，否则不明智它会自动提交，您可以在此之前遇到应用程序中止的场景。老实说，这是一种外部情况，但在这些情况下要注意这一点。

Answer 5

finally 块将运行，就在这几行之间：

message = "You will not win!";
return;

Answer 6

没有。

但只有一种方法可以解决它，那就是Environment.FailFast()。见http://msdn.microsoft.com/de-de/library/ms131100.aspx。在其他所有情况下，都保证终结器被执行;-)

FailFast 方法写入消息 到 Windows 应用程序的字符串 事件日志，创建您的转储 应用程序，然后终止 当前进程。消息字符串是 也包括在错误报告中 微软。

使用 FailFast 方法而不是 终止您的退出方法 应用程序，如果你的状态 应用程序损坏无法修复， 并执行您的应用程序 try/finally 块和终结器将 损坏的程序资源。

Answer 7

正确答案是肯定的。

尝试调试您的程序并设置一个断点并观察控制仍然到达 finally 块。

Answer 8

来自 MSDN try-finally (C# Reference)

finally 块对 清理分配的任何资源 try 块以及运行任何 即使存在也必须执行的代码 是一个例外。 控制始终如一 无论如何都传递给finally块 try 块是如何退出的。

Answer 9

是的，finally 总是执行，现在 finally 块中的代码是否会导致异常是另一回事。

Answer 10

是的 :-) http://msdn.microsoft.com/en-us/library/zwc8s4fz.aspx

Answer 11

简单的回答是的。但该规则有一些“例外”。