一文讲透C++的volatile关键字

提示：文章写完后，目录可以自动生成，如何生成可参考右边的帮助文档

---

前言

我们平常使用C++编程的时候可能volatile关键字用的并不多，这个关键字特性在底层硬件编程中用的很多。表示变量可能在程序控制之外被改变，例如被硬件中断或者其他程序所修改。因此，编译器在每次访问该变量时都会重新读取它的值，而不是使用缓存的值。

所以它的主要特性就是每次访问都重新读取它的值，而不是使用缓存的值。

---

一、volatile和线程同步

一个容易让人困惑的问题就是volatile能用来控制线程同步吗？相信很多人都思考过这个问题。既然标记为volatile的变量每次访问都重新从内存中读取值，那么不就是说每次读取的值都是最新的吗？

乍一看似乎没问题，其实问题很大。volatile和线程同步几乎没有关系，而导致同步问题的元凶也不是cache或寄存器，而是内存序。volatile修饰的变量也会进缓存和寄存器，不保证线程同步，没有原子性保障，也可能会被代码重排。

举个例子：

#include <iostream>
#include <thread>
#include <vector>

volatile int counter = 0;

void increment(int n) {
    for (int i = 0; i < n; ++i) {
        ++counter;
    }
}

int main() {
    const int num_threads = 10;
    const int increments_per_thread = 1000;

    std::vector<std::thread> threads;
    for (int i = 0; i < num_threads; ++i) {
        threads.push_back(std::thread(increment, increments_per_thread));
    }

    for (auto& t : threads) {
        t.join();
    }

    std::cout << "Final counter value: " << counter << std::endl;
    return 0;
}

上面的代码是错的，原因上面已经说过了。多个线程可能会同时读取和写入 counter，导致数据竞争和错误的最终值。

正确的操作应该是使用atomic或锁，以下是正确的示范：

#include <atomic>
#include <iostream>
#include <thread>
#include <vector>

std::atomic<int> counter(0);

void increment(int n) {
    for (int i = 0; i < n; ++i) {
        ++counter;
    }
}

int main() {
    const int num_threads = 10;
    const int increments_per_thread = 1000;

    std::vector<std::thread> threads;
    for (int i = 0; i < num_threads; ++i) {
        threads.push_back(std::thread(increment, increments_per_thread));
    }

    for (auto& t : threads) {
        t.join();
    }

    std::cout << "Final counter value: " << counter << std::endl;
    return 0;
}

---

总结

1、volatile主要用于底层硬件编程，平常编写代码不一定用得上。
2、volatile也可能进cache或寄存器，不保证同步，没有原子性，不保证内存顺序。