C++两个交互线程共享atomic变量用shared_ptr/裸指针是否安全？

指针方案的安全性评估 #

• 裸指针方案：在你的场景下是完全安全的。你的A、B实例生命周期完全由Manager持有，flag作为Manager的成员变量，生命周期和A、B实例完全对齐。只要你保证两个约束：1. setFlag方法在线程启动前调用，避免线程运行时访问空指针；2. Manager析构时先等待A、B的内部线程完全退出，再销毁成员变量，就不会出现悬垂指针问题，也没有额外性能开销。
• shared_ptr方案：同样安全，但属于过度设计。你的场景下flag的所有权完全归Manager所有，不需要共享所有权语义，使用shared_ptr会引入不必要的引用计数开销，没有必要。

最小侵入性的落地方案 #

你只需要做两处小改动即可，不需要调整现有构造函数逻辑：

1. 将A、B类中的引用类型成员改为指针，新增setter方法：

class A : public MyThreadClass{
public:
    // 新增setter方法，无需修改原有构造函数
    void setFlag(std::atomic_bool* f) {
        flag = f;
    }
protected:
    virtual void InternalThreadEntry(){
        doSomething();
        flag->store(true);
        doOtherThing();
    }
private:
    // 把引用改成指针，默认初始化为空
    std::atomic_bool* flag = nullptr;
};
// B类做完全相同的改动即可

2. 调整Manager类的初始化逻辑，确保赋值发生在线程启动之前：

class Manager{
public:
    Manager() : flag(false) {
        // 先给两个实例赋值flag指针
        a.setFlag(&flag);
        b.setFlag(&flag);
        // 再启动线程，避免线程启动后访问空指针
        a.StartInternalThread();
        b.StartInternalThread();
    }
    ~Manager() {
        // 先等待线程完全退出，再销毁成员，避免悬垂访问
        a.WaitForInternalThreadToExit();
        b.WaitForInternalThreadToExit();
    }
private:
    A a;
    B b;
    std::atomic_bool flag;
};

可选的鲁棒性增强方案 #

如果担心后续代码维护中有人调整初始化顺序，触发空指针访问问题，可以将flag改为std::shared_ptr<std::atomic_bool>持有，即使Manager提前销毁，只要线程还持有shared_ptr的拷贝，flag的内存就不会被释放，适合生命周期管理更复杂的场景。

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