一个定义为volatile的变量就是说它可能会意想不到的改变(改变它的情况有很多,例如操作系统,硬件,线程),这样,编译器就不会去假设这个值,也就是说,当优化器读到这个值时就会小心翼翼的去重新读取这个变量的值,而不是使用保存在寄存器中的备份。(当使用到用类型修饰符声明的变量时,系统总是从它所在的内存读取,既使系统刚从这里读取过)
Volatile修饰符告诉编译程序不要对该变量所参与的操作进行优化。
例子
1) 并行设备的硬件寄存器。存储器映射的硬件寄存器通常加volatile
例如状态寄存器。以为设备寄存器会在你的程序不知道或者不介入的时候发生改变,那是因为设备寄存器可以被外设硬件修改。相反,变量中的不会变。设备寄存器的内容是易失的,或者在不注意的时候被修改。当声明指向设备寄存器的指针时一定要用volatile它会告诉编译 器不要对存储在这个地址的数据进行假设,编译器在优化这个变量时应该把它看作编译时未知的。
#define IOPMOD (*((Volatile unsigned *)(SYSCFG + 0x5000)))
2) 一个中断服务程序中修改的供其他程序检测的变量。
3) 多线程应用中被几个任务共享的变量。
扩展:
1.一个变量可以既是const 还是volatile吗?解释为什么?
可以,例如状态寄存器。它首先应该是volatile 因为它可以出乎意料的修改,而且应该是const,这个寄存器程序不应该去修改。
2.一个指针可以说volatile的吗?
可以,例如中断服务子程序中修改一个指向buffer的指针。
3.下列代码有错误吗?
Int square(volatile int *ptr)
{
Return *ptr **ptr;
}
答:由于ptr声明为volatile类型的所以编译器可能编译完的程序是:
int square(volatile int *ptr)
{
int a,b;
a = *ptr;
b = *ptr;
return a * b;
}
则得出的结果可能不是想要的结果;
正确的程序这样写:
long square(volatile int *ptr)
{
int a;
a = *ptr;
return a * a;
}