前言
volatile是易变的、不稳定的意思。或许你没见过这个关键字,但它的的确确存在着。
volatile作用
保持内存可见性
volatile关键字和const 一样是一种类型修饰符,变量可以被某些编译器未知的因素更改,比如操作系统、硬件或者其他线程等,遇到这个关键字声明的变量,编译器对访问该变量的代码就不再进行优化,从而可以提供对特殊地址的稳定访问。
#include <stdio.h>
int pass = 1;
int main()
{
while(pass)
{
;
}
return 0;
}
思考一下,以上代码有哪些可优化的地方?
由于pass = 1,为真,编译器会优化此代码,将循环条件直接改为真,后续不再从内存中读取pass的值来判断循环是否停止。
汇编代码如下:
如果是多线程的程序,pass是有可能被其他进程改掉,循环条件应该重新判断。但是代码已被编译器优化,程序不会读取pass的值进行判断,也就不能达到想要的效果了。
加volatile
后
#include <stdio.h>
volatile int pass = 1; //加上volatile
int main()
{
while (pass) {
;
}
return 0;
}
汇编如下:
加了volatile
后,每次都会将pass的值导入cpu判断是否循环了。
结论
volatile
忽略编译器的优化,保持内存可见性。