为什么类的定义中不能包含自身类型，而可以包含其自身的指针类型和引用类型

一个类可以只有声明没有定义，如： class Simple ; //没有{}部分被视为声明。

注意： class Simple { } ; 这个是定义，只不过类是空的而已。只要包含{}就算定义。

对于只有声明而没有定义的类，只能声明它的指针类型或引用类型，不能直接声明其对象类型。 class Simple ; void main(void) { Simple simple ; // error, ‘simple’ uses undefined class ‘Simple’ Simple *simple1 ; // OK Simple &simple2 = *simple1; //OK }

为什么只有声明而没有定义的类不能定义其对象类型呢？ 因为如果类没有定义，编译器就不知道为这个对象分配多大空间，但是类的指针或引用类型的大小与类大小无关。 当编译器遇到 } 表示一个类的定义结束。 所以在一个类中，可以定义其自身的指针或引用类型，但是却不能定义其对象类型。因为类的定义还没有结束，无法确定其对象所占空间的大小。 class Simple { Simple simple ; // error C2460: ‘Simple::simple’ : uses ‘Simple’, which is being defined Simple *simple1 ; // OK Simple &simple2 ; //OK };