C语言volatile关键字的作用

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

看下面的例子：

int i = 10;
int j = i;//①
int k = i;//②

此时编译器对代码进行优化，这是因为在①、②两条语句中，i没有被用作左值（没有被赋值）。这时候编译器认为i的值没有发生改变，所以在①语句时从内存中取出i的值赋值给j之后，这个值并没有被丢掉，而是在②语句时继续用这个值赋值给k，编译器不会生成出汇编代码重新从内存里取i的值（不会编译生成装载内存的汇编指令，比如ARM的LDM指令），这样提高了效率，但要注意：①、②语句之间确认i没有被用作左值才行。

再看另一个例子：

volatile int i = 10;
int j = i;//③
int k = i;//④

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

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

const或volatile修饰的指针类型在强制转换时不能除去const或volatile属性。