在C++多线程编程中，原子操作是避免数据竞争的重要手段，以往我们通常使用std::atomic模板来定义原子变量，但这种方式要求变量本身必须是std::atomic类型，在很多已经定义好的普通变量场景中无法直接适用。C++20引入的std::atomic_ref解决了这个问题，它可以通过包装普通变量的引用，让该变量临时具备原子操作的特性，不需要修改变量本身的类型定义。
std::atomic_ref的基本使用
std::atomic_ref定义在<atomic>头文件中，它的模板参数就是要包装的变量类型，构造时传入普通变量的引用即可，之后通过这个atomic_ref对象调用原子操作接口，就能保证对原变量的操作是原子的。
下面是一个简单的使用示例，展示如何用std::atomic_ref原子化一个普通的int变量：
#include <atomic>
#include <iostream>
#include <thread>
#include <vector>
// 普通全局变量，不是std::atomic类型
int normal_counter = 0;
void increment_task(std::atomic_ref<int> ref) {
for (int i = 0; i < 1000; ++i) {
// 原子加1操作
ref.fetch_add(1, std::memory_order_relaxed);
}
}
int main() {
// 构造atomic_ref包装普通变量
std::atomic_ref<int> counter_ref(normal_counter);
std::vector<std::thread> threads;
// 启动10个线程同时操作普通变量
for (int i = 0; i < 10; ++i) {
threads.emplace_back(increment_task, counter_ref);
}
// 等待所有线程执行完成
for (auto& t : threads) {
t.join();
}
std::cout << "最终计数结果: " << normal_counter << std::endl; // 输出10000
return 0;
}
std::atomic_ref的适用场景
std::atomic_ref并不是要完全替代std::atomic，它更适合以下场景：
- 需要原子操作已经定义好的普通变量，无法修改其原有类型定义，比如第三方库暴露的普通变量接口。
- 只有部分代码段需要对普通变量做原子操作，其他场景仍希望以普通方式访问该变量，避免std::atomic带来的额外开销。
- 处理数组、结构体等聚合类型的场景，std::atomic不支持直接对聚合类型做原子操作，而std::atomic_ref可以包装聚合类型的引用，对单个成员或者整个对象做原子操作。
使用std::atomic_ref的注意事项
使用std::atomic_ref时需要注意以下几点，避免出现未定义行为：
1. 变量生命周期要求
std::atomic_ref只是普通变量的引用包装，并不管理原变量的生命周期，必须保证atomic_ref对象存活期间，原变量的生命周期没有结束，否则会引发悬垂引用问题。
2. 内存序参数的选择
和std::atomic一样，std::atomic_ref的所有原子操作都支持内存序参数，需要根据实际场景选择合适的内存序，默认使用std::memory_order_seq_cst，对性能要求高的场景可以选择更宽松的内存序。
3. 普通访问的并发问题
std::atomic_ref只能保证通过自身进行的操作是原子的，如果同时存在其他代码直接对原变量进行非原子访问，仍然会产生数据竞争，因此使用时要确保同一时间要么所有访问都通过同一个atomic_ref，要么其他访问都是只读的。
4. 可复制性限制
std::atomic_ref的模板参数必须是可原子操作的对象类型，比如普通的算术类型、指针类型等，不支持拷贝构造和拷贝赋值的类型无法作为std::atomic_ref的模板参数。
std::atomic_ref与std::atomic的对比
我们可以通过下面的表格更清晰地看到两者的区别：
| 对比项 | std::atomic | std::atomic_ref |
|---|---|---|
| 变量类型要求 | 变量本身必须是std::atomic类型 | 变量可以是普通类型，只需传入引用 |
| 生命周期管理 | 管理自身变量的生命周期 | 不管理原变量生命周期，仅包装引用 |
| 适用场景 | 长期需要原子操作的变量 | 临时需要原子操作的普通变量 |
| 性能开销 | 变量本身可能有额外的标志位开销 | 无额外变量开销，仅包装引用 |
总的来说，std::atomic_ref是C++20给多线程开发带来的实用特性，它填补了普通变量原子化操作的空白，让开发者在不需要修改原有变量定义的前提下，就能安全地实现并发场景下的原子操作，在使用时只要注意生命周期和并发访问的规范，就能很好地发挥它的作用。
std::atomic_refC++20多线程并发原子操作修改时间：2026-06-23 22:39:58