C++多线程中如何利用std::atomic_ref实现原子访问-C++-PHP中文网

std::atomic_ref适用于对已存在非原子对象（如全局变量、堆内存、共享内存中的字段）进行原子操作，且无法修改其定义的场景；不适用于局部变量、非平凡类型或未对齐内存。

c++多线程中如何利用std::atomic_ref实现原子访问

std::atomic_ref 适用于哪些场景

std::atomic_ref 的核心用途是：对已存在、非原子类型的对象（比如全局数组元素、堆上分配的 int、结构体成员）做原子读-改-写，而无需提前将其声明为 std::atomic<t></t>。它不拥有数据，只提供原子访问视图。

常见适用场景包括：

多线程频繁访问大型结构体中的某个字段，但不想让整个结构体被 std::atomic 包裹（开销大或不可复制）
第三方库返回的裸指针/引用，你无法修改其定义，但需保证某字段的原子性
共享内存或内存映射文件中映射出的原始内存块，需对其中整数做原子操作

不适用的情况：

对局部变量取 std::atomic_ref（生命周期短，多线程访问时极易悬垂）
T 类型不满足 trivially copyable（如含虚函数、非平凡构造/析构的类）
对齐不足：若对象地址未按 alignof(T) 对齐，构造 std::atomic_ref<t></t> 会抛 std::invalid_argument

如何正确构造和使用 std::atomic_ref

构造 std::atomic_ref 必须传入一个左值引用，且该对象生存期必须长于所有 std::atomic_ref 实例。典型安全用法：

int shared_counter = 0;
std::atomic_ref<int> ref{shared_counter}; // ✅ OK：全局变量，生命周期足够
<p>// 在线程中使用
std::thread t([&ref] {
ref.fetch_add(1, std::memory_order_relaxed);
});
t.join();</p></int>

关键注意事项：

构造后不能移动或拷贝 std::atomic_ref（它不可复制、不可移动）
同一对象上不能同时存在多个活跃的 std::atomic_ref 实例（标准未定义行为），应复用同一个实例，或确保无重叠生命周期
若原对象被其他线程以非原子方式修改（比如直接写 shared_counter = 42），则破坏原子性语义，结果未定义
支持的操作与 std::atomic<t></t> 几乎一致：load()、store()、exchange()、compare_exchange_weak/strong()、fetch_add() 等

std::atomic_ref 的对齐与平台限制

std::atomic_ref 要求所引用对象的地址满足 alignof(T) 对齐；否则构造时抛异常。例如在 x86-64 上，int64_t 要求 8 字节对齐，但以下代码可能崩溃：

C++

"空空如也"

下载

alignas(4) char buf[16];
int64_t* p = reinterpret_cast<int64_t>(buf + 1); // 地址 % 8 != 0
std::atomic_ref<int64_t> ref{*p}; // ❌ 可能 throw std::invalid_argument
</int64_t></int64_t>

实际工程中容易忽略的点：

使用 new char[N] 分配内存时，地址只保证 alignof(std::max_align_t)（通常 16），但若你把 int64_t 放在偏移 2 处，就违规
结构体成员偏移可能因填充而自然对齐，但显式指定 #pragma pack 或 alignas(1) 会破坏它
Windows 上某些内存映射场景返回的地址可能不对齐，需手动校验（reinterpret_cast<uintptr_t>(ptr) % alignof(T) == 0</uintptr_t>）