C语言关键字 - 专一王子：Volatile

专一王子：volatile
描述：每个变量和他的名字一样很善变，有时候它善变是发自内心的，有时是外部因素决定的，只有volatile变量才会表里如一，因此获得了专一王子的美誉。
作用：volatile字面意思是易挥发，易变化的意思，它修辞的变量表示该变量的值很容易由于外部因素发生改变，强烈请求编译器要老老实实的在每次对变量进行访问时去内存里读取。可能上面说的还不是很清楚，我们换个例子来说，你明天一个朋友过生日，今天把要送的礼物打包好了，一般情况下，我们明天起来不再需要再打开验证一下里面礼物是否存在，因为我们知道，只要礼物的外包装没有动过，里面东西应该不会被动。其实编译器和人一样聪明，为了提高效率也会玩省事，如下面的例子：
1  int a = 10;
2  int b = a;
3  int c = a;
www.2cto.com
编译器扫描了代码发现上面，第一行代码在将10赋给了整形变量a，之后a变量的值没有再发生改变。在后面第二行中，将a变量里的值取出来赋给b变量。在第三行代码里将a变量的值赋给c的时候，因为cpu访问内存速度较慢（看register关键字介绍），编译器为了提高效率，玩了“省事”，直接将10赋给了c。
单从上述代码我们来看是没有问题的，就如同从外包装看生日礼物完好一样。但是，上述代码如果运行在多线程中，在一个线程上下文中没有改变它的值，但是我们不能保证变量的值没有被其它线程改变。就好比是，生日礼物放到其它人那里保存，我们不敢100%保证它里面的东西还完好。当然这种数据不一致的机制不仅仅出现在多线程中，同样在设备的状态寄存器里也会存在。比如：网卡里的某状态寄存器里的值是否为1表示是否有网络数据到达，在当前时刻其值为1，不能代表着下一时刻其值还为1，它的值是由外界条件决定的，编译器肯定不能在这种情况下玩“省事”
为了防止在类似的情况下，编译器玩省事，可以将这些变量声明为volatile，这样，不管它的值有没有变化，每次对其值进行访问时，都会从内存里，寄存器里读取，从而保证数据的一致，做到表里如一。

作者 mr_raptor的专栏