C++/CLI 编译器何时创建哪种处理模式？

Question

这听起来像是一个奇怪的问题，但取决于某事在 C++/CLI class 扩展C# class 实现了 IDisposable。

（如果您对处置模式的外观感兴趣，我建议您阅读 this or this。后者也包含有关 C++/CLI 的信息。 here 是一篇明确讨论从实现 IDisposable 的 C# class 派生 C++/CLI class 的文章。）

通过显示生成的 IL 代码（使用 Reflector 提取）可以最好地说明问题。版本 1：

[HandleProcessCorruptedStateExceptions]
protected override void Dispose([MarshalAs(UnmanagedType.U1)] bool A_0)
{
    if (A_0)
    {
        try
        {
            this.~Foo();
        }
        finally
        {
            base.Dispose(true);
        }
    }
    else
    {
        try
        {
            this.!Foo();
        }
        finally
        {
            base.Dispose(false);
        }
    }
}

版本 2：

[HandleProcessCorruptedStateExceptions]
protected virtual void Dispose([MarshalAs(UnmanagedType.U1)] bool A_0)
{
    if (A_0)
    {
        try
        {
            this.~Foo();
        }
        finally
        {
            base.Dispose();
        }
    }
    else
    {
        try
        {
            this.!Foo();
        }
        finally
        {
            base.Finalize();
        }
    }
}

请注意，在第一个版本中调用基本方法 Dispose(bool)，而在第二个版本中调用 Dispose() 或 Finalize()。这两个都是由几乎相同的代码生成的。在第二种情况下，在基 class.

中定义 Dispose(bool) 时省略了关键字 "virtual"

编译器似乎正在尝试确定是否正确使用了 Dispose 模式并生成适当的代码。

我的问题是我有一个例子，其中基础 class 看起来像这样：

  public void Dispose()
  {
    Dispose(true);
    GC.SuppressFinalize(this);
  }

  protected virtual void Dispose(bool disposing)
  {
    if (disposing)
    {
    }
  }

但生成的代码是版本 2。现在，基本 Dispose() 函数实际上在派生 class 上调用 Dispose(true)，后者又调用 base.Dispose() 并且我的堆栈溢出.

那么编译器什么时候生成每个版本的代码呢？

Answer 1

当基础 class 有一个名为 Dispose(bool).

的非私有虚拟方法时，会出现带有 Dispose(true) 调用的代码的版本 1

当基础 class 没有 Dispose(bool) 方法时，出现带有 Dispose() 的代码的版本 2。

当基础 class 具有非虚拟 Dispose(bool) 方法时，代码的第 3 版看起来与第 2 版几乎相同。唯一的区别是 C++ Dispose(bool) 函数也有 new 关键字。

我可以通过执行以下操作来实现您的情况：

创建一个 C# class 来实现 IDisposable 而无需 Dispose(bool) 方法。
对 C# 和 C++ 库进行完整编译。
修改 C# class 以添加虚拟 Dispose(bool) 方法。
编译（但不要全部重建）。

在这种情况下，C# 代码生成正确，但 C++ 代码未将 Dispose(bool) 函数调整为应有的状态

对此的修复非常简单：rebuild-all 将损坏的版本 2 代码转换为正确的版本 1 代码。

C++/CLI 编译器何时创建哪种处理模式？

When does the C++/CLI compiler create which dispose pattern?

c#

.net

visual-c++

c++-cli

dispose