template <class T>
class Nodo
{
protected:
T d;
Nodo *h[2] = {NULL};
public:
Nodo(T dato = T()) { d = dato; }
};
Aunque la clase Nodo
sea una clase incompleta en el punto de declaración de h
, porque todavía se está procesando, siempre puedes declarar punteros, referencias y funciones que reciban o devuelvan objetos por valor de dicho tipo incompleto. Es decir, este código compila (aunque no lo he probado):
#include <iostream>
class A;
A* a = nullptr;
// A* a2 = new A; // [†]
struct B
{
A& ra; // [†2]
};
A f(A);
A& f(A&); // [†3]
// A& ra = *a; // [†4]
int main()
{}
[†]: Eso no compila porque, aunque sea válido declarar punteros a un tipo incompleto, no puedes crear ningún objeto de dicho tipo al no saber todavía de qué constructores dispones, y sobre todo, por no conoces todavía el tamaño de A
(sizeof(A)
), cosa que el compilador necesita para hacer la llamada a la correspondiente rutina de reserva de memoria.
[†2]: No puedes declarar la referencia como variable (sea global o local), porque las referencias deben estar obligatoriamente definidas en su declaración (por ejemplo, ra = *a
), es decir, no puedes declarar una referencia, y asignarle un valor más tarde. Sin embargo, al ser A
un tipo incompleto, no tienes forma de "conseguir" el objeto que quieres referenciar. Es decir, *a
no compilaría por A
es un tipo incompleto y no sabemos qué es un objeto de tipo A
.
Sin embargo, sí que puedes declararlo como atributo, dado que ahí no estás obligado a inicializarlo. Eso ocurrirá obligatoriamente en el constructor, cosa que tampoco podrías implementar todavía hasta que A
no esté definido.
[†3]: Los parámetros de las funciones son los únicos lugares en los que puedes declarar objetos de un tipo incompleto (y no solo referencias o punteros), dado que, en ese punto, no se necesita conocer ni su tamaño (sizeof(A)
) ni su contenido. Eso sí, no podrías implementar la función hasta que A
se defina más tarde en el código y ya haya disponible constructores de copia, etc.
[†4]: Nuevamente, no se puede aplicar *a
si aún no conoces A
. No conozco exáctamente los motivos, pero normalmente suele ser porque para realizar ese tipo de acciones el compilador necesita su sizeof
.