
std::weak_ptr::lock() 的线程安全性由标准明确保证
是的,std::weak_ptr::lock() 是线程安全的——前提是不同时对**同一个 std::weak_ptr 对象**进行非 const 成员操作(比如另一个线程在调用 reset() 或赋值)。C++ 标准([util.smartptr.weak]/6)规定:多个线程可同时对同一 std::weak_ptr 调用 lock(),无需额外同步;但若存在写操作(如 operator=、reset()、swap()),就必须与 lock() 互斥。
底层实现通常依赖原子引用计数和内存序控制
主流实现(libstdc++、libc++、MSVC STL)中,std::weak_ptr 和 std::shared_ptr 共享一个控制块(control block),其中包含两个原子计数:shared_count(强引用数)和 weak_count(弱引用数)。lock() 的核心逻辑是:
- 原子地读取当前
shared_count - 若 > 0,则原子地将
shared_count加 1(使用memory_order_relaxed或acq_rel,取决于实现) - 成功则返回新
std::shared_ptr;失败(计数为 0)则返回空std::shared_ptr
这个过程不修改 weak_count,也不需要锁,因此开销低且天然适合并发读。
常见误用场景:看似安全,实则有竞态
以下代码看似无锁也无问题,但存在隐含竞态:
立即学习“C++免费学习笔记(深入)”;
std::weak_ptrwp = /* ... */; auto sp1 = wp.lock(); // 线程 A auto sp2 = wp.lock(); // 线程 B —— OK,安全 // 但若线程 C 同时执行: wp.reset(); // ❌ 危险!与 lock() 非互斥
更隐蔽的问题是“检查后使用”模式:
if (auto sp = wp.lock()) {
use(*sp); // ✅ sp 非空,但 *sp 的 lifetime 仅由 sp 保证
} // ❌ 若 sp 离开作用域过早,对象可能已被析构注意:lock() 返回的 std::shared_ptr 仅保证“调用瞬间”对象还活着;它不阻止其他线程在你拿到 sp 后立刻释放最后一个强引用。
性能与兼容性提示
lock() 的实际成本取决于具体实现,但通常为几次原子 load + 一次条件原子 fetch_add,远低于加锁。不过要注意:
- 在 heavily contended 场景下(成百上千线程频繁调用
lock()),原子操作仍可能引发缓存行争用(false sharing),尤其当多个weak_ptr实例共享同一缓存行时 - 所有符合标准的实现都满足上述线程安全要求,无需担心跨平台差异
- 不要试图用
lock()替代同步机制来保护业务数据——它只保“指针有效性”,不保“对象状态一致性”
真正容易被忽略的是:即使 lock() 成功,解引用后的对象状态仍需按业务逻辑另行同步;它的线程安全,仅止于“能否安全构造出一个有效的 shared_ptr”。










