PIMPL模式代码在macOS系统无法编译问题求助

嘿，这个坑我踩过好多次了——你遇到的是std::unique_ptr和PIMPL模式搭配时的经典陷阱！

问题根源 #

当你在foo.h里把析构函数声明为~foo() = default;时，编译器会尝试在头文件中生成这个析构函数的定义。但此时struct impl只是一个前向声明，std::unique_ptr需要完整的类型定义才能正确生成销毁逻辑（它要知道怎么调用impl的析构函数，以及impl的内存大小）。头文件里没有impl的完整定义，所以编译器直接报错了。

同样的道理，移动构造和移动赋值如果在头文件里默认，也可能遇到类似问题，因为它们涉及到unique_ptr的转移操作，同样依赖impl的完整类型。

修复方案 #

把析构函数的默认实现移到cpp文件里（此时impl已经有完整定义了），同时把移动操作的默认实现也放在一起。

修改后的代码如下：

foo.h（仅保留声明）

#include <memory>
class foo {
public:
    foo();
    ~foo(); // 只声明，不在这里默认实现
    foo(foo&&);
    foo& operator=(foo&&);
private:
    struct impl;
    std::unique_ptr<impl> pimpl;
};

foo.cpp（补充默认实现）

#include "foo.h"
#include <memory>

class foo::impl {
public:
    void do_internal_work() {
        internal_data = 5;
    }
private:
    int internal_data = 0;
};

foo::foo() : pimpl{std::make_unique<impl>()} {
    pimpl->do_internal_work();
}

// 在这里默认析构函数，此时impl已经是完整类型
foo::~foo() = default;
foo::foo(foo&&) = default;
foo& foo::operator=(foo&&) = default;

额外说明 #

如果换成std::shared_ptr，这个问题就不会出现——因为shared_ptr的销毁逻辑是延迟到运行时的（通过内部的控制块），不需要在头文件里知道impl的完整类型。但unique_ptr是轻量级智能指针，它的销毁逻辑是 inline 的，所以必须要有完整类型才能正确编译。

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