Объявить объект еще до создания этого класса

Question

Есть ли способ объявить объект класса до создания класса на C++? Я спрашиваю, потому что я пытаюсь использовать два класса, первый должен иметь экземпляр второго класса внутри него, но второй класс также содержит экземпляр первого класса. Я понимаю, что вы можете подумать, что я могу попасть в бесконечный цикл, но мне действительно нужно создать и экземпляр второго класса перед первым классом.

Answer 1

Вы не можете сделать что-то вроде этого:

class A { 
    B b; 
}; 
class B { 
    A a; 
}; 

Наиболее очевидной проблемой является то компилятор не знает, как велика она должна сделать класс A, так как размер B зависит от размера из A!

Вы можете, однако, сделать это:

class B; // this is a "forward declaration" 
class A { 
    B *b; 
}; 
class B { 
    A a; 
}; 

Объявление класса B, как упреждающее объявление позволяет использовать указатели (и ссылки) на этот класс, не имея еще определение целого класса.

Answer 2

Вы не можете объявить экземпляр неопределенного класса, но вы можете объявить указатель на один:

class A; // Declare that we have a class A without defining it yet. 

class B 
{ 
public: 
    A *itemA; 
}; 

class A 
{ 
public: 
    B *itemB; 
}; 

Answer 3

Это близко к тому, что вы хотите: Первый класс содержит второй класс, но второй класс (который должен быть создан первым) просто имеет ссылку на первый класс?

Answer 4

Это называется перекрестная ссылка. См. Пример here.

Answer 5

Есть an elegant solution с помощью шаблонов.

template< int T > class BaseTemplate {}; 
typedef BaseTemplate<0> A; 
typedef BaseTemplate<1> B; 
// A 
template<> class BaseTemplate<0> 
{ 
public: 
    BaseTemplate() {} // A constructor 
    B getB(); 
} 

// B 
template<> class BaseTemplate<1> 
{ 
public: 
    BaseTemplate() {} // B constructor 
    A getA(); 
} 

inline B A::getB() { return A(); } 
inline A B::getA() { return B(); } 

Этот код будет работать! Итак, почему он работает ? Причина связана с тем, как скомпилированы шаблоны . Шаблоны задерживают создание функции подписей, пока вы на самом деле не используете шаблон . Это означает, что ни getA(), ни getB() не будут иметь , их подписи анализируются до тех пор, пока оба класса A и B уже были объявлены . Это волшебство этот метод.