C++Pimpl封装后析构函数为什么常放在源文件里-C++-PHP中文网

std::unique_ptr析构需impl完整类型，因default_delete需知其大小与析构逻辑；头文件仅前向声明导致链接错误或崩溃；正确做法是在.cpp中定义~widget()=default，且impl定义须在其前。

c++pimpl封装后析构函数为什么常放在源文件里

std::unique_ptr 析构时需要 Impl 是完整类型

因为 std::unique_ptr 在析构时会调用 default_delete<impl></impl>，而该删除器必须知道 Impl 的完整定义——包括它的大小、成员布局、析构逻辑。头文件中只有 class Impl; 前向声明，Impl 是不完整类型（incomplete type），编译器此时无法生成正确的销毁代码。

在头文件里写 `~Widget() = default;` 会导致链接失败

常见错误现象：

编译通过，但链接时报错：invalid application of 'sizeof' to incomplete type 'Impl'
局部对象离开作用域时崩溃（unique_ptr 尝试 delete 一个未定义的类型）
多个翻译单元（TU）各自实例化内联析构函数，每个都试图销毁不完整类型，违反 ODR

根本原因：内联默认析构函数会在每个包含该头文件的 .cpp 中生成一份，而每个地方看到的都只是 class Impl;，没有定义。

正确做法：头文件只声明，源文件才定义析构函数

必须满足两个条件才能安全析构：

~Widget() 的定义必须出现在能看到 Impl 完整定义的位置（即 .cpp 文件中）
Impl 的完整定义必须出现在 Widget::~Widget() = default; 之前（顺序不能颠倒）
不需要手写释放逻辑，= default 在 .cpp 里完全合法且推荐

示例关键片段：

C++14 标准参考

C++14 标准最终草案参考资料，适合旧项目兼容、语言特性对照、标准库行为核对和现代 C++ 迁移学习。

下载

// widget.h
#pragma once
#include <memory>
struct Widget {
    ~Widget(); // ✅ 仅声明
private:
    struct Impl;
    std::unique_ptr<impl> pImpl;
};
<p>// widget.cpp</p>
<h1>include "widget.h"</h1>
<p>struct Widget::Impl { /<em> 成员、构造、析构全在这里 </em>/ };
Widget::~Widget() = default; // ✅ 此时 Impl 是完整类型</p></impl></memory>