compare_exchange_strong并非总失败，而是需配合while循环重试：它仅在当前值等于预期值时更新并返回true，否则将当前值写回expected并返回false；常见错误是忽略返回值、未重试、传右值或类型不满足trivially copyable。
compare_exchange_strong 为什么总失败？
它不是“总失败”，而是设计上必须配合循环使用——compare_exchange_strong 只在当前值等于预期值时才写入新值，并返回 true；否则不写，把当前实际值写回预期变量，返回 false。直接调用一次就放弃，基本等于没用。
- 常见错误：写成
atomic_var.compare_exchange_strong(expected, desired);后不检查返回值，也不重试 - 正确姿势是 while 循环 + 原地更新
expected：每次失败后，expected已被更新为最新值，可立即重试 - 注意
expected必须是左值（不能传字面量或临时变量），否则编译不过
怎么写一个安全的原子自增？
用 compare_exchange_strong 实现自增，本质是“读-改-写”三步原子化。关键在于避免竞态：多个线程同时读到相同旧值，都试图写相同新值，只允许一个成功。
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
int increment(std::atomic<int>& counter) {
int expected = counter.load();
while (!counter.compare_exchange_strong(expected, expected + 1)) {
// 失败时 expected 已被更新为当前值，继续尝试
}
return expected + 1;
}</int>
-
load()获取初始值，但不保证后续仍有效；所以必须进循环重试 - 不要用
expected++，因为++是后置操作，语义易错；明确写expected + 1更清晰 - 如果只是计数器，直接用
fetch_add(1)更高效；compare_exchange_strong适合更复杂的逻辑（比如加前校验、条件更新）
compare_exchange_strong vs compare_exchange_weak 选哪个？
两者语义一致，区别只在性能和失败行为：compare_exchange_weak 允许“伪失败”（spurious failure），即值没变也返回 false；而 strong 保证：只要值匹配，就一定成功。
- 在 x86 上，两者生成的汇编通常一样，
weak没优势；但在 ARM 或某些弱内存模型平台，weak可能更轻量 - 循环重试场景下，优先用
weak（省一点指令），但必须包在 while 里；单次尝试场景（如初始化检查）必须用strong - 别为了“看起来更强”硬用
strong——它不解决逻辑错误，只减少重试次数
容易踩的坑：内存序和对齐问题
compare_exchange_strong 默认使用 std::memory_order_seq_cst，安全但可能有性能开销；显式指定内存序时，两个参数必须匹配：期望值加载和新值存储的内存序要协调。
- 错误写法：
compare_exchange_strong(expected, desired, std::memory_order_acquire)—— 缺少 success memory order，编译失败 - 正确写法：
compare_exchange_strong(expected, desired, std::memory_order_acq_rel, std::memory_order_acquire)，前者用于成功路径，后者用于失败路径 -
std::atomic<t></t>要求T是 trivially copyable，且对齐满足alignof(T)；结构体若含指针或虚函数，可能不满足，导致未定义行为
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
