与关键字const一样,关键字volatile也是一个类型修饰符(type specifier)。
关于volatile的作用:
例如程序清单: volatile int m=10;
int k,n=m;
.
.
k=i;
volatile将告诉编译器,整形变量m是随时发生变化的,每次使用m的时候,都要求从m的地址中找出它当前的值,防止编译器进行优化,而在某种情况下取得可能错误的值。也就是说,volatile可以阻止编译器对这块有关的代码进行优化。
说到这里,再详细说一下是如何阻止的编译器进行优化:如果编译器在编译时,发现两次读取m的值,并且在这两次读取之间的代码没有对m进行赋值等操作,编译器会在第二次读取m的时候,不去从m的地址中取值,而是沿用第一次的m的值,直接将其赋值给k。这样以来,如果m是一个寄存器变量或者表示一个端口数据就容易出错。
但是在加上关键字volatile后,就会阻止编译器进行优化,保证了在每次使用m的时候都从地址内存上读取。
建议使用关键字volatile的场合:
1、并行设备的硬件寄存器。
2、一个中断服务子程序中会访问到的非自动变量(如全局变量)。
3、多线程应用中被几个任务共享的变量。
关键字volatile在嵌入式开发(驱动程序)和Linux内核代码中经常出现。