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

一个类可以只有声明没有定义，如：
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
};