在C++中，智能指针（如std::unique_ptr、std::shared_ptr、std::weak_ptr）已经成为管理动态内存的标准工具。它们隐藏了裸指针的缺点：内存泄漏、悬空指针以及多重释放等问题。本文将从内部实现的角度，深入剖析这三种智能指针的工作机制，帮助你更好地理解它们的设计哲学与性能考量。
1. std::unique_ptr——所有权单一
1.1 基本设计
`std::unique_ptr
` 持有一个裸指针 `T*`，并且是唯一拥有该指针的所有者。其构造、析构、移动语义是核心： “`cpp template<class t class deleter="std::default_delete> class unique_ptr { T* ptr_; Deleter deleter_; public: explicit unique_ptr(T* p = nullptr) noexcept : ptr_(p) {} ~unique_ptr() { if (ptr_) deleter_(ptr_); } unique_ptr(unique_ptr&& u) noexcept : ptr_(u.release()) {} unique_ptr& operator=(unique_ptr&& u) noexcept { reset(u.release()); return *this; } // 禁止拷贝 unique_ptr(const unique_ptr&) = delete; unique_ptr& operator=(const unique_ptr&) = delete; // 访问成员 T& operator*() const noexcept { return *ptr_; } T* operator->() const noexcept { return ptr_; } T* get() const noexcept { return ptr_; } void reset(T* p = nullptr) noexcept { if (ptr_) deleter_(ptr_); ptr_ = p; } T* release() noexcept { T* old = ptr_; ptr_ = nullptr; return old; } }; “` ### 1.2 关键实现细节 – **裸指针存储**：`ptr_` 是裸指针，完全由`unique_ptr`自己管理，构造和析构均只涉及一次删除操作。 – **删除器**：`deleter_` 可以是`std::default_delete `（调用`delete`）或自定义删除器。删除器是值语义，通常是无状态的函数对象，开销极小。 – **移动语义**：移动构造和移动赋值通过 `release()` 释放所有权，避免了拷贝导致的额外资源管理开销。 – **异常安全**：`unique_ptr` 的成员函数均标记为 `noexcept`（除非用户自定义删除器可能抛异常），保证在异常发生时不会留下悬空指针。 ## 2. `std::shared_ptr`——共享引用计数 ### 2.1 控制块（Control Block） `shared_ptr` 的核心是控制块，包含引用计数、弱引用计数（用于 `weak_ptr`）以及删除器。其结构大致如下： “`cpp struct ControlBlock { std::atomic strong; // strong ref count std::atomic weak; // weak ref count Deleter deleter; T* ptr; // optional, some implementations embed T directly }; “` ### 2.2 关键实现细节 – **原子计数**：`strong` 与 `weak` 使用 `std::atomic`，保证多线程环境下计数的正确性。`strong` 计数为 0 时，资源被释放；`strong` 与 `weak` 同时为 0 时，控制块自身被销毁。 – **分配方式**：大多数实现采用“单次分配”策略（如 libstdc++），一次 `malloc`/`operator new` 分配 `ControlBlock + T`，减少内存碎片与分配开销。 – **拷贝与移动**：拷贝构造/赋值会原子增 `strong`，移动则直接转移指针与控制块指针，避免计数变更。 – **异常安全**：创建 `shared_ptr` 时，如果分配失败或删除器抛异常，控制块会及时回收，防止资源泄漏。 – **线程安全**：在多线程中，只要不并发修改同一 `shared_ptr` 对象（即不共享同一控制块的原始指针对象），计数操作本身是线程安全的。 ## 3. `std::weak_ptr`——弱引用 `weak_ptr` 只持有指向控制块的指针，并不参与 `strong` 计数的增加。它的实现非常轻量： “`cpp class weak_ptr { ControlBlock* cb_; public: weak_ptr(const shared_ptr & sp) noexcept : cb_(sp.control_block_) { if (cb_) cb_->weak.fetch_add(1, std::memory_order_relaxed); } ~weak_ptr() { if (cb_ && cb_->weak.fetch_sub(1, std::memory_order_acq_rel) == 1) { if (cb_->strong.load(std::memory_order_acquire) == 0) delete cb_; } } std::shared_ptr lock() const noexcept { if (cb_ && cb_->strong.load(std::memory_order_acquire) > 0) { cb_->strong.fetch_add(1, std::memory_order_acquire); return shared_ptr (cb_); } return std::shared_ptr (); } }; “` ### 3.1 关键实现细节 – **弱计数**：`weak` 计数仅在 `weak_ptr` 的构造/析构时修改，保证在 `shared_ptr` 资源被销毁后，`weak_ptr` 能安全判定对象是否仍然有效。 – **`lock()`**：尝试升级为 `shared_ptr` 时，先检查 `strong` 计数是否大于0；若是，则原子增加 `strong` 并返回新 `shared_ptr`，否则返回空指针。该操作是原子性的，防止“丢失更新”问题。 ## 4. 性能与使用建议 | 智能指针 | 适用场景 | 内存占用 | 线程安全 | 典型使用方式 | |———-|———-|———|———-|————–| | `unique_ptr` | 单一所有权、RAII | 1×裸指针 | 线程安全（对象内部） | `auto p = std::make_unique (args…);` | | `shared_ptr` | 共享所有权 | 2×指针 + 控制块 | 线程安全（计数原子） | `auto sp = std::make_shared (args…);` | | `weak_ptr` | 观察者模式，避免循环引用 | 1×控制块指针 | 线程安全 | `std::weak_ptr wp = sp;` | – **避免循环引用**：在对象之间互相持有 `shared_ptr` 时，务必使用 `weak_ptr` 来打破环路，否则资源永远不会被释放。 – **尽量使用 `make_*`**：`std::make_unique` 与 `std::make_shared` 可以一次性完成分配，减少内存碎片与提高缓存局部性。 – **自定义删除器**：当资源不是通过 `new` 申请时，提供自定义删除器，例如文件句柄、网络连接等。 ## 5. 小结 C++标准库的智能指针通过细致的内部实现（裸指针、原子计数、控制块等）实现了资源安全管理与高效性能。理解它们的内部机制不仅能帮助你写出更健壮的代码，还能让你在需要自行实现类似功能时拥有更深刻的洞见。希望本文对你有所帮助，祝编码愉快！