クラスが定義されている場合にのみ、データ型をクラス型にすることができる理由を教えてください。 （ "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

それはAが宣言されているためmemberのこの仕様は、有効ではありません意味しかし定義されていません：

class A; 

class B { 
    A member; 
}; 

これが許可されない理由の1つは、 se sizeof(A)は不明です。

class A { 
    int value; 
}; 

class B { 
    A member; 
}; 

そして、これはmemberは、クラス型が、ポインタ型ではないのでAは、（のみ宣言）定義されていない場合でも有効です：Aが定義されているので、

しかし、これは有効です。

class B { 
    A* member; 
};