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

std::atomic无法单独实现线程安全单例，因其不能保证构造函数仅执行一次、无法防止指令重排、也不管理对象生命周期；可行方案是dclp配合内存序或直接使用std::call_once。

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

直接用 std::atomic 实现无锁单例（如 Meyer’s Singleton 的无锁变体）不可行——它无法绕过构造函数调用的非原子性，且首次初始化必然涉及复杂对象生命周期管理。真正可行的“无锁单例”仅适用于 trivially copyable 类型 + 静态初始化，或配合双重检查锁定（DCLP）中正确使用 std::atomic 控制指针可见性。

为什么 std::atomic 不能单独实现线程安全单例

单例核心难点不在“返回指针”，而在“首次构造对象并保证仅执行一次”。std::atomic<t></t> 只能原子地读写指针值，但：
• 它不控制 new T() 的执行次数 —— 多个线程可能同时进入构造分支；
• 构造函数本身不是原子操作，可能被重排（例如：指针已写入非空值，但对象内存尚未完全初始化）；
• 即使用 compare_exchange_weak 尝试 CAS 空指针，也无法阻止多个线程在 CAS 成功前都完成构造，造成泄漏或未定义行为。

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

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

声明为 static std::atomic<void> instance_{nullptr}</void>（避免 T 类型依赖，也规避部分平台对 std::atomic<t></t> 的非 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<void> 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<:mutex> 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<singleton>(ptr);
    }
};</singleton></:mutex></void>

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

比起手动管理指针和内存序，C++ 标准已提供更安全、更不易出错的原语：
• std::call_once 内置序列化首次调用，无需手写 CAS 循环；
• std::once_flag 本质是封装好的 std::atomic 状态机，已处理 ABA、重排、释放顺序等所有细节；
• 所有构造逻辑可放在普通函数内，无需担心指针 publish 时机。

C++ Code Review Master

组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

典型写法：

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 和正确内存序，仍常见三类错误：

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

最易被忽略的是：无锁 ≠ 无同步。单例的“首次构造”本质是临界区，只能靠串行化（std::call_once）或带 acquire/release 的显式同步来保证，std::atomic 只是其中一环，不是银弹。