Warum verursacht die Deklaration eines Klassenmitglieds desselben Typs in C einen Fehler „Unvollständiger Typ'?

Unvollständige Typen in Klassen verstehen

In C kann die Deklaration eines Klassenmitglieds desselben Typs wie die Klasse selbst zu „unvollständig“ führen Typ"-Fehler. Betrachten Sie das folgende Beispiel:

class A {
    private:
        A member;
};

Warum kann dieser Code nicht kompiliert werden?

Der Grund liegt in der Reihenfolge der Deklaration und Definition. Wenn das Mitglied A innerhalb der Klasse deklariert wird, hat der Compiler die A-Klasse noch nicht vollständig definiert. Infolgedessen ist der Typ A unvollständig.

Wenn jedoch stattdessen ein Zeiger auf die Klasse verwendet wird, kann der Compiler A* als „Zeiger auf Typ A“ erkennen, auch wenn A nicht vollständig definiert ist. Das liegt daran, dass der Compiler weiß, dass ein Zeiger ein gültiger Typ ist.

Um den Fehler „unvollständiger Typ“ zu beheben, besteht eine Lösung darin, einen intelligenten Zeiger zu verwenden, wie zum Beispiel boost::shared_ptr Mitglied, um die Referenz des Mitglieds darzustellen. Intelligente Zeiger können den Speicher automatisch verwalten und die Komplexität der manuellen Zeigerbehandlung vermeiden.

class A;

class A {
    private:
        A* member;
};