std::unique_ptr析构需Impl完整类型，因default_delete需知其大小与析构逻辑；头文件仅前向声明导致链接错误或崩溃；正确做法是在.cpp中定义~Widget()=default，且Impl定义须在其前。
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;，没有定义。
正确做法：头文件只声明，源文件才定义析构函数
必须满足两个条件才能安全析构：
立即学习“C++免费学习笔记（深入）”；
-
~Widget()的定义必须出现在能看到Impl完整定义的位置（即 .cpp 文件中） -
Impl的完整定义必须出现在Widget::~Widget() = default;之前（顺序不能颠倒） - 不需要手写释放逻辑，
= default在 .cpp 里完全合法且推荐
示例关键片段：
// 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>不只析构函数，拷贝/移动操作也得放 .cpp
只要涉及 std::unique_ptr<impl></impl> 的深拷贝或移动语义，就依赖 Impl 的完整类型：
-
Widget(const Widget&)要调用Impl的拷贝构造 -
Widget& operator=(const Widget&)要调用Impl的赋值操作符 - 移动操作虽可
= default，但前提是Impl支持移动；若其含非移动类型，仍需在 .cpp 中定义并处理
把它们全挪到 .cpp，既是技术必需，也是封装意图的自然延伸——用户不该也不必知道 Impl 长什么样。
最容易被忽略的一点：即使你没显式写任何特殊成员函数，只要用了 std::unique_ptr<impl></impl> 且 Impl 只前向声明，就必须在 .cpp 中提供析构函数定义。不写，就是埋雷。
