【C++】之 volatile 关键字

先搞清楚一个概念：

volatile 关键字中文翻译为易变的，那易变就易变呗有什么卵用！确实，在一般的程序里面根本用不着这东西，除非你的多线程任务使用了共享的变量，如果这时候不使用 volatile 关键字，你的程序等着修 bug 吧！好吧，说了这么多，现在让我们来看看 volatile 这家伙干什么用的？

简单的说，volatile 关键字就是防止编译器对代码进行优化（我没猜错的话，你根本不知道编译器会对你的代码进行优化，或者编译器会对你的代码做什么样的鬼优化），来，我们看看下面的例子：

int i = 1;      // 在内存中定义变量
int a = i;      // 从i的内存中读取值
int b = i;      // 从寄存器中读取i的值

• 首先，第一条语句我们在内存中定义了变量 i ；
• 接着，第二条语句编译器从内存中读取了 i 的值，并把它赋值给变量 a（这里需要解释一下 i 是如何赋值给 a 的：CPU 从 i 的内存地址中读取其值并把它压入寄存器中，然后CPU再从内存中找到a的内存地址并写入i的值）；
• 最后，第三条语句还是读取 i 的值并把它赋值给 b，由于两次读取 i 的值之间没有对 i 进行修改，所以编译器对其进行优化：把上次读取在寄存器中i的值赋值给 b，而不是重新从 i 的内存中读取。假如使用 volatile 修饰变量 i 的话，那么上面的优化编译器都不会做，编译器保证每次读取 i 都是从其内存中读取出来。

编译器优化最经典的例子就是 for 循环的变量：for (int i = 0; i < N; i++) 由于 i 变量频繁被使用，编译器为了提高效率会把它存到某个寄存器中。

等等，目前为止好像也没什么问题呀，但前面说了，在多线程中，假如有多个线程同时对同一个变量进行读写会发生什么？考虑下面的例子：

// 定义一个bool变量
bool bStop = false;

// 假如第一个线程中使用该变量
{
    while (!bStop) { ... }
    bStop = false;      
    return;
}

// 第二个线程中也使用该变量
{
    bStop = true;
    while (bStop) ;     // 等待第一个线程结束
}

思考一下第二个线程，由于 bStop 被置为了真，while 循环里读取 bStop 时每次读取的都是寄存器里面的true值，结果造成死循环，哪怕第一个线程结束时 bStop 被置为了假也没用，因为编译器根本不会再次从 bStop 的内存中读取其值。要想解决这个问题就需要使用volatile关键字修饰：volatile bool bStop; 这样 while(bStop)中每次调用bStop的值时编译器都会从bStop的内存中读取它的值。

总结一下就：在多线程情况下，如果每个线程对某个变量都需要访问，为了确保每次访问都是该变量的最新值，这时就需要使用volatile来修饰了。

---

这里需要提一下，volatile 关键字和 const 关键字是等价的，const 有常量指针和指针常量的概念，volatile 也用相应的概念：

const int *cpi;         // 指针指向的对象是const
volatile int *vpi;      // 指针指向的对象是volatile

int * const *pci;       // 指针变量本身是const
int * volatile *pvi;    // 指针变量本身是volatile

对了，可以把一个非 volatile int 赋给 volatile int，但是不能把非 volatile 对象赋给一个 volatile 对象，也就是非volatile 赋给 volatile 只对内置类型生效。

---

那么问题来了，可以使用 const、volatile 同时修饰一个变量吗？

答案是：可以。 const 修饰符只是限定在程序内不能被修改，但是可以被程序外的东西修改，比如外部端口值（不要问我什么是外部端口值，我也不知道，就算知道也不告诉你@0@），而外部端口值恰巧是需要使用 volatile 来修饰的。