在发布模式下未针对异步方法调用 IDisposable.Dispose()

我在 VS2015.1 上使用 .NET 4.6.1 在 VB.NET 14 中编写了以下 WPF 示例应用程序：

Class MainWindow

    Public Sub New()
        InitializeComponent()
    End Sub

    Private Async Sub Button_Click(sender As Object, e As RoutedEventArgs)
        MessageBox.Show("Pre")

        Using window = New DisposableWindow()
            window.Show()

            For index = 1 To 1
                Await Task.Delay(100)
            Next
        End Using

        MessageBox.Show("Post")
    End Sub

    Class DisposableWindow
        Inherits Window
        Implements IDisposable

        Public Sub Dispose() Implements IDisposable.Dispose
            Me.Close()
            MessageBox.Show("Disposed")
        End Sub
    End Class

End Class

下面的示例产生以下输出：

• 调试模式：预调试、已部署、后调试
• 发布模式：前发布、后发布

这很奇怪。为什么调试模式执行此代码的方式与发布模式不同...？

当我将 using 块更改为手动 try/finally 块时，对 window.Dispose() 的调用甚至会抛出 NullReferenceException：

Dim window = New DisposableWindow()
Try
    window.Show()

    For index = 1 To 1
        Await Task.Delay(100)
    Next
Finally
    window.Dispose()
End Try

甚至更奇怪的事情是：当排除 for 循环时，示例可以完美运行。我只让 For 循环运行一次，以指定产生问题的最小循环量。也可以随意将 For 循环替换为 While 循环。它产生与 For 循环相同的行为。

Works:

Using window = New DisposableWindow()
    window.Show()

    Await Task.Delay(100)
End Using

现在您可能会想：“这很奇怪！”。情况变得更糟。 我还在 C# (6) 中制作了完全相同的示例，它运行得很好。因此，在 C# 中，调试和发布模式都会产生“Pre、Dispose、Post”作为输出。

示例可以在这里下载：

http://www.filedropper.com/vbsample http://www.filedropper.com/vbsample

http://www.filedropper.com/cssample http://www.filedropper.com/cssample

我现在很困惑。这是 .NET Framework 的 VB.NET 堆栈中的错误吗？或者我是否试图完成一些奇怪的事情，幸运的是，这似乎可以在 C# 中工作，部分在 VB.NET 中工作？

Edit:

做了更多测试：

• 在发布模式下禁用 VB.NET 中的编译器优化，使其行为类似于调试模式（如预期，但想对其进行测试，以防万一）。
• 当我以 .NET 4.5（async/await 可用的最早版本）为目标时，也会出现此问题。

Update:

此问题已得到解决。 1.2 版本计划公开发布，但 master 分支中的最新版本应该包含修复程序。

See: https://github.com/dotnet/roslyn/issues/7669 https://github.com/dotnet/roslyn/issues/7669

我会把这个写下来，这个 Roslyn bug 非常令人讨厌，很容易破坏很多 VB.NET 程序。以一种非常丑陋且难以诊断的方式。

该错误很难发现，您必须使用反编译器查看生成的程序集。我将以极快的速度描述它。 Async Sub 中的语句被重写为状态机，代码片段中的特定类名称是 VB$StateMachine_1_buttonClick。你只能用像样的反编译器才能看到它。这MoveNext()该类的方法执行方法体中的语句。当您的异步代码运行时，会多次输入此方法。

MoveNext() 使用的变量需要是captured，将局部变量转换为类的字段。像你的window变量，稍后当Using语句结束并且需要调用Dispose()方法时将需要它。调试版本中该变量的名称是$VB$ResumableLocal_window$0。当您构建程序的发布版本时，编译器会尝试优化此类，但结果却很糟糕。它消除捕获并制作windowMoveNext() 的局部变量。这是非常错误的，当执行在Await，该变量将为 Nothing。因此它的 Dispose() 方法不会被调用。

这个 Roslyn bug 具有非常大的影响，它会破坏任何使用Using异步方法中的语句，其中语句主体包含 Await。这并不容易诊断，丢失的 Dispose() 调用经常未被检测到。除非像你这样的情况，它有非常明显的副作用。现在肯定有很多正在生产中运行的程序存在此错误。副作用是它们会“繁重”地运行，消耗比必要的更多的资源。该程序可能会以许多难以诊断的方式失败。

对于此错误有一个临时解决方法，请确保永远不要部署存在其他问题的 VB.NET 应用程序的调试版本。相反，请关闭优化器。选择发布版本并使用“项目”>“属性”>“编译”选项卡>“高级编译选项”> 取消选中“启用优化”复选框。

哎呀，这很糟糕。