c++ - 为什么不允许在同一个类中定义一个类对象？

Question

这是我的代码:

class Link;
class LinkScreen;
class LinkScreen {
    Link* linkScreen1;
    LinkScreen linkScreen2; 
};

class Link {}; 

make 错误:

test.cpp:6:16: error: field ‘linkScreen2’ has incomplete type

为什么不允许这样做？

Answer 1

类不能包含其自身的实例，因为那样会使实例占用无限量的空间。

想一想:您创建了一个 LinkScreen 对象……它包含另一个 LinkScreen 对象……它包含 另一个 LinkScreen 对象，其中包含另一个对象，依此类推。

或者，换个角度看，LinkScreen 对象的大小是多少？好吧，它是它包含的变量的大小:Link*(通常为 4 或 8 个字节)加上 LinkScreen 对象的大小。但是那个有多大？好吧，它是 Link* 的大小加上 LinkScreen 的大小。你可以在这里看到无限递归。

您只能创建“完整”类型的实例，对于类而言，这意味着编译器已经看到了类定义的右大括号。这会阻止您将实例放在类本身中。不过，您可以创建一个指向不完整类型的指针； LinkScreen 对象可以包含 LinkScreen* 变量。