当从finallys抛出异常时,Catch块未被求值

出现此问题是因为以前在.NET 4.0中工作的代码在.NET 4.5中出现未处理的异常而失败,部分原因是try/finallys。如果您想了解详细信息,请访问 Microsoft connect 。我用它作为这个例子的基础,所以它可能有助于参考。

代码

对于那些选择不阅读这个问题背后细节的人来说,以下是发生这种情况的情况:

using(var ms = new MemoryStream(encryptedData))
using(var cryptoStream = new CryptoStream(encryptedData, decryptor, CryptoStreamMode.Read))
using(var sr = new StreamReader(cryptoStream))

这个问题是 Dispose CryptoStream的方法(因为它们在using语句中,所以这些异常恰好是从两个不同的finally块抛出的)。什么时候 cryptoStream.Dispose() 由调用 StreamReader 这个 CryptographicException 被抛出。第二次 cryptoStream.Dispose() 被调用,在其using语句中,它抛出 ArgumentNullException

下面的代码从上面提供的链接中删除了大部分不必要的代码,并将using语句展开到try/finally中,以清楚地表明它们是在finally块中抛出的。

using System;
using System.Security.Cryptography;
namespace Sandbox
{
    public class Program
    {
        public static void Main(string[] args)
        {
            try
            {
                try
                {
                    try
                    {
                        Console.WriteLine("Propagate, my children");
                    }
                    finally
                    {
                        // F1
                        Console.WriteLine("Throwing CryptographicExecption");
                        throw new CryptographicException();
                    }
                }
                finally
                {
                    // F2
                    Console.WriteLine("Throwing ArgumentException");
                    throw new ArgumentException();
                }
            }
            catch (ArgumentException)
            {
                // C1
                Console.WriteLine("Caught ArgumentException");
            }
            // Same behavior if this was in an enclosing try/catch
            catch (CryptographicException)
            {
                // C2
                Console.WriteLine("Caught CryptographicException");
            }
            
            Console.WriteLine("Made it out of the exception minefield");
        }
    }}

注意:try/finally对应于引用代码中扩展的using语句。

输出:

    Propagate, my children
    Throwing CryptographicExecption
    Throwing ArgumentException
    Caught ArgumentException
    Press any key to continue . . .

似乎 加密异常 catch块始终执行。但是,删除catch块会导致异常终止运行时。

更多信息

编辑:已更新为规范的最新版本。我碰巧从MSDN上抢来的那本书的措辞比较陈旧。 Lost 已更新为 terminated 。

深入到C#规范中,第8.9.5节和第8.10节讨论了异常行为:

• 当抛出异常(包括从finally块内部抛出)时,控制权将转移到封闭try语句中的第一个catch子句。这将继续向上try语句,直到找到合适的语句为止。
• 如果在finally块的执行期间抛出异常,并且已经在传播异常, 该异常终止

“Terminated”使第一个异常看起来将永远被第二个抛出的异常隐藏,尽管它似乎不是正在发生的事情。

我确信问题就在这里的某个地方

在大多数情况下,很容易直观地看到运行时在做什么。代码执行到第一个finally块( F1 )其中抛出异常。当异常传播时,从第二个finally块抛出第二个异常( F2 )。

根据规范 加密异常 从中抛出 F1 现在已终止,运行时正在为 ArgumentException 。运行时找到一个处理程序,并执行 争论异常 ( C1 )。

这就是它变得模糊的地方:规范说第一个异常将被终止。但是,如果第二个挡块( C2 )从代码中删除,则 加密异常 本来应该丢失的,现在是一个未处理的异常,终止了程序。与 C2 目前,代码不会因未处理的异常而终止,因此从表面上看 出现 处理异常,但块中的实际异常处理代码从未执行。

问题

这些问题基本上是一样的,但为了具体起见,重新措辞。

1. 为什么 加密异常 由于 争论异常 从封闭的finally块引发的异常,如删除 catch (CryptographicException) 块导致异常无法处理并终止运行时?

2. 由于运行时似乎正在处理 加密异常 当 catch(加密异常) 块存在,为什么块内部的代码没有执行?

附加信息编辑

我仍在研究这方面的实际行为,许多答案至少在回答上述问题的部分方面特别有帮助。

另一个奇怪的行为,当您使用 catch(加密异常) 块被注释掉,是.NET 4.5和.NET 3.5之间的区别。NET 4.5将抛出 加密异常 并终止应用程序。然而,NET3.5的行为似乎更符合C#规范中的异常。

Propagate, my children
Throwing CryptographicExecption

Unhandled Exception: System.Security.Cryptography.CryptographicException [...]
ram.cs:line 23
Throwing ArgumentException
Caught ArgumentException
Made it out of the exception minefield

在.NET3.5中,我看到了我在规范中看到的内容。异常变为“丢失”或“终止”,因为唯一需要捕获的是 争论异常 正因为如此,程序才能继续执行。我的机器上只有.NET 4.5,我想知道在.NET 4.0中是否会发生这种情况?