Wenn man zwei Klassen hat die jeweils die andere Klasse benötigen, warum ist es dann falsch die Header so zu schreiben:

//Datei A.h
#ifndef A_h
#define A_h
#include "B.h"
...usw.
#endif

//Datei B.h
#ifndef B_h
#define B_h
#include "A.h"
...usw.
#endif

Wenn A.h zuerst gelesen wird, wird in der dritten Zeile B.h gelesen. In der dritten Zeile von B.h wird dann wiederum A.h gelesen, da A.h aber bereits definiert wurde, wird A.h wegen #ifndef ignoriert. Das Endergebnis ist also dann, dass sowohl A.h als auch B.h jeweils einmal eingebunden wurden. Wo ist also das Problem?

In meinem Lehrbuch steht, dass die Header falsch wären. Die Begründung dafür kann ich aber überhaupt nicht nachvollziehen, weshalb ich sie hier erst gar nicht angebe.

// A.h
#pragma once // Include-Guard unter VS
#include "B.h"

class A
{
    B b;
};

// B.h
#pragma once
#include "A.h"

class B
{
    A b;
};

Include bewirkt ein Einbinden der entsprechenden Datei, nach dem Beenden des Präprozessors sieht das so aus:

// A.h
#pragma once

#include "A.h"

class B
{
    A b;
};

class A
{
    B b;
};

Im eingebunden B wird wiederum A inkludiert, da dass allerdings nicht mehr geht (Include-Guard!), wird nichts inkludiert.
B braucht allerdings die Definition von A vor der eigenen Definition. Die Folge ist, dass er A nicht mehr kennt und somit auch keinen Member davon haben kann.

Und übrigens heißt es #define statt #def und #include "A.h" statt #include "A_h" (Gleiches gilt natürlich für B.h).

Nathans Beispiel kann auch nicht direkt mit Vorwärtsdeklaration gelöst werden, denn wenn jede Klasse ein Objekt der anderen Klasse direkt (ohne Pointer/Referenzen) enthält, wären die Objekte ja unendlich groß.