不完全类型在类中只能声明指向自身的指针或引用成员，以及以该类型为参数或返回值的函数声明；不能定义普通数据成员、静态数据成员或模板实参。
不完整类型能声明哪些类成员
不完整类型（incomplete type）在类定义中能用，但仅限于特定语法位置。核心原则是：只要不触发 sizeof 或内存布局计算，编译器就允许它存在。
以下成员声明是合法的：
-
MyClass*—— 指针成员：指针大小固定（通常 8 字节），无需知道MyClass的完整定义 -
MyClass&—— 引用成员：引用不占独立存储空间，只存别名绑定，也无需完整类型 -
void func(MyClass&);—— 函数形参为引用或指针：声明阶段不需实例化对象，只检查签名 -
MyClass* get_ptr();—— 函数返回指针：同理，声明不涉及对象构造
注意：MyClass 必须已前向声明（如 class MyClass;），否则连声明都不被识别。
为什么不能用于普通数据成员或静态成员
因为编译器必须在类定义完成时确定整个类的 sizeof。如果允许 MyClass obj; 这样的成员，就会陷入无限递归：该成员自身又含同样成员，sizeof(MyClass) 永远无法收敛。
立即学习“C++免费学习笔记（深入）”；
常见错误现象：
- 报错
error: field 'obj' has incomplete type 'MyClass'（GCC） - 或
error C2079: 'obj' uses undefined class 'MyClass'（MSVC） - 即使类定义在后面，只要成员声明出现在定义之前，就非法
静态成员变量是否例外
不是例外。静态成员变量虽不参与对象布局，但其类型仍需完整——因为静态变量本身是全局实体，要分配内存、调用构造函数（若为类类型）。所以 static MyClass s_obj; 同样报错。
但 static MyClass* s_ptr; 是合法的：指针声明不要求完整类型；真正定义它（比如在 .cpp 文件里写 MyClass* MyClass::s_ptr = nullptr;）时，MyClass 已完整定义。
容易忽略的坑：友元函数与模板参数
友元函数声明中使用不完整类型是允许的，例如：
class A;
class B {
friend void swap(B&, B&); // OK：只声明，不定义
friend void process(A&); // OK：A 是前向声明的
};但模板参数不同：std::vector<A> 要求 A 是完整类型，因为 std::vector 内部会用到 sizeof(A) 和析构逻辑。所以不能在 A 定义前把 A 作为模板实参传入容器或智能指针（除非用指针/引用包装）。
最常被低估的一点：不完整类型在头文件循环依赖场景中“能用”，但一旦进入定义体（比如构造函数实现、内联函数体），就必须确保类型已完整——否则链接期可能失败，或析构行为未定义。
