std::atomic 不能直接用于并发浮点累加，因 ieee 754 缺乏硬件级无锁原子加法支持，其特化仅提供 load、store、exchange 和 compare_exchange_weak/strong；需用 compare_exchange_weak 循环手动实现 cas，注意位模式比较而非数值相等。
std::atomic 不能直接用于并发累计
标准 C++ 不允许 std::atomic<double></double> 使用 fetch_add 或 operator+=——这些操作在绝大多数平台上未定义，编译器会报错或静默禁用。根本原因是：IEEE 754 浮点数没有无锁原子加法的硬件支持，std::atomic<double></double> 的特化通常只提供 load、store、exchange 和 compare_exchange_weak/strong，不包含算术原子操作。
替代方案：用 compare_exchange_weak 循环实现原子累加
必须手动实现 CAS（Compare-And-Swap）循环。核心逻辑是读取当前值 → 计算新值 → 尝试原子交换，失败则重试。注意浮点比较需容忍精度误差，但 compare_exchange_weak 比较的是位模式，不是数学相等，所以不能用 == 判断是否更新成功，而要依赖其返回值。
- 不要用
std::abs(expected - current) 做比较后再调用 <code>compare_exchange，这会破坏原子性 - 初始
expected必须用load()获取，不能设为 0 或任意猜测值 - 循环内避免阻塞或 sleep，否则严重拖慢性能
- 示例写法：
std::atomic<double> val{0.0};
double old_val = val.load();
double new_val;
do {
new_val = old_val + delta;
} while (!val.compare_exchange_weak(old_val, new_val));
</double>
更稳妥的选择：用 std::atomic 模拟 double 累加
若业务允许固定精度（如金额保留两位小数），把 double 转为整数存储可彻底避开浮点原子问题。例如乘以 100 存为 std::atomic<int64_t></int64_t>，再用 fetch_add 安全累加。
- 转换时注意舍入方式：
static_cast<int64_t>(round(x * 100))</int64_t>比int64_t(x * 100)更可靠 - 读取时除以 100.0 得到 double，但需注意浮点表示误差（如 0.1 无法精确表示）
- 该方案在金融、计数类场景中实际更稳定，且性能远高于 CAS 循环
别忽略平台和编译器差异
某些平台（如 x86-64）对 std::atomic<double></double> 的 load/store 是无锁的，但 compare_exchange_weak 可能回退到锁实现（is_lock_free() == false），尤其在旧 CPU 或嵌入式环境下。务必运行时检查：
if (!val.is_lock_free()) {
// 可能触发 mutex 内部保护，高并发下成瓶颈
}
CAS 循环在 contended 场景下可能反复失败，而整数方案几乎总是 lock-free。真正需要高吞吐浮点累计时，考虑分段累加（per-thread buffer + periodic flush）比强行原子更现实。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
