如何在C++中实现无指针间接的Pimpl惯用法？兼顾实现隐藏与缓存效率

你的思路方向是对的：通过在公共类中预留内存直接存储私有实现，避免Pimpl的指针间接和缓存失效问题。结合C++17及以后的标准特性，可以完美解决sizeof和对齐的问题，同时完全隐藏私有细节，且强制用户在实现变更时重建项目。

核心方案：利用std::aligned_storage_t与外部定义的大小/对齐常量 #

我们可以在公共头文件中声明用于存储私有实现的内存缓冲区，但将缓冲区的大小和对齐要求的定义放在私有实现文件中。这样公共头不需要包含私有实现的头文件，且当私有实现的大小或对齐变化时，链接阶段会强制用户重建项目（因为常量定义不匹配）。

完整代码示例 #

PublicAPI.h（公共接口）

#include <type_traits>

class PublicAPI {
public:
    // 公共API成员
    void do_something();

    // 构造/析构声明（必须在实现文件中定义）
    PublicAPI();
    ~PublicAPI();

    // 禁止拷贝/移动（如果私有实现不支持的话）
    PublicAPI(const PublicAPI&) = delete;
    PublicAPI& operator=(const PublicAPI&) = delete;
    PublicAPI(PublicAPI&&) = delete;
    PublicAPI& operator=(PublicAPI&&) = delete;

private:
    // 前置声明私有实现类
    class PrivateAPI;

    // 声明大小和对齐常量（定义在实现文件中）
    static constexpr size_t kPrivateAPISize = 0;
    static constexpr size_t kPrivateAPIAlign = 1;

    // 对齐的存储缓冲区，用于存放PrivateAPI实例
    using PrivateStorage = std::aligned_storage_t<kPrivateAPISize, kPrivateAPIAlign>;
    PrivateStorage m_imp;

    // 获取私有实现的指针
    PrivateAPI* imp() { return reinterpret_cast<PrivateAPI*>(&m_imp); }
    const PrivateAPI* imp() const { return reinterpret_cast<const PrivateAPI*>(&m_imp); }
};

PrivateAPI.h（私有实现头，仅在内部使用）

#include "PublicAPI.h"

class PublicAPI::PrivateAPI {
public:
    // 私有实现成员
    void do_something_impl();

    // 私有数据成员
    int internal_data;
    double another_member;
};

PublicAPI.cpp（实现文件，链接公共接口与私有实现）

#include "PublicAPI.h"
#include "PrivateAPI.h"

// 定义大小和对齐常量，绑定到PrivateAPI的实际值
constexpr size_t PublicAPI::kPrivateAPISize = sizeof(PrivateAPI);
constexpr size_t PublicAPI::kPrivateAPIAlign = alignof(PrivateAPI);

// 构造函数：在缓冲区中构造PrivateAPI实例
PublicAPI::PublicAPI() {
    new (imp()) PrivateAPI();
}

// 析构函数：销毁缓冲区中的PrivateAPI实例
PublicAPI::~PublicAPI() {
    imp()->~PrivateAPI();
}

// 公共API调用私有实现
void PublicAPI::do_something() {
    imp()->do_something_impl();
}

方案优势 #

• 完全隐藏私有实现：公共头文件中仅存在PrivateAPI的前置声明，看不到任何私有成员或实现细节。
• 无指针间接开销：私有数据直接存储在PublicAPI对象的内存中，避免了Pimpl的堆指针访问，提升缓存命中率。
• 强制用户重建：当PrivateAPI的大小或对齐要求变化时，kPrivateAPISize或kPrivateAPIAlign的定义会改变，未重建的用户代码会在链接阶段报错，符合你的需求。
• 自动处理内存对齐：std::aligned_storage_t会严格按照kPrivateAPIAlign的要求对齐缓冲区，避免内存对齐错误。

注意事项 #

• 所有需要访问PrivateAPI定义的成员函数（如构造、析构、公共API的实现）必须放在实现文件中，不能在公共头中内联。
• 如果PrivateAPI支持拷贝或移动，需要在实现文件中手动实现PublicAPI的拷贝/移动构造函数和赋值运算符，确保正确拷贝缓冲区中的私有实例。
• 该方案依赖C17及以后的标准（std::aligned_storage_t是C11引入，但constexpr变量的外部定义在C++17中更完善），如果需要兼容更早版本，可以用std::aligned_storage替代。

内容的提问来源于stack exchange，提问作者ehopperdietzel