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