std::weak_ptr::lock() 是线程安全的,多个线程可同时调用,但需避免与 reset() 等非 const 操作竞争;其通过原子操作控制块计数实现低开销并发读,仅保证指针有效性,不保证对象状态一致性。
是的,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
shared_count 加 1(使用 memory_order_relaxed 或 acq_r
el,取决于实现)std::shared_ptr;失败(计数为 0)则返回空 std::shared_ptr
这个过程不修改 weak_count,也不需要锁,因此开销低且天然适合并发读。
以下代码看似无锁也无问题,但存在隐含竞态:
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,远低于加锁。不过要注意:
lock()),原子操作仍可能引发缓存行争用(false sharing),尤其当多个 weak_ptr 实例共享同一缓存行时lock() 替代同步机制来保护业务数据——它只保“指针有效性”,不保“对象状态一致性”真正容易被忽略的是:即使 lock() 成功,解引用后的对象状态仍需按业务逻辑另行同步;它的线程安全,仅止于“能否安全构造出一个有效的 shared_ptr”。