C++/CLI Generic::字典声明语法

Question

我对 Collections::Generic::Dictionary 的声明语法很好奇 C++/CLI 中的类。

通常我们在类中声明一个引用并初始化它：

public ref class CDemo {
    private: ClassA ^ m_InstanceA;

    // Why the absence of '^'.
    private: Dictionary<int, int> m_Dic;

    CDemo() : 
        m_InstanceA(gcnew ClassA()),   
        m_Dic(gcnew Dictionary<int, int>()) 
    {...}
};

有人可以解释一下为什么“^”应该不存在吗？

更重要的是，如果我使用上面的字典作为另一个字典的TValue， 我必须这样声明：

Dictionary<T, Dictionary<T, T>^ > m_Dic;  // A '^' in the TValue parameter, which is           
                                          // normal, but same question as above,
                                          // I don't have to declare m_Dic as ^ ?

谢谢。

Answer 1

这不是 Dictionary 特有的。此语法是一种帮助将 C++ 语义映射到托管类型的方法。一般来说：

ref class A
{
   ReferenceType m_obj;
}; 

大致相当于

class A : IDisposable
{
  private ReferenceType m_obj;
  void Dispose() { m_obj.Dispose(); }
}

C# 中的 if ReferenceType 实现 IDisposable。完全可以这样写：

ref class A
{
   ReferenceType^ m_obj;
};

This does not have theimplicit IDisposable support.另一个区别是您可以从方法返回 ReferenceType^，仅普通 ReferenceType 不支持此功能。例如：

ref class A
{ 
   ReferenceType^ m_obj;
   ReferenceType^ GetIt() { return m_obj; }
};

将编译，

ref class A
{
   ReferenceType m_obj;
   ReferenceType GetIt() { return m_obj; }  // won't compile
   ReferenceType^ OtherGetIt() { return m_obj; } // neither will this
};

将自动（堆栈变量）脱糖提供类似的区别

      ReferenceType local;
      local.Stuff();

编译器

      try {
        ReferenceType^ local = gcnew ReferenceType();
        local->Stuff();
      } finally {
        delete local; // invokes Dispose() (~ReferenceType)
      }

，这些功能将熟悉的 RAII 习惯用法引入具有托管类型的 C++/CLI。

编辑：

是的，IDisposable 的 Dispose 方法类似于 C++ 析构函数。如果 ReferenceType 未实现 IDisposable （没有 dtor），并且它是唯一的成员，则 A 也不会实现 < code>IDisposable （没有隐式 dtor）。在 C++/CLI 中，您可以通过提供 dtor（对于托管类型）来实现 IDisposable。