volatile 限定符告诉计算机,代理(而不是变量所在的程序)可以改变该变量的值。通常,它被用于硬件地址以及在其他程序或同时运行的线程中共享数据。一个地址用于接受另一台计算机传入的信息。

volatile涉及编译器优化。

编译器注意到代码使用了两次X,但并未改变它的值。于是编译器把X的值临时储存在寄存器中,然后用到时从寄存器中读取X的值。这个过程叫做高速缓存。如果没有volatile关键字,编译器就不知道这种事情是否会发生。因此,编译器不会进行高速缓存。如果再代码中,声明没有volatile关键字,编译器会假定变量的值在使用过程中不变,然后再尝试优化代码。

以上是C primer Plus的解释

volatile 关键字和const 一样是一种类型修饰符,用它修饰的变量表示可以被某些编译器未知的因素更改,比如操作系统、硬件或者其它线程等。遇到这个关键字声明的变量,编译器对访问该变量的代码就不再进行优化,从而可以提供对特殊地址的稳定访问。

先看看下面的例子:

   int i=10;
int j = i;//(1)语句
int k = i;//(2)语句


这时候编译器对代码进行优化,因为在(1)、(2)两条语句中,i 没有被用作左值。这时候编译器认为i 的值没有发生改变,所以在(1)语句时从内存中取出i 的值赋给j 之后,这个值并没有被丢掉,而是在(2)语句时继续用这个值给k 赋值。编译器不会生成出汇编代码重新从内存里取i 的值,这样提高了效率。但要注意:(1)、(2)语句之间i 没有被用作左值才行。

再看另一个例子:

   volatile int i=10;
int j = i;//(3)语句
int k = i;//(4)语句


volatile 关键字告诉编译器i 是随时可能发生变化的,每次使用它的时候必须从内存中取出i的值,因而编译器生成的汇编代码会重新从i 的地址处读取数据放在k 中。

volatile 关键字告诉编译器i 是随时可能发生变化的,每次使用它的时候必须从内存中取出i的值,因而编译器生成的汇编代码会重新从i 的地址处读取数据放在k 中。

这样看来,如果i 是一个寄存器变量或者表示一个端口数据或者是多个线程的共享数据,就容易出错,所以说volatile 可以保证对特殊地址的稳定访问。

至于为什么容易出错,先记住怎么用,以后来填坑。