Почему данные могут быть указаны как тип класса только в том случае, если класс определен? (из книги «C++ primer»)

Question

В книге «C++ primer» есть раздел о объявлениях классов и определениях. Я не понимаю всего об этом предложении:

Элементы данных могут быть указаны как тип класса, только если класс был определен.

Я не понимаю логику этого предложения. Как указать член данных для типа класса, что означает это действие?

Answer 1

Это означает, что для декларирования нестатического элемента данных класса класса типа T, T требуется быть complete.

(В общем случае, когда размер и расположение T должны быть известны.)

например,

class foo; // forward declaration 
class bar { 
    foo f; // error; foo is incomplete 
}; 

С другой стороны,

class foo {}; // definition 
class bar { 
    foo f; // fine; foo is complete 
}; 

Answer 2

Я считаю, что это означает, что это будет компилировать:

class A 
{ 
public: 
    A() {/* empty */} 
}; 

class B 
{ 
public: 
    B() {/* empty */} 

private: 
    A myClassMember; // ok 
}; 

.... но это не будет:

class A; // forward declaration only! 

class B 
{ 
public: 
    B() {/* empty */} 

private: 
    A myClassMember; // error, class A has only been declared, not defined! 
}; 

Answer 3

Это означает, что эта спецификация member не действует, потому что A объявлен но не определен:

class A; 

class B { 
    A member; 
}; 

Одна из причин, почему это не допускается, является becau se sizeof(A) неизвестен.

Это, однако, справедливо, потому что A определяется:

class A { 
    int value; 
}; 

class B { 
    A member; 
}; 

И это справедливо, даже если A не определен (только декларируется), потому что member не относится к типу класса, но тип указателя:

class B { 
    A* member; 
};