0

0

C++中std::atomic_ref怎么原子操作非原子变量_C++20新特性【同步】

冰火之心

冰火之心

发布时间:2026-02-05 13:57:13

|

571人浏览过

|

来源于php中文网

原创

std::atomic_ref能原子操作普通变量,但要求变量内存对齐且生命周期内无非原子访问;它不改造变量,仅提供运行时原子视角,未对齐或混用非原子访问将导致未定义行为。

c++中std::atomic_ref怎么原子操作非原子变量_c++20新特性【同步】

std::atomic_ref 能不能直接原子操作普通变量

能,但有严格前提:变量内存必须对齐到 std::atomic_ref::required_alignment(通常是 alignof(T)),且生命周期内不能被其他非原子访问干扰。它不“改造”变量,只是在运行时提供原子视角——底层仍是那个普通变量。

常见错误现象:std::atomic_ref(x) 构造失败或触发 std::bad_cast,多半是 x 地址未对齐;更隐蔽的是未对齐时构造成功但读写产生未定义行为(尤其在 ARM 或某些 x86 配置下)。

  • 检查对齐:用 alignof(int) 确认目标类型要求,用 reinterpret_cast(&x) % alignof(int) 手动验算地址
  • 上变量通常满足对齐,但结构体成员不一定——优先把要原子访问的字段单独声明,或用 alignas 强制对齐
  • 禁止跨线程混用:一旦用 std::atomic_ref 访问某变量,所有对该变量的读写(包括普通赋值、memcpy)都必须通过同类型的 std::atomic_ref,否则破坏同步语义

怎么安全创建 std::atomic_ref 实例

核心原则:只对明确拥有、生命周期可控、且已知对齐的变量构造。不要对临时对象、函数返回值、或容器内部元素(如 std::vector[i])直接构造——它们可能被优化掉、移动或重分配。

典型可用场景:

立即学习C++免费学习笔记(深入)”;

  • 全局/静态变量:天然对齐,生命周期贯穿程序运行
  • 栈上局部变量:确认类型对齐(如 int x; 一般没问题),且作用域内不逃逸
  • 堆分配内存:用 aligned_alloc 分配,再用 placement new 构造对象,最后取地址传给 std::atomic_ref

错误示例:std::atomic_ref(vec[0]) —— vec 可能 realloc,vec[0] 地址失效;正确做法是提前保存指针:int* p = &vec[0]; std::atomic_ref(*p);,但仍需确保 vec 不 resize。

compare_exchange_weak 和 compare_exchange_strong 的实际选择

两者都用于 CAS 操作,但行为差异直接影响循环逻辑。在 std::atomic_ref 上表现和原生 std::atomic 一致,没有额外开销。

  • compare_exchange_weak 允许虚假失败(spurious failure):即使当前值匹配,也可能返回 false。适合在循环中使用,性能略优(尤其在 ARM 上)
  • compare_exchange_strong 保证非虚假失败,但可能更慢。仅当你无法容忍循环重试(比如实时系统中需严格控制最大延迟)时才考虑
  • 绝大多数场景用 weak + 循环更合理,例如:
    int expected = val.load();
    while (!ref.compare_exchange_weak(expected, desired)) {
        // expected 已被更新为当前值,继续尝试
    }

std::atomic_ref 的内存序参数和性能影响

所有操作都支持指定 std::memory_order,默认是 std::memory_order_seq_cst。宽松序(如 relaxed)能显著提升吞吐,但必须你自己保证同步逻辑正确。

容易被忽略的点:

  • 同一变量上的不同操作可以混合内存序,但必须成对设计:比如一个线程用 store(std::memory_order_release) 发布数据,另一线程必须用 load(std::memory_order_acquire) 获取,才能建立 happens-before 关系
  • std::atomic_ref 不改变底层变量的可见性模型——它只是把普通内存访问“升格”为带序语义的原子访问。所以 relaxed 操作不会自动同步其他非原子变量
  • 在无竞争场景下,relaxedseq_cst 性能差距不大;但高竞争时,seq_cst 可能引发总线锁或缓存行无效化,拖慢整个核

复杂点在于:你得自己画出线程间的数据流和依赖关系,再决定每个操作该用什么序。没想清楚就全用默认 seq_cst,虽安全但可能埋下性能隐患。

热门AI工具

更多
DeepSeek
DeepSeek

幻方量化公司旗下的开源大模型平台

豆包大模型
豆包大模型

字节跳动自主研发的一系列大型语言模型

通义千问
通义千问

阿里巴巴推出的全能AI助手

腾讯元宝
腾讯元宝

腾讯混元平台推出的AI助手

文心一言
文心一言

文心一言是百度开发的AI聊天机器人,通过对话可以生成各种形式的内容。

讯飞写作
讯飞写作

基于讯飞星火大模型的AI写作工具,可以快速生成新闻稿件、品宣文案、工作总结、心得体会等各种文文稿

即梦AI
即梦AI

一站式AI创作平台,免费AI图片和视频生成。

ChatGPT
ChatGPT

最最强大的AI聊天机器人程序,ChatGPT不单是聊天机器人,还能进行撰写邮件、视频脚本、文案、翻译、代码等任务。

相关专题

更多
golang结构体相关大全
golang结构体相关大全

本专题整合了golang结构体相关大全,想了解更多内容,请阅读专题下面的文章。

282

2025.06.09

golang结构体方法
golang结构体方法

本专题整合了golang结构体相关内容,请阅读专题下面的文章了解更多。

193

2025.07.04

string转int
string转int

在编程中,我们经常会遇到需要将字符串(str)转换为整数(int)的情况。这可能是因为我们需要对字符串进行数值计算,或者需要将用户输入的字符串转换为整数进行处理。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

585

2023.08.02

int占多少字节
int占多少字节

int占4个字节,意味着一个int变量可以存储范围在-2,147,483,648到2,147,483,647之间的整数值,在某些情况下也可能是2个字节或8个字节,int是一种常用的数据类型,用于表示整数,需要根据具体情况选择合适的数据类型,以确保程序的正确性和性能。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

549

2024.08.29

c++怎么把double转成int
c++怎么把double转成int

本专题整合了 c++ double相关教程,阅读专题下面的文章了解更多详细内容。

153

2025.08.29

C++中int的含义
C++中int的含义

本专题整合了C++中int相关内容,阅读专题下面的文章了解更多详细内容。

204

2025.08.29

堆和栈的区别
堆和栈的区别

堆和栈的区别:1、内存分配方式不同;2、大小不同;3、数据访问方式不同;4、数据的生命周期。本专题为大家提供堆和栈的区别的相关的文章、下载、课程内容,供大家免费下载体验。

400

2023.07.18

堆和栈区别
堆和栈区别

堆(Heap)和栈(Stack)是计算机中两种常见的内存分配机制。它们在内存管理的方式、分配方式以及使用场景上有很大的区别。本文将详细介绍堆和栈的特点、区别以及各自的使用场景。php中文网给大家带来了相关的教程以及文章欢迎大家前来学习阅读。

579

2023.08.10

java中fail含义
java中fail含义

本专题整合了java中fail的含义、作用相关内容,阅读专题下面的文章了解更多详细内容。

0

2026.02.05

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
Java 教程
Java 教程

共578课时 | 57.9万人学习

国外Web开发全栈课程全集
国外Web开发全栈课程全集

共12课时 | 1.0万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号