11、不完整类型及其应用场景

不完整类型及其应用场景

1. 什么是不完整类型？

在C++中，不完整类型（Incomplete Type）指的是编译器无法确定其大小的类型。因此，编译器无法为这些类型的对象分配内存。尽管如此，我们仍然可以在某些情况下使用不完整类型，例如声明指针或引用。了解不完整类型有助于编写更加灵活和高效的代码，尤其是在处理复杂的数据结构时。

1.1 不完整类型的常见形式

不完整类型主要包括以下几种形式：

1. void类型 ： void 是一种不完整类型，不能用于声明对象，但可以用于指针类型。
2. 结构体、类、联合体的前向声明 ：如果一个类或结构体只进行了前向声明（forward declaration），而没有定义其具体内容，则它是不完整类型。
3. 未知大小的数组 ：如 int arr[]; ，编译器不知道数组的大小，因此它是不完整类型。
4. 元素类型为不完整类型的数组 ：如果数组的元素类型本身是不完整类型，那么这个数组也是不完整类型。

示例代码：

// 前向声明
class A;

// 不完整类型的指针是可以声明的
A* pa;

// 不能声明不完整类型的对象
// A a; // 错误：A 是不完整类型

// 定义后，A 成为完整类型
class A {
    int