forward declaration genera un error de tipo incompatible

Question

He estado leyendo algunas declaraciones a futuro, incluso en este foro. Todos dicen que nos salva de incluir el archivo de cabecera, pero el siguiente código genera un error:

#ifndef CLASSA_H_ 
#define CLASSA_H_ 

class B; 

class A { 

public: 
    A(); 
    ~A(); 
    int getCount(); 
private: 
    static int _count; 
    int _num; 
    B _b1; //ERROR 

}; 

compilador dice: A.h:23: error: field ‘_b1’ has incomplete type

me di cuenta de que si hago _b1 de tipo B* el problema es resuelto

Entonces, ¿la declaración directa es válida solo para los tipos de puntero?
Si quiero A para contener B objeto tengo que #inlcude "B.h"?

gracias!

Answer 1

El compilador tiene que conocer la definición exacta de la clase B para determinar al menos qué tamaño para dar a la clase A. Si usa un puntero, conoce su tamaño.

Tenga en cuenta que las dependencias circulares no son posibles. Si quieres

class A { B b; }; 
class B { A a; }; 

entonces A y B deben tener un tamaño infinito ...

Answer 2

Sí, usted tendría que

#include "B.h" 

si desea incluir en su clase B A.

Answer 3

Sí, declaraciones adelantadas sólo funcionan si se utiliza punteros y las referencias al tipo de avance declarada . Si usa el objeto por valor, debe incluir el archivo de encabezado completo.

Answer 4

Usted puede utilizar un tipo prospectivas declarada a

1. punteros de uso y las referencias a ella como miembros de datos
2. utilícenlo como argumento (incluso tomando por copia) o como tipo de devolución (incluso regresando por copia) para la función declarat iones.

Tendrá una definición completa de un tipo con el fin de

1. lo utilizan como miembro de la clase de datos
2. utilizarlo en función de las definiciones .

Si recuerda que un delantero-declaración en realidad es un misnomed declaración (there is no other way of declaring a class type, por lo ninguna declaración de un tipo de clase es una declaración hacia adelante), y que, cada vez que está abriendo las llaves después de class/struct/union identificador además, son definir una clase, todo lo que tiene que recordar es que:

• necesita una definición completa de utilizar el propio tipo de definiciones
• salirse con solamente una declaración de utilizar el propio tipo de declaraciones
• salirse con solamente una declaración cuando se utiliza sólo los punteros y referencias y no trate de miembros de acceso o tipos anidados (cualquier cosa con ., ->, y :: delante)