c++的std::atomic如何实现CAS操作_c++无锁编程核心原子指令

CAS是C++无锁编程的核心，通过compare_exchange_weak/strong实现原子性条件更新，前者在循环中更高效但可能伪失败，后者保证仅值不匹配时失败，常用于无锁计数器等场景，依赖硬件指令如CMPXCHG确保原子性。

在C++的无锁编程中，std::atomic 是实现线程安全操作的核心工具之一。其中最关键的操作就是CAS（Compare-and-Swap），它允许在不使用互斥锁的前提下完成原子性的条件更新，是构建无锁数据结构如无锁队列、无锁栈的基础。

什么是CAS操作？

CAS（Compare-and-Swap）是一种原子指令，用于判断某个内存位置的当前值是否等于预期值，如果是，则将其更新为新值；否则不做修改。这个过程是原子的，不会被其他线程打断。

在 std::atomic 中，CAS 通过两个成员函数实现：

• compare_exchange_weak()
• compare_exchange_strong()

这两个函数都遵循相同的语义：比较原子对象的当前值与期望值，若相等则写入新值，并返回 true；否则将当前值写回期望值变量，并返回 false。

立即学习“C++免费学习笔记（深入）”；

compare_exchange_weak 与 compare_exchange_strong 的区别

两者功能相似，但在某些平台上（如x86以外的架构），weak 版本可能偶尔失败，即使值实际上匹配。这种“伪失败”是为了获得更高的性能，特别是在循环中使用时。

通常建议在循环中使用 compare_exchange_weak，因为它在某些架构上更高效：

std::atomic<int> value{0};

int expected = value.load();
while (!value.compare_exchange_weak(expected, desired)) {
    // 如果失败，expected 已被更新为当前实际值
    // 可以选择重新计算 desired 或退出
}

而 compare_exchange_strong 保证只有在值不匹配时才失败，适合不需要循环或对失败敏感的场景。

标签： 工具 栈 c++ 区别 编译错误 无锁 标准库 red