在 .NET Framework 4.8 中,try-catch-when 中如果 when 语句抛出异常,程序将彻底崩溃。而 .NET Core 3.0 中不会出现这样的问题。
本文涉及的 Bug 已经报告给了微软,并且得到了微软的回复。是 .NET Framework 4.8 为了解决一个安全性问题而强行结束了进程。
This post is written in multiple languages. Please select yours:
官方文档中 when 的行为
你可以前往官方文档:
在其中,你可以找到这样一段话:
用户筛选的子句的表达式不受任何限制。 如果在执行用户筛选的表达式期间发生异常,则将放弃该异常,并视筛选表达式的值为 false。 在这种情况下,公共语言运行时继续搜索当前异常的处理程序。
即当 when
块中出现异常时,when
表达式将视为值为 false
,并且此异常将被忽略。
示例程序
鉴于官方文档中的描述,我们可以编写一些示例程序来验证这样的行为。
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
using System;
using System.IO;
namespace Walterlv.Demo.CatchWhenCrash
{
internal class Program
{
private static void Main(string[] args)
{
try
{
try
{
Console.WriteLine("Try");
throw new FileNotFoundException();
}
catch (FileNotFoundException ex) when (ex.FileName.EndsWith(".png"))
{
Console.WriteLine("Catch 1");
}
catch (FileNotFoundException)
{
Console.WriteLine("Catch 2");
}
}
catch (Exception)
{
Console.WriteLine("Catch 3");
}
Console.WriteLine("End");
}
}
}
很显然,我们直接 new
出来的 FileNotFoundException
的 FileName
属性会保持为 null
。对其解引用会产生 NullReferenceException
。很显然代码不应该这么写,但可以用来验证 catch
-when
语句的行为。
按照官网描述,输出应该为 Try
-Catch 2
-End
。因为 when
中的异常被忽略,因此不会进入到外层的 catch
块中;因为 when
中出现异常导致表达式值视为 false
,因此进入了更合适的异常处理块 Catch 2
中。
在 .NET Core 3.0 中的行为和 .NET Framework 4.8 中的行为
下面两张图分别是这段代码在 .NET Core 3.0 和 .NET Framework 4.8 中的输出:
可以注意到,只有 .NET Core 3.0 中的行为符合官方文档的描述,而 .NET Framework 4.8 中甚至连 End
都没有输出!几乎可以确定,程序在 .NET Framework 4.8 中出现了致命的崩溃!
如果我们以 Visual Studio 调试启动此程序,可以看到抛出了 CLR 异常:
以下是在 Visual Studio 中单步跟踪的步骤:
Issue 和行为
由于本人金鱼般的记忆力,我竟然给微软报了三次这个 Bug:
- 给文档的(2019.09.10):When use the when keyword in a catch expression the app crashes instead of do what the document says · Issue #14338 · dotnet/docs
- 给框架和 SDK 的(2019.09.12): When use the when keyword in a catch expression the app crashes instead of do what the document says · Issue #41047 · dotnet/corefx
- 给运行时的(2019.07.02):App will crash when using the when keyword in a catch expression · Issue #25534 · dotnet/coreclr
此问题是 .NET Framework 4.8 为了修复一个安全性问题才强行结束了进程:
Process corrupting exceptions in exception filter (like access violation) now result in aborting the current process. [110375, clr.dll, Bug, Build:3694]
请参见:
本文会经常更新,请阅读原文: https://blog.walterlv.com/post/try-catch-when-causes-app-crash.html ,以避免陈旧错误知识的误导,同时有更好的阅读体验。
本作品采用 知识共享署名-非商业性使用-相同方式共享 4.0 国际许可协议 进行许可。欢迎转载、使用、重新发布,但务必保留文章署名 吕毅 (包含链接: https://blog.walterlv.com ),不得用于商业目的,基于本文修改后的作品务必以相同的许可发布。如有任何疑问,请 与我联系 ([email protected]) 。