C++volatile

一、背景

Volatile，词典上的解释为：易失的；易变的；易挥发的。那么用这个关键词修饰的C/C++变量，应该也能够体现出”易变”的特征。大部分人认识Volatile，也是从这个特征出发。volatile提醒编译器它后面所定义的变量随时都有可能改变，因此编译后的程序每次需要存储或读取这个变量的时候，都会直接从内存中读取数据。如果没有volatile关键字，则编译器可能优化读取和存储，可能暂时使用寄存器中的值，如果这个变量由别的程序更新了的话，将出现不一致的现象易变性。

Volatile关键词的第二个特性：“不可优化”特性。volatile告诉编译器，不要对我这个变量进行各种激进的优化，甚至将变量直接消除，保证程序员写在代码中的指令，一定会被执行。

二、实例

定义一下原子的类型：

volatile std::atomic_bool isReady = false;
volatile std::atomic_int mycount = 0;

这里的volatile保证了每次数据都是从内存拿，而不是有一定安全性风险的寄存器。

 我们这里准备计算10个线程的累加和

#include <thread>
#include <vector>
#include <iostream>
#include <atomic>
#include <list>
using namespace std;
 
volatile std::atomic_bool isReady = false;
volatile std::atomic_int myCount = 0; // 使用原子类型
int normalCount = 0; // 普通全局变量，不使用原子类型
void task()
{
    while (!isReady)
    {
        std::this_thread::yield(); // 线程出让当前的CPU时间片，等待下一次调度
    }

    for (int i = 0; i < 100; ++i)
    {
        myCount++;
        normalCount++;
    }
}

int main()
{
    list<std::thread> tlist;
    for (int i = 0; i < 10; ++i)
    {
        tlist.push_back(std::thread(task));
    }

    std::this_thread::sleep_for(std::chrono::seconds(3));
    isReady = true;

    for (std::thread &t : tlist)
    {
        t.join();
    }
    cout << "myCount:" << myCount << endl;
    cout << "normalCount:" << normalCount << endl;

    system("pause");
    return 0;
}

打印 ，可以看到累加和不一致，Volatile只是防止有可能的编译器优化，所以一般加上更好。

参考：

详解C/C++中volatile关键字_自由如风呼呼呼的博客-CSDN博客_c++ volatile

C++高级——多线程编程_shenmingik的博客-CSDN博客