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

类的声明

就像把类的声明和定义分开来一样，我们也能仅仅声明类而暂时不定义它：

class Simple;

这种声明有时被成为前向声明，它向程序中引入了名字Simple并且指明Simple是一种类类型。对于类型Simple来说，在它声明之后定义之前是一个不完全类型，此时我们知道它是一个类类型，但是不清楚它到底包含哪些成员。

不完全类型只能在非常有限的情况下使用：可以定义指向这种类型的指针和引用（），也可以声明（但是不能定义）以不完全类型作为参数或这返回类型的函数。

对于一个类来说，在我们创建它的对象之前该类型必须被定义过，而不能仅仅被声明。否则，编译器就无法了解这样的对象需要多少存储空间。类似的，类也必须首先被定义，然后才能引用或指针访问其成员。毕竟，如果类尚未定义，编译器也就不清楚该类到底有哪些成员。

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

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
};