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

Question

这听起来可能是一个奇怪的问题，但根据一些东西，在 C++/CLI 类扩展实现 IDisposable 的 C# 类的情况下，编译器会为 dispose 方法生成不同的内容。

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

通过显示生成的 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()。 这两者都是由几乎相同的代码生成的。在第二种情况下，在基类中定义 Dispose(bool) 时省略了关键字“virtual”。

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

我的问题是我有一个基类看起来像这样的情况：

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

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

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

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

Answer 1

当基类有一个名为Dispose(bool) 的非私有虚方法时，会出现带有Dispose(true) 调用的代码版本1。

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

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

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

1. 创建一个实现 IDisposable 而没有 Dispose(bool) 方法的 C# 类。
2. 对 C# 和 C++ 库进行完整编译。
3. 修改 C# 类以添加虚拟 Dispose(bool) 方法。
4. 编译（但不要全部重建）。

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

对此的修复非常简单：全部重建将损坏的第 2 版代码转换为正确的第 1 版代码。