为什么类的定义中不能包含其自身类型，但是能包含其自身的指针或引用类型

一个类可以只有声明没有定义，如：

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

};