Skip to main content
3 de 3
se añadieron 85 caracteres en el cuerpo
ABu
  • 2.6k
  • 1
  • 11
  • 11
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)).

[†2]: El caso A& lo he ejemplificado como atributo y no como variable local o global por no puedes declarar la referencia como variable (sea global o local), ya que 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.

ABu
  • 2.6k
  • 1
  • 11
  • 11