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

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 一开始就与它无关。