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

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

发布了42 篇原创文章 · 获赞 32 · 访问量 14万+
展开阅读全文

没有更多推荐了,返回首页

©️2019 CSDN 皮肤主题: 大白 设计师: CSDN官方博客

分享到微信朋友圈

×

扫一扫,手机浏览