pimpl 通过将私有成员移入仅在 .cpp 定义的 impl 结构体，头文件仅保留前向声明和 std::unique_ptr，实现编译防火墙；析构、构造等必须定义在 .cpp 中，否则因不完整类型报错。
头文件里看不到完整类型定义，编译器就不用解析它们
根本原因在于：Pimpl 把所有需要完整定义的私有成员（比如 std::unordered_map、QPixmap、自定义类实例等）全挪进 Impl 结构体，而这个结构体只在 .cpp 文件里定义。头文件中仅保留 class Impl; 前向声明和 std::unique_ptr<impl></impl> 成员——前者不引入任何依赖，后者只需 <memory></memory>，不依赖 Impl 的内容。
常见错误现象：error: field has incomplete type 'MyClass::Impl'，通常是因为在头文件里不小心写了 Impl impl_;（值语义），或漏了前向声明却用了指针/引用。
- 只要头文件不出现
#include "xxx.h"或struct X { ... };这类完整定义，外部源文件就不会被迫拉入那些头文件 - 即使
Impl内部包含 20 个第三方库头文件，头文件体积也不变，依赖图不会扩散 - 修改
Impl的私有成员（增删std::vector、换用absl::flat_hash_map）完全不影响头文件，调用方无需重编译
构造/析构必须定义在 .cpp 里，否则编译器会“卡在头文件”
std::unique_ptr<impl></impl> 在析构时需要知道 Impl 的完整定义（用于调用其析构函数），而头文件里只有前向声明——所以 MyClass 的析构函数不能是 = default，必须显式定义在 .cpp 中。同理，构造函数若需初始化 pImpl（如 std::make_unique<impl>()</impl>），也得在 .cpp 里写。
典型错误：error: invalid use of incomplete type 'class MyClass::Impl'，往往出现在头文件里写了 MyClass::~MyClass() = default;，或忘了在 .cpp 中提供定义。
- 拷贝/移动构造函数和赋值运算符同理：若需支持，也得在
.cpp里定义，不能放头文件里= default - 如果类只打算移动不拷贝，可以显式删除拷贝相关函数，避免误触发不完整类型访问
- 用裸指针 + 手动
new/delete也能工作，但必须自己确保异常安全和资源释放——std::unique_ptr是更稳妥的选择
前向声明 + 指针间接访问，是编译防火墙的物理基础
编译器对前向声明的类型只做“大小无关”的处理：它知道 class Impl; 是个类，但不关心它占多少字节、有哪些成员。于是 std::unique_ptr<impl></impl> 的大小固定（通常是 8 字节），整个 MyClass 的内存布局在头文件中就能确定，不随 Impl 变化而变。
这直接带来两个实际好处：
- ABI 稳定：哪怕你把
Impl里的int x;换成std::string s;，MyClass对象大小和字段偏移都不变，动态链接库升级时调用方二进制无需重编译 - 头文件极简：一个典型的 Pimpl 头文件可能只 include
<memory></memory>和少量标准库头文件，不再夹带业务逻辑层或 GUI 库的头 - 但要注意：每次访问
pImpl->xxx()都有一次指针解引用开销，高频内联函数场景下可能被编译器优化掉，但不可假设一定零成本
.cpp 里——一旦漏掉，编译器报错信息会直指头文件，让人误以为是前向声明写错了。C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
