Volatile关键字

简介

　　C/C++ 中的 volatile 关键字和 const 对应，用来修饰变量，编译器优化的时候可能会出现问题，如当遇到多线程编程时，变量的值可能因为别的线程而改变，而该寄存器的值不会相应改变，从而造成应用程序读取的值和实际的变量值不一致。例如在本次线程内，当读取一个变量时，为提高存取速度，编译器优化的过程中有时候会先把变量读取到一个寄存器内：当以后再取变量值时，就直接从寄存器中取值：当变量值在本线程里改变时，会同时把变量的新值复制到该寄存器中，以便保持一致。

　　Volatile是一个类型修饰符（type specifier），它用来修饰被不同线程访问和修改的变量。被Volatile类型定义的变量，系统每次用到它的时候都是直接从对应的内存当中提取，而不会利用cache中的原有数值，以适应它的未知何时会发生的变化，系统对这种变量的处理不会做优化。所以，Volatile一般用于修饰多线程间被多个任务共享的变量和并行设备硬件寄存器等。

　　对于Volatile关键字的作用，可以通过在代码中插入汇编代码，测试有无Volatile关键字对程序最终代码的影响。

　　首先建立一个voltest.cpp文件，输入以下代码：

#include<stdio.h>

int main()

{

　　int i=10;

　　int a=i;

　　printf("i=%d\n",a);　　//下面汇编语句的作用是改变内存中的i值，但是又不让编译器知道

　　_asm

　　{

　　　　mov dword ptr [ebp-4],20h

　　}

　　int b=i;

　　printf("i=%d\n",b);

　　return  0;

}

在debug调试版本模式运行程序，输出结果如下：

　　i=10

　　i=32

在release版本模式运行结果：

　　i=10

　　i=10

 

输出的结果明显表明，在release模式下，编译器对代码进行了优化。

 

　　一个定义为volatile的变量是指这个变量可能会被意想不到的改变，这样编译器就不会去假设这个变量。准确的说，优化器在用到这个变量时必须每次都小心的重新读取这个变量的值，而不是使用保存在寄存器里的备份。