如何实现C++中std::atomic_ref操作非原子变量数组的并发安全？

本文共计923个文字，预计阅读时间需要4分钟。

直接绑定代码：

为什么 std::atomic_ref<int>{arr[i]}</int> 容易崩溃或返回旧值

它绑定的是 arr[i] 表达式产生的左值引用，但该引用所指地址是否满足 alignof(int)（通常是 4 字节），编译器完全不检查。常见失效场景：

• std::vector<char> buf(1024); auto ref = std::atomic_ref<int>{buf[4]}</int></char> —— &buf[4] 地址 % 4 极可能 ≠ 0，未对齐
• struct S { char a; int b; }; S s; std::atomic_ref<int>{s.b}</int> —— 若未加填充或用了 #pragma pack(1)，&s.b 偏移为 1，必然不对齐
• std::vector<int> v(1024); std::atomic_ref<int>{v[1]}</int></int> —— v.data() 首地址对齐，但 v.data() + 1 地址是否对齐，取决于 sizeof(int) 和平台对齐要求（如 long long 在 8 字节对齐系统上，索引为奇数就失对齐）

对数组元素做原子操作的正确姿势

核心是：不依赖容器下标语法构造引用，而显式计算地址 + 运行时断言对齐。

• 用 buffer.data() + i 获取原始指针，再取其指向的元素（即 buffer.data()[i]），而非 buffer[i]（后者可能绑定临时量）
• 必须在构造前验证：assert(reinterpret_cast<uintptr_t>(buffer.data() + i) % alignof(std::atomic_ref<t>::required_alignment) == 0)</t></uintptr_t>
• 对 std::vector<double></double>，要检查 i * sizeof(double) 是否是 alignof(std::atomic_ref<double>::required_alignment)</double> 的整数倍
• 栈上数组如 int arr[256]，若声明为 alignas(alignof(int)) int arr[256]，则所有 arr[i] 地址天然对齐；否则仍需逐个校验

compare_exchange_weak 必须写在循环里，不能单次调用

在 ARM 或部分 x86 实现中，compare_exchange_strong 可能因缓存一致性协议反复“伪失败”，导致死循环。标准写法是：

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

int expected = ref.load(); do { int desired = expected + 1; } while (!ref.compare_exchange_weak(expected, desired));

注意：expected 是引用参数，会被自动更新为当前实际值；传错变量（比如传了常量或拷贝）会导致逻辑卡死。

浮点类型 fetch_add 不是真正“开箱即用”

std::atomic_ref<float>::fetch_add</float> 在 C++20 合法，但硬件支持极不统一：

• x86-64 上 GCC/Clang 通常生成带 lock 前缀的浮点指令（如 lock xadd 模拟），性能尚可
• ARM64 大多退化为内部互斥锁实现，ref.is_lock_free() 返回 false，失去无锁优势
• 嵌入式平台可能直接编译失败，或静默 UB
• 永远不要假设 is_always_lock_free 为 true，必须运行时检查

最易被忽略的一点：std::atomic_ref 构造本身不执行任何原子操作，它只是建立视图；一旦绑定目标被析构（如 v.clear() 后继续用 ref.load()），或与某个 std::atomic<int></int> 实例共享同一地址，就立刻进入未定义行为——没有警告，也没有回退机制。