Question

我有一种情况，其中A引用了B中定义的C类，而C有B类的实例。

当我尝试编译下面的代码时，我得到“field a has incomplete type”。我假设这是因为编译器不知道应该为A的实例分配多少内存。

class A;

class B {
public:
  class C {
    A a;
  };
};

class A {
  A(const B::C& _c) 
    : c(_c)
  {}
  const B::C& c;
};

但是当我尝试编译时，我得到“C in class B does not name a type”：

class B;
class B::C;

class A {
  A(const B::C& _c) 
    : c(_c)
  {}
  const B::C& c;
};


class B {      
public:
  class C {
    A a;
  };
};

如何让编译器相信B::C是真正的类型？

Answer 1

绝对猜测，我注意到你没有尝试过一种排列：

class B {
public:
  class C; // Forward declaration
};

class A {
  A(const B::C& _c) 
    : c(_c)
  {}
  const B::C& c;
};

class B::C {
  A a;
  C() : a(*this) {}    // Thanks Nim for pointing this out!
};

这很可能是非法的，但我认为值得一试。如果它不起作用，那么我没有看到任何解决问题的方法。

Answer 2

A的前瞻性声明不起作用：您不能声明不完整类型的实例。

至于B::C，我认为你不能在不完整的类型中使用嵌套名称。只是不要在C中嵌套B：据我所知，这并没有给你任何明显的优势*并阻止你向前宣布它。

*我能想到的唯一优势是你可以在私人部分定义它，但是A首先与它没有任何关系。

相互引用类产生“不完整类型”错误

2 个答案: