【关键字】volatile 使用总结

一. 基本介绍

volatile 用来修饰变量，告知编译器不要对这个变量进行优化，每次要用到这个变量时都必须从内存中读取它的值。

看下面一段代码：

在 C/C++ 中被 const 修饰的变量已经是一个常量了，这时它具有替换的作用，编译器在编译代码的时候，在程序中看到对常量中的内容读取时，会直接使用常量中的内容替换常量。

我们可以用 volatile 修饰这个常量，告知编译器不要对这个常量进行如何优化：

二. 演示实验

思考一下，这个代码有哪些地方，编译器是可以优化的？

#include <stdio.h>

int pass = 1;

int main()
{

	while (pass) {
	}
	return 0;
}

编译器在编译的时候，能识别到 while 循环内并没有对 pass 变量进行修改，又因为 pass 变量的值就是循环条件，所以编译器会把它的值放到寄存器中，这样cpu每次要进行循环条件判定时就从寄存器中拿出这个值来判定，比起每次从内存中读取 pass 的值，从寄存器读取的速度是更快的，这是编译器在程序效率上的优化。

这种优化有些时候害了我们，比如在多线程的场景，其它线程可能就会对这个 pass 变量的值进行修改，这时原线程中的 pass 的值已然改变，但 cpu 依然是从寄存器中取值，造成一种内存中的值被覆盖的现象。

接下来，我们从汇编的角度，在 Linux 平台下对比演示加还是不加 volatile 的作用：

不加 volatile

加 volatile

结论：volatile 修饰变量时可以告知编译器不要对这个变量进行优化，保持变量内存的可见性

三. const 能否和 volatile 一起使用

const 是常量的意思，而 volatile 是易变的意思，这两个字义冲突的关键字能否同时使用呢？

接下来我们在不同吧编译器上试试看效果：

const volatile int a = 10;

上面定义变量的语句在 vs2017 和 gcc 4.8 中都能编译通过，总结：

• const 是在编译期间起效果
• volatile 在编译期间主要影响编译器，形成不优化的代码，进而影响运行，故：编译和运行都起效果。

const 要求你不要进行写入就可以。volatile 意思是你读取的时候，每次都要从内存读。两者并不冲突。

虽然 volatile 就叫做易变关键字，但这里仅仅是描述它修饰的变量可能会变化，要编译器注意，并不是它要求对应变量的值必须变化！这点要特别注意。