взаимно ссылочные классы дают ошибку «неполный типа»

Question

У меня есть ситуация, в которой А имеет ссылку на класс C, определенных внутри В, и С имеет экземпляр класс В.

При попытке компиляции коды ниже, я получаю «field a has incomplete type». Я предполагаю, что это потому, что компилятор не знает, сколько памяти следует выделить для экземпляра А.

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 не имел бы с ним никаких деловых контактов.