C++：如何使用未定义的类型？

Question

C++ 要求在使用所有类型之前先定义它们，这使得以正确的顺序包含头文件变得很重要。美好的。但是我的情况呢：

Bunny.h：

   class Bunny
   {
       ...
   private:
       Reference<Bunny> parent;
   }

编译器抱怨，因为技术上Bunny在我在自己的类中使用它时尚未完全定义定义。因为我做了一些愚蠢的事情（不相关）。

除了重写我的模板类 Reference 使其采用指针类型（在这种情况下我可以使用 Bunny 的前向声明），我不知道如何解决这个问题。

有什么建议吗？

编辑：我的Reference类（XObject是数据模式对象的基类）：

template <class T = XObject> class Reference
{
public:
    Reference() : m_ptr (NULL) {}
    Reference(T* p)
    {
        m_ptr = p;
        if (p != NULL) ((XObject*)p)->ref();
    }
    ~Reference()
    {
        if (m_ptr)
        {
            ((XObject*)m_ptr)->deref();
        }
    }

    // ... assignment, comparison, etc.

private:
    T* m_ptr;
}; 

编辑：这工作正常，问题是别的东西。非常感谢您的帮助！

Answer 1

您的问题的答案取决于参考文献<>的内容。看起来像。如果它有一个 Bunny 类型的实例变量，那么它当然不会工作（怎么会呢，你有一个永远不会结束的递归定义）。如果它只有引用和指针，那么它应该可以正常工作。模板实例化中的 Bunny 类型不会干扰这一点。

编辑（发布参考<>代码编辑）：

我似乎无法重现您的问题。我已经重新实现了像您正在做的那样的代码，但它对我来说编译得很好：

struct base {
  void fun() {}
};
template < typename T >
struct temp
{
  T * t;

  void f() { ((base*)t)->fun(); }
};

struct test
{
  temp<test> t;

};

int main()
{
  test t;
  t.t.f();
}

这显然是无效的代码，因为您将得到未定义的结果，但它确实可以编译。这里的主要问题是从类型 test* 到类型 base* 的重新解释。如果测试确实从基类继承，那么甚至不需要强制转换。这样的代码不会按预期运行，但应该可以正常编译。我的一个建议是放弃所有 c 风格的强制转换。但这并不能解决您遇到的问题，无论它是什么......它必须位于您未粘贴的代码中的某个位置。

Answer 2

如果 Reference 具有 T 类型的变量，则 T 不能具有 Reference 类型的变量代码>.您的替代方案是重写 Reference，或重写 Bunny 以使用指向 Reference 的指针：

template<class> class Reference;

class Bunny
{
    ...
private:
    Reference<Bunny>* parent;
}

Answer 3

这不就是一个抽象的问题，抽象成为问题的解决方案吗？我会考虑创建一个接口 IBunny，然后在实现 IBunny 的任何定义内使用 Reference。

这是接口被发明的用例之一（在典型的 GoF 创建模式中派上用场）。