volatile的本意是“易变的”。因为访问寄存器要比访问内存单元快的多,所以编译器一般都会作减少存取内存的优化,但有可能会读脏数据。当要求使用volatile声明变量值的时候,系统总是重新从它所在的内存读取数据,即使它前面的指令刚刚从该处读取过数据。精确地说就是,遇到这个关键字声明的变量,编译器对访问该变量的代码就不再进行优化,从而可以提供对特殊地址的稳定访问;如果不使用volatile,则编译器将对所声明的语句进行优化。(简洁的说就是:volatile关键词影响编译器编译的结果,用volatile声明的变量表示该变量随时可能发生变化,与该变量有关的运算,不要进行编译优化,以免出错)。
在某个函数中定义的变量可能在函数外面被改变的情况,你就应该加上volatile,保证每次都必须从内存中读取数据,而不能重复使用放在cache或寄存器中的备份。
举个例子:
int a = 1;
a = 2;
a = 3;
此时运行程序,编译器优化性的读代码,变为:
int a = 1;
a = 3;
这意味着a = 2这一条指令就丢失了。而当你加上volatile关键字,代码在编译后还是三条:
volatile int a = 1;
a = 2;
a = 3;
所以说,简而言之,volatile关键字的作用,就是让编译器始终从内存读取数据,以防止因优化带来的错误。
volatile关键字
原文:https://blog.51cto.com/14289397/2612473