volatile在c++++中不保证线程安全，其作用是防止编译器优化变量访问；1. volatile适用于变量可能被外部修改的情况，如硬件寄存器、信号处理函数中的全局变量、多线程中异步修改的变量（但不推荐用于线程同步）；2. volatile不能解决多线程同步问题，因为它不提供原子性、不保证顺序一致性、不加锁；3. 多线程环境下应使用std::atomic、std::mutex、内存屏障等标准同步机制；4. volatile和std::atomic的主要区别在于后者保证原子性和内存序控制，适用于多线程共享变量，而前者主要用于非标准内存访问场景。
在C++中，volatile关键字经常让人误解，尤其是它和多线程编程之间的关系。很多人以为volatile是用来保证线程安全的，其实不是。它的真正作用是告诉编译器：“这个变量可能会被外部修改，不要对它的访问做优化。”
什么情况下需要用volatile？
volatile适用于那些值可能在程序之外被改变的情况，比如：
硬件寄存器（例如嵌入式系统中的内存映射I/O）信号处理函数中修改的全局变量多线程环境中，被其他线程异步修改的变量（虽然这不推荐用volatile来处理）
举个例子，在嵌入式开发中，某个内存地址代表硬件状态寄存器，程序读取这个地址的值来判断设备是否就绪。如果不用volatile修饰，编译器可能会把第一次读取的值缓存起来重复使用，从而导致逻辑错误。
立即学习“C++免费学习笔记（深入）”；
volatile不能解决多线程同步问题
这是最容易搞错的地方。很多初学者以为给变量加上volatile就能防止多个线程同时访问时出问题，但实际上：
volatile不提供原子性volatile也不保证顺序一致性更不会加锁或协调线程间的访问
所以如果你写这样的代码：
volatile int flag = 0;// 线程1flag = 1;// 线程2if (flag == 1) { // do something}
这段代码在某些平台上可能会有问题，因为volatile没有强制内存屏障，也没有任何同步机制。你看到的flag可能是旧值，也可能会出现指令重排的问题。
要实现线程间正确通信，应该使用标准库提供的同步机制，比如：
std::atomicstd::mutex内存屏障（memory barrier）或者std::atomic_thread_fence
volatile和std::atomic的区别
这两个都是用来处理“共享变量”的，但用途完全不同。
volatilestd::atomic是否保证原子性否是是否用于多线程不推荐推荐是否禁止指令重排否可以控制是否有内存序控制否是主要适用场景硬件寄存器、信号处理等多线程共享变量
举个例子：如果你需要一个计数器被多个线程同时增加，应该用：
std::atomic counter(0);
而不是：
volatile int counter = 0; // 错误做法
因为多个线程同时++操作的话，后者会导致数据竞争，行为未定义。
总的来说，volatile的作用是防止编译器优化变量访问，主要面向的是非标准内存访问的场景。在多线程环境下，想让变量安全地被多个线程读写，应该使用std::atomic或其他同步机制。别再误把volatile当成线程安全的手段了。
基本上就这些。
以上就是C++的volatile关键字有什么作用 多线程环境下的变量修饰分析的详细内容，更多请关注创想鸟其它相关文章！
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容， 请发送邮件至 chuangxiangniao@163.com 举报，一经查实，本站将立刻删除。
发布者：程序猿，转转请注明出处：https://www.chuangxiangniao.com/p/1467216.html
微信扫一扫 
支付宝扫一扫 
