C++实现无锁并发单例模式 _ std::atomic与内存屏障屏障技巧【源码】

直接用 std::atomic 实现无锁单例（比如 Meyer’s Singleton 的无锁变体）可行吗？答案是否定的。它绕不过一个核心问题：构造函数调用本身就不是原子的。首次初始化但凡涉及复杂对象的生命周期管理，就不是单纯靠原子操作能解决的。真正称得上“无锁单例”的，要么是 trivially copyable 类型加上静态初始化，要么是在双重检查锁定（DCLP）中正确运用 std::atomic 来管理指针的可见性。

为什么 std::atomic 不能单独扛起线程安全单例的大旗

单例真正的难点不在于“返回指针”，而在于“首次构造对象且保证只执行一次”。std::atomic 能做到的只是原子地读写指针值，但它有三个无法回避的短板：

• 它无法控制 new T() 的执行次数——多个线程照样可能同时进入构造分支。
• 构造函数本身不是原子操作，指令重排可能导致指针已经写入非空值，但对象内存还没完成初始化。
• 就算用 compare_exchange_weak 去 CAS 空指针，也拦不住多个线程在 CAS 成功前都完成了构造，结果就是内存泄漏甚至未定义行为。

一句话总结：std::atomic 管不了构造，也管不了生命周期。

可行方案：DCLP 中正确使用 std::atomic 或 std::atomic

工业级代码的实际做法是：用 std::atomic 替代原始指针做标志位，但必须搭配内存序和构造保护逻辑。关键点如下：

• 声明为 static std::atomic instance_{nullptr}（避免依赖 T 类型，也能规避部分平台上 std::atomic 退化为非 lock-free 的问题）。
• 读取时用 instance_.load(std::memory_order_acquire)，保证看到的是已构造完成的对象。
• 写入时用 instance_.store(ptr, std::memory_order_release)，防止构造指令被重排到 store 之后。
• 必须用 std::call_once 或显式的 double-check + compare_exchange_weak 来控制构造入口，光靠 atomic 指针判空远远不够。

来看一个简化版的 DCLP 示例：

class Singleton {
    static std::atomic instance_;
    static std::mutex init_mutex_; // 或用 std::once_flag + std::call_once
    Singleton() = default;
public:
    static Singleton* getInstance() {
        void* expected = nullptr;
        void* ptr = instance_.load(std::memory_order_acquire);
        if (ptr == nullptr) {
            std::lock_guard lock(init_mutex_);
            ptr = instance_.load(std::memory_order_relaxed);
            if (ptr == nullptr) {
                ptr = new Singleton();
                instance_.store(ptr, std::memory_order_release);
            }
        }
        return static_cast(ptr);
    }
};

这段代码的核心思路是：先快速检查，再加锁双重确认，最后用 release 语义发布构造完成的对象。

std::atomic + std::call_once：更推荐的组合

比起手动管理指针和内存序，C++ 标准库已经提供了更安全、更不容易出错的原语：

• std::call_once 内置了序列化首次调用的机制，不需要手写 CAS 循环。
• std::once_flag 本质上是封装好的 std::atomic 状态机，已经处理了 ABA、重排、释放顺序等所有细节。
• 所有构造逻辑可以放在普通函数里，无需担心指针发布的时机。

典型的写法是这样：

class Singleton {
    static Singleton instance_;
    static std::once_flag flag_;
    Singleton() = default;
public:
    static Singleton& getInstance() {
        std::call_once(flag_, []{ /* 构造逻辑 */ });
        return instance_;
    }
};

需要注意：instance_ 必须是静态存储期变量（如上所示），不能在 call_once 里 new 然后返回指针——那样又会回到生命周期管理的老问题上。

容易踩的坑：relaxed 序、虚假唤醒、析构竞争

就算用了 std::atomic 和正确内存序，还有三类错误经常出现：

• 用 relaxed 序判断实例是否存在：load(std::memory_order_relaxed) 可能导致读到非空指针，但对象还没初始化完成（构造重排的锅）。
• 多线程环境下调 getInstance() 后立即 delete：std::atomic 不管理对象生命周期，析构必须由单一控制点负责，比如 atexit 或手动销毁函数。
• 把 std::atomic_flag 当作初始化标志：它只支持 test-and-set，无法 load 判断状态，根本不适用单例场景。

这里必须再次强调：无锁不等于无同步。单例的“首次构造”本质上就是临界区，只能靠串行化（std::call_once）或带 acquire/release 的显式同步来保证。std::atomic 只是其中一环，不是银弹。