Skip to main content
se añadieron 85 caracteres en el cuerpo
Origen Enlace
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)), cosa que el compilador necesita para hacer la llamada a la correspondiente rutina de reserva de memoria.

[†2]: NoEl 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), porqueya 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.

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.

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.

se añadieron 105 caracteres en el cuerpo
Origen Enlace
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)), 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.

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]: 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.

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.

Origen Enlace
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]: 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.