0

0

为什么c++中的volatile关键字不能保证线程安全? (正确使用场景)

穿越時空

穿越時空

发布时间:2026-01-18 01:15:22

|

502人浏览过

|

来源于php中文网

原创

volatile不提供线程同步,仅防止编译器优化读写操作;它不阻止指令重排、无内存屏障、不保证原子性,适用于硬件寄存器等异步可见性场景,线程通信应使用std::atomic。

为什么c++中的volatile关键字不能保证线程安全? (正确使用场景)

volatile 不阻止指令重排,编译器和 CPU 都可能乱序执行

volatile 告诉编译器:这个变量的值可能在任何时候被外部(比如硬件、信号处理函数)修改,所以每次读写都必须真实发生,不能被优化掉。但它**不生成内存屏障(memory barrier)**,也不约束其他变量的访问顺序。例如:

volatile bool ready = false;
int data = 0;

// 线程 A data = 42; // 编译器/CPU 可能把它重排到 ready = true 之后 ready = true; // 但 volatile 并不阻止这种重排

线程 B 看到 ready == true,却可能读到未初始化的 data(仍是 0)。这不是编译器“错”,而是 volatile 本就不承诺同步语义。

它不提供原子性,对复合操作完全无效

volatile 修饰的变量,其读或写操作本身可能是原子的(如对齐的 int 在多数平台),但像 +++=fetch_add 这类操作本质上是“读-改-写”三步,volatile 不保证这三步不可打断:

  • volatile int counter = 0;
  • 两个线程同时执行 ++counter,结果很可能是 1 而不是 2
  • 因为两者都读到 0,各自加 1,再各自写回 1

真正需要原子递增,请用 std::atomic 及其 fetch_add() 成员函数。

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

九歌
九歌

九歌--人工智能诗歌写作系统

下载

正确使用场景:非线程同步的异步可见性

volatile 的本职工作是与**硬件寄存器、信号处理函数、内存映射 I/O** 打交道,这些场景不需要互斥或顺序保证,只需要“别给我优化掉读写”:

  • 嵌入式中轮询一个硬件状态寄存器:while (*(volatile uint32_t*)0x40001000 == 0) { }
  • 信号处理函数中设置标志位,主循环检查:volatile sig_atomic_t flag = 0;(注意:必须是 sig_atomic_t 类型)
  • 内存映射的帧缓冲区(framebuffer)写入:volatile uint16_t* fb = (volatile uint16_t*)0xA0000;

这些场景里没有多线程竞争,只有“程序 vs 外部世界”的可见性问题——volatile 刚好够用,也仅够用。

替代方案:用 std::atomic 替代 volatile 实现线程通信

如果你原本想靠 volatile 实现“一个线程写、另一个线程读”的简单通知,应该换成 std::atomic

std::atomic ready{false};
int data = 0;

// 线程 A data = 42; ready.store(true, std::memory_order_release); // 写屏障,确保 data=42 不会重排到后面

// 线程 B while (!ready.load(std::memory_order_acquire)) { } // 读屏障,确保后续读 data 不会重排到前面 std::cout << data << "\n";

std::atomic 提供可选的内存序、真正的原子操作、以及隐式/显式的屏障语义——这才是 C++ 线程模型认可的协作方式。把 volatile 当成线程安全的“轻量级替代品”,是 C++ 新手最常踩的坑之一。

相关专题

更多
while的用法
while的用法

while的用法是“while 条件: 代码块”,条件是一个表达式,当条件为真时,执行代码块,然后再次判断条件是否为真,如果为真则继续执行代码块,直到条件为假为止。本专题为大家提供while相关的文章、下载、课程内容,供大家免费下载体验。

89

2023.09.25

string转int
string转int

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

318

2023.08.02

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

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

538

2024.08.29

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

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

52

2025.08.29

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

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

197

2025.08.29

c++中volatile关键字的作用
c++中volatile关键字的作用

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

69

2025.10.23

线程和进程的区别
线程和进程的区别

线程和进程的区别:线程是进程的一部分,用于实现并发和并行操作,而线程共享进程的资源,通信更方便快捷,切换开销较小。本专题为大家提供线程和进程区别相关的各种文章、以及下载和课程。

481

2023.08.10

Python 多线程与异步编程实战
Python 多线程与异步编程实战

本专题系统讲解 Python 多线程与异步编程的核心概念与实战技巧,包括 threading 模块基础、线程同步机制、GIL 原理、asyncio 异步任务管理、协程与事件循环、任务调度与异常处理。通过实战示例,帮助学习者掌握 如何构建高性能、多任务并发的 Python 应用。

143

2025.12.24

高德地图升级方法汇总
高德地图升级方法汇总

本专题整合了高德地图升级相关教程,阅读专题下面的文章了解更多详细内容。

43

2026.01.16

热门下载

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

精品课程

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

共94课时 | 6.9万人学习

C 教程
C 教程

共75课时 | 4.1万人学习

C++教程
C++教程

共115课时 | 12.6万人学习

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

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