在 C++ 里，智能指针是管理动态内存的重要工具。它们通过 RAII 原则保证资源在使用后得到释放，从而降低泄漏风险。本文将重点剖析 std::shared_ptr 与 std::unique_ptr 的内部实现细节，并给出在实际项目中的最佳使用建议。
-
std::unique_ptr 的实现原理
- 单一所有权：unique_ptr 内部仅持有裸指针和（可选的）删除器。其构造函数通过移动语义获得资源，拷贝构造被删除，确保同一时间只有一个实例拥有该指针。
- 删除器：默认使用 `std::default_delete `，但可自定义。删除器本质上是一个可调用对象，通常在 `~unique_ptr()` 时被直接调用。
- 异常安全：由于 unique_ptr 只维护裸指针，销毁时只需一次 delete，异常不影响销毁过程。
- 实现技巧：标准库中大多数实现通过在 unique_ptr 内部直接存放指针，而删除器则作为一个完整的成员（如 std::function）。如果删除器是空（即默认的 lambda），可以利用“空删除器优化”让对象占用空间最小。
-
std::shared_ptr 的实现原理
- 引用计数：shared_ptr 使用一个共用的计数器（std::atomic ）来跟踪指向同一对象的所有实例数量。该计数器与对象分离存放，通常放在一个共同的控制块（control block）中。
- 控制块：包含计数器、删除器、原始指针以及可能的弱计数器（用于 std::weak_ptr）。控制块的分配一般使用
operator new或专门的内存池，确保与对象一起分配以减少碎片。 - 原子操作：自增/自减计数器使用
fetch_add/fetch_sub，保证多线程环境下的安全。 - 懒加载删除器：在最后一个 shared_ptr 被销毁时，计数器递减到 0，随后调用删除器销毁对象，然后销毁控制块自身。
- 内存布局：大多数实现将控制块与对象一起在同一内存块中布局（如 std::allocate_shared 的实现），减少两次内存分配，提升缓存友好性。
-
共享计数器与异常安全
- 构造过程：`make_shared ` 先一次性分配一个大块内存，然后构造控制块和对象。若构造对象时抛出异常，控制块会立即销毁，避免泄漏。
- 拷贝与移动：拷贝构造只递增计数器，移动构造不改变计数。
- 线程安全：在多线程场景下，shared_ptr 的拷贝/销毁都需要原子操作；然而使用时需避免多线程竞争导致的使用后析构问题，推荐使用 std::atomic<std::shared_ptr> 或 std::shared_ptr 的内部原子计数。
-
最佳实践
- 首选 unique_ptr：当资源拥有者不需要共享时，使用 unique_ptr；它更轻量，性能更好。
- 共享时使用 make_shared：`std::make_shared ()` 能一次性分配控制块和对象，减少内存碎片。
- 自定义删除器：对特殊资源（如文件句柄、网络连接）使用自定义删除器，确保正确释放。
- 避免循环引用：shared_ptr 循环引用导致内存泄漏，常用 std::weak_ptr 破环循环。
- 线程安全：如果共享指针在多线程之间共享，考虑使用 std::atomic<std::shared_ptr> 或锁。
- 性能监测：在高性能项目中，记录 shared_ptr 的计数器操作次数，评估是否需要优化为 unique_ptr 或手动管理。
-
常见误区
- 错误的初始化：`shared_ptr p(new T)` 与 `auto p = std::make_shared()` 的区别。后者更安全、性能更好。
- 使用 delete：不要手动 delete 已被智能指针管理的指针；这会导致 double free。
- 强制转换：
static_cast或reinterpret_cast转换指针后不应再传给智能指针；使用std::unique_ptr<T, Deleter>或std::shared_ptr<T>的转换构造函数。
-
案例演示
#include <memory> #include <iostream>
struct Widget { Widget() { std::cout << "Widget constructed\n"; } ~Widget() { std::cout << "Widget destroyed\n"; } };
int main() { auto p1 = std::make_shared
(); std::weak_ptr wp = p1; // 形成弱引用 { std::shared_ptr p2 = p1; // 引用计数 +1 std::cout