对std::shared_ptr执行std::move操作是否线程安全？

以下代码片段可正常运行：

#include <memory>
#include <cassert>
int main()
{
    auto ptr1 = std::make_shared<int>(10);
    assert(ptr1.use_count() == 1);

    auto ptr2 = std::move(ptr1);
    assert(ptr1 == nullptr);

    auto ptr3 = static_cast<std::shared_ptr<int>&&>(ptr2);
    assert(ptr2 == nullptr);
    assert(ptr3.use_count() == 1);
}

核心结论 #

• std::move(sharedPtr) 不是原子操作
• 示例中判空+移动的多线程逻辑存在明确的数据竞争，必须通过同步手段保护临界区。

原因解释 #

首先要纠正一个常见误解：std::move本身只是编译期的强制类型转换，作用是把左值转为右值引用，不会产生任何运行时修改操作。你观察到的“被移动的shared_ptr被重置为空”的行为，是shared_ptr的移动构造/移动赋值函数实现的，这一步是对shared_ptr对象本身的写操作，没有原子性保证。

C++标准对shared_ptr的线程安全边界定义非常清晰：

1. 多线程同时读同一个shared_ptr实例（比如拷贝、判空、调用get()）是安全的
2. 多线程同时操作不同的shared_ptr实例，哪怕这些实例指向同一个托管对象、共享同一块控制块，也是安全的——这部分的线程安全由控制块内的原子引用计数保证
3. 只要有一个线程在写某个shared_ptr实例（包括移动赋值、移动构造源对象、reset、赋值为新指针等操作），其他线程同时读写这个实例，就属于未定义行为。

你给出的多线程逻辑如下：

void ThreadLogic()
{
    if (sharedPtr != nullptr)
    {
        DoSomething(std::move(sharedPtr));
    }
    else
    {
        DoSomethingElse();
    }
}

这段代码存在典型的竞态条件：线程A执行完sharedPtr != nullptr的判断、还没来得及执行移动操作时，线程B可能刚好进入函数也判断指针非空，随后两个线程同时修改同一个sharedPtr实例，会导致引用计数错误、野指针、程序崩溃等不可预期的结果。不要把shared_ptr控制块的原子性等同于实例本身的操作原子性——控制块的原子操作只保证托管对象的生命周期安全，不覆盖shared_ptr实例自身的读写安全。

可行的解决方案 #

有两种常用的正确实现方式：

• 加互斥锁保护：用std::mutex把所有访问这个共享sharedPtr的逻辑（包括判空、移动、拷贝、赋值）全部包在临界区里，保证同一时间只有一个线程访问该实例。
• 用原子智能指针：C++20标准正式支持std::atomic<std::shared_ptr<T>>的特化，可以用原子exchange操作无锁完成“取走指针同时置空原位置”的逻辑，示例如下：

// 全局/共享变量定义为atomic特化版本
std::atomic<std::shared_ptr<int>> sharedPtr;

void ThreadLogic()
{
    // 原子地把sharedPtr当前值取到localPtr，同时把sharedPtr置为空
    auto localPtr = sharedPtr.exchange(nullptr);
    if (localPtr != nullptr)
    {
        DoSomething(std::move(localPtr));
    }
    else
    {
        DoSomethingElse();
    }
}

内容的提问来源于stack exchange，提问作者muaz