pliki nagłówkowe c++ zawierające się wzajemnie

Nie możesz mieć, aby każda klasa miała "pole, które jest typem innej klasy"; byłaby to rekurencyjna definicja i nie tylko kompilator nie byłby w stanie z tego wyciągnąć żadnego sensu, nawet nie ma to logicznego sensu.

Każda klasa mająca pole, które jest typem drugiej klasy, jest rodzajem niemożliwości, którą widzisz tylko w rysunkach M. C. Eschera lub ich animacjach, takich jak Ta:

Źródło: escherdroste.math.leidenuniv.nl

Jedno z dwóch pól będzie musiało być wskaźnikiem , aby złamać rekurencyjne zabezpieczenie i uniknąć logicznej niemożności.

Co prowadzi nas do następnego problemu: jeśli Klasa B ma zawierać instancję klasy A, to oczywiście, A musi być zadeklarowana przed klasą B, tak że A jest znany już kompilatorowi podczas kompilacji B. Ale jeśli Klasa A jest zadeklarowana przed klasą B, jak możemy zadeklarować wskaźnik do B W A? Klasa B nie jest jeszcze znana w momencie kompilacji A! Odpowiedzią na to jest specjalna konstrukcja znana jako forward declaration, która istnieje właśnie po to, aby uwzględnić takie sytuacje. Deklaracja forward klasy B wygląda tak:

class B;

Wszystko, co mówi kompilatorowi, to to, że będzie Klasa o nazwie B. Nie powiedz kompilatorowi cokolwiek o zawartości klasy B, więc niewiele możemy z nią zrobić, ale możemy zrobić jedną rzecz: declare pointers to B.

Plik "A. h":

/* This is called a "forward declaration".  We use it to tell the compiler that the 
   identifier "B" will from now on stand for a class, and this class will be defined 
   later.  We will not be able to make any use of "B" before it has been defined, but 
   we will at least be able to declare pointers to it. */
class B;

class A
{
    /* We cannot have a field of type "B" here, because it has not been defined yet. 
       However, with the forward declaration we have told the compiler that "B" is a 
       class, so we can at least have a field which is a pointer to "B". */
    B* pb; 
}

Plik "B. h":

#include "A.h"

class B
{
   /* the compiler now knows the size of "A", so we can have a field of type "A". */
   A a;
}