17370845950

PIMPL模式旨在解决编译爆炸与ABI不稳定问题：因类布局依赖private成员，其变更强制所有包含头文件的翻译单元重编译；需显式定义特殊成员函数，析构函数必须在.cpp中实现；可选void*或栈上placement new优化性能；关键在于严守接口与实现分离。

PIMPL 模式不是为了“看起来干净”，而是为了解决头文件暴露实现导致的编译爆炸和 ABI 不稳定问题。

为什么改个 private 成员就要重编译所有包含该头文件的源文件？

因为 C++ 的类布局在编译期就由头文件完全决定：sizeof、成员偏移、虚表结构都依赖于所有 private 成员（包括类型大小、构造/析构是否 trivial）。

• 哪怕只给 class Widget 加一个 std::vector m_cache，所有 #include "widget.h" 的翻译单元都必须重新编译
• 第三方库升级了 std::string 实现（比如从 SSO 改为动态分配），你的整个项目可能全量重编译
• private 函数内联后，其定义变更也会触发重编译——哪怕调用方根本没用到它

std::unique_ptr 是最常用 PIMPL 载体，但别忘了写 default 特殊成员函数

编译器生成的默认拷贝/移动构造函数和赋值运算符对 std::unique_ptr 是删除的（delete），而你通常需要显式定义它们的行为。

class Widget {
public:
    Widget();
    Widget(const Widget& other);           // 必须自己写，否则无法拷贝
    Widget& operator=(const Widget& other);
    Widget(Widget&& other) noexcept;      // 移动语义也要显式声明
    Widget& operator=(Widget&& other) noexcept;
    ~Widget();                              // 析构函数必须定义（Impl 在 .cpp 中）

private:
    struct Impl;
    std::unique_ptr pimpl_;
};

• 析构函数必须在 .cpp 文件中定义（哪怕只写 Widget::~Widget() = default;），否则编译器看不到 Impl 的完整定义，无法生成正确析构逻辑
• 拷贝/移动语义不能靠 = default，因为 std::unique_ptr 不可拷贝；你得自己决定是禁止拷贝、深拷贝 Impl，还是只复制逻辑状态
• 如果不需要拷贝，直接删掉拷贝相关函数并设为 = delete 更安全

比 std::unique_ptr 更轻量的选择：自定义句柄或 void* + 函数指针表

当性能极端敏感（比如高频创建/销毁的小对象），std::unique_ptr 的堆分配和间接访问开销可能不可接受。这时可退化为 C 风格 opaque pointer。

立即学习“C++免费学习笔记（深入）”；

• 把 pimpl_ 声明为 void*，所有操作通过 extern "C" 函数指针表调用，彻底消除 STL 依赖和异常开销
• 用固定大小缓冲区（如 alignas(Impl) char storage_[sizeof(Impl)];）做栈上 placement new，避免堆分配（即“small object optimization”版 PIMPL）
• 缺点是丧失 RAII 自动管理，需手动确保构造/析构顺序，且无法用 dynamic_cast 或多态

真正难的不是写对 PIMPL 结构，而是坚持把所有非接口必需的东西塞进 Impl —— 包括私有辅助函数、第三方头文件、模板细节。一旦某个 private 成员类型泄露到头文件里，整套机制就失效了。