C++如何使用std::atomic进行无锁编程基础-C++-PHP中文网

std::atomic仅对特化类型（如int、指针）支持直接赋值和隐式转换；自定义平凡可复制类型必须显式调用load/store；compare_exchange_weak需置于while循环防伪失败；跨变量同步需memory_order配合atomic_thread_fence；atomic_flag是唯一强制无锁的原子类型。

c++如何使用std::atomic进行无锁编程基础

std::atomic 什么时候能直接用，什么时候必须用 load/store

不是所有类型都能无脑赋值。只有 std::atomic 的特化类型（如 std::atomic<int></int>、std::atomic<bool></bool>、std::atomic<void></void>）才支持 operator= 和隐式转换；自定义结构体即使只含一个 int，也必须显式调用 load() 和 store()，否则编译失败。

常见错误现象：error: no match for ‘operator=’ 或 error: use of deleted function，往往是因为误把 std::atomic<mystruct></mystruct> 当普通变量赋值。

内置整型/指针类型：可直接用 a = 42、int x = a（隐式调用 store/load）
非平凡类型（含构造/析构/拷贝）：禁止特化，编译不通过
平凡但未特化的类型（如 struct { int x; }）：需手动 a.store(val) / a.load()，且仅限 trivially copyable 类型
读写语义默认是 memory_order_seq_cst，性能高但开销大；高频场景建议显式指定 memory_order_relaxed 等

compare_exchange_weak 为什么总要写在 while 循环里

compare_exchange_weak 可能因伪失败（spurious failure）返回 false，即使当前值匹配——这是 x86 外架构（如 ARM）的硬件特性导致，不是 bug。不加循环会漏更新。

典型使用场景：实现无锁栈 push/pop、计数器递增、状态机切换。

C++ Code Review Master

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

下载

必须写成 while (!a.compare_exchange_weak(expected, desired)) { expected = a.load(); }
不能只试一次，否则多线程下大概率丢操作
compare_exchange_strong 理论上不伪失败，但可能有更高 CPU 开销；实际中 weak 更常用
注意 expected 必须是引用（int&），函数内部会修改它为当前真实值

std::atomic_thread_fence 和 atomic 操作的 memory_order 怎么配着用

单个 std::atomic 变量自带内存序保证，但跨多个原子变量或混合非原子变量时，就得靠 std::atomic_thread_fence 补足同步语义。比如发布-订阅模式中“写数据 + 写就绪标志”，就依赖 fence 防止重排。

容易踩的坑：以为只要用了 atomic 就自动全序，结果出现读到部分更新的乱序值。

std::atomic_thread_fence(std::memory_order_release) 放在“写共享数据之后、写标志之前”
std::atomic_thread_fence(std::memory_order_acquire) 放在“读标志之后、读共享数据之前”
不用 fence 时，a.store(x, std::memory_order_release) 和 b.load(std::memory_order_acquire) 也能形成同步，但仅限这两个变量之间
fence 是全局屏障，影响所有内存访问，慎用；优先考虑用带序的 atomic 操作本身

std::atomic_flag 是唯一保证无锁的类型，但它只能做 bool 用

std::atomic_flag 是 C++ 唯一被标准强制要求无锁（lock-free）的原子类型，底层通常映射到单条 CPU 指令（如 x86 的 test-and-set）。但它只支持 test_and_set() 和 clear()，没法读取当前值，也不能初始化为 true —— 这些限制恰恰换来确定性无锁。

适用场景：最简自旋锁、信号量底层、需要 100% 确保 lock-free 的嵌入式或实时系统。

声明即初始化：std::atomic_flag f = ATOMIC_FLAG_INIT;（C++17 起可用 std::atomic_flag f{};）
f.test_and_set(std::memory_order_acquire) 返回旧值（true 表示已被设），常用于自旋等待
f.clear(std::memory_order_release) 释放锁，注意必须用 release 序匹配 acquire
别试图用 std::atomic<bool></bool> 替代它——后者可能退化为互斥锁（is_lock_free() == false）