std::atomic不支持operator+=和fetch_add，因硬件无原生浮点原子读-改-写指令；标准仅提供load/store/exchange/compare_exchange，需用compare_exchange_weak循环实现原子累加。
std::atomic 不支持 operator+=
直接写 a += 1.0f 会编译失败，因为 std::atomic<float></float> 没有重载复合赋值运算符。这是最常踩的坑——误以为它像 std::atomic<int></int> 一样能直接累加。
根本原因是：浮点数的原子操作在硬件层面不提供原生的“读-改-写”指令（如 x86 的 ADDSS 无法保证原子性），C++ 标准因此只对 float 和 double 原子类型规定了 load()、store()、exchange() 和 compare_exchange_weak/strong()，不包括 fetch_add。
- 只有整型（
int、long等）和指针类型的std::atomic才有fetch_add -
std::atomic<float></float>的fetch_add是删除的（= delete），调用会触发编译错误 - 即使某些平台（如 ARM64）有浮点 CAS 指令，标准仍不开放
fetch_add，以保持可移植性
用 compare_exchange_weak 实现原子累加
必须手动实现“读取当前值 → 计算新值 → CAS 更新”循环。这是唯一标准、可移植的方式。
典型模式：
std::atomic<float> val{0.0f};
float expected = val.load();
float desired;
do {
desired = expected + 1.0f;
} while (!val.compare_exchange_weak(expected, desired));
</float>
-
compare_exchange_weak可能虚假失败（spurious failure），所以必须用 do-while 循环重试 - 一定要把
expected设为val.load()初始值，不能用 0 或其他固定值 - 如果累加量是变量（比如
delta），写成desired = expected + delta，别在循环外计算 - 高竞争场景下，循环可能多次重试，但仍是无锁且线程安全的
为什么不用 std::atomic 或 std::atomic 替代？
替换不是万能解法，得看数据语义和精度要求。
-
std::atomic<double></double>同样没有fetch_add，问题照旧 - 用
std::atomic<int32_t></int32_t>存缩放后的整数（比如单位为 0.001）可行，但需额外处理缩放/反缩放，且可能溢出或丢失小数精度 - 若业务逻辑明确依赖 IEEE 754 float 行为（如 NaN 传播、特定舍入），强行转整数会破坏语义
- 某些嵌入式平台不支持 double 原子操作（
is_lock_free()返回 false），而 float 更可能无锁
性能与 lock-free 判断
别假设 std::atomic<float></float> 一定是无锁的——得运行时确认。
先检查：
if (!val.is_lock_free()) {
// 可能退化为互斥锁实现，CAS 循环开销更大
}
- x86-64 上通常
is_lock_free()为 true（靠 16 字节对齐的 XMM 寄存器 +MOVAPS+LOCK CMPXCHG16B） - ARM32 可能 fallback 到基于
LDREX/STREX的锁实现，性能更敏感 - CAS 循环本身有分支预测开销；若累加非常频繁（如每微秒一次），要考虑是否真需要原子性，或改用线程局部累加+定期合并
浮点原子累加本质上是个权衡：语义正确性和可移植性优先，性能其次。循环 CAS 是标准答案，但每次修改都得重新验证 expected，少写错一个等号就陷入无限循环。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
