c++是静态类型语言，编译器必须在编译期就掌握每个类型的完整信息（如大小、成员布局、函数签名），否则无法生成正确代码；仅前置声明class foo;时，foo为不完整类型，仅支持指针、引用及部分智能指针等不依赖其内部结构的用法。
因为编译器在处理每一行代码时，必须知道每个名称代表什么——是类型、变量、函数，还是别的东西；否则它无法决定该分配多少内存、调用哪个函数、或者检查操作是否合法。
编译器需要“提前知道”才能生成正确代码
C++ 是静态类型语言，编译阶段就要确定所有类型的大小、成员布局、函数签名等。比如 sizeof(Foo)、Foo x;、x.member 这些操作，都要求 Foo 是完整类型（complete type）。如果只写了 class Foo;，那 Foo 就是不完整类型（incomplete type），编译器只知道“有这么个名字”，但不知道它占多大、有什么成员。
常见错误现象：
error: invalid use of incomplete type 'class Foo'error: field 'obj' has incomplete typeerror: member access into incomplete type
这些报错本质都是同一类问题：编译器在这一行需要完整信息，但你只给了前置声明。
哪些地方允许用不完整类型
只要不涉及对象大小或内部结构，编译器就能靠指针/引用的固定尺寸继续工作。所以以下写法是合法的：
-
Foo* p;—— 指针大小固定（通常是 4 或 8 字节） -
Foo& r;—— 引用底层也是地址，不需要知道Foo的布局 -
std::unique_ptr<foo> ptr;</foo>—— 智能指针内部只存指针，构造/析构逻辑延后到定义可见处 - 函数参数或返回值为
Foo*或Foo&—— 不需要实例化Foo对象
但以下写法一定失败：
-
Foo obj;—— 需要sizeof(Foo)和构造逻辑 -
static Foo s;—— 静态成员也要定义，需完整类型 -
std::vector<foo> v;</foo>—— 容器要拷贝、移动、析构Foo，必须完整
前置声明不能替代头文件包含的典型场景
前置声明只是“告诉编译器名字存在”，不是“提供实现”。一旦你要做这些事，就必须包含定义所在的头文件：
- 在类定义里调用
Foo的成员函数（如p->draw()） - 在
.cpp文件里 new/deleteFoo对象（析构函数必须可见） - 使用
Foo的public成员（哪怕只是读一个int） - 继承
Foo或用它做模板实参（如std::shared_ptr<foo></foo>构造时需完整类型）
特别注意：std::unique_ptr<foo></foo> 的析构函数如果在头文件里被隐式实例化，而 Foo 仍不完整，就会链接失败或编译报错——所以 Pimpl 模式下，Foo 的析构函数必须定义在 .cpp 中，且那里必须包含 Foo 的完整定义。
容易被忽略的边界点
模板类不能靠简单前置声明来使用其实例，比如 template<typename t> class MyVector;</typename> 声明后，MyVector<int></int> 仍是不完整类型，除非你显式特化或包含其定义。枚举类型中，enum class Color; 合法（C++11 起支持前向声明），但 enum Color; 不行——编译器不知道底层类型，无法确定大小。
最常踩的坑是：在头文件里用 class Foo; 声明，然后顺手写了 Foo obj;，编译器当场拒绝；或者以为 std::shared_ptr<foo></foo> 和 std::unique_ptr<foo></foo> 行为一致，结果前者在头文件里就能析构，后者不行——差别就在析构逻辑是否被隐式实例化。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
