C/C++和Java（C# maybe）中的volatile关键字的作用

嗯……很多程序员看见C/C++中的关键字volatile的时候不禁莫名其妙：这个关键字有什么作用？

我第一次看见时候很很好奇，看见C/C++ 文档道：用于声明变量能够被外部环境（比如中断，其他硬件，其他线程）修改。呃…但是没说为什么要作如此声明，不做声明有什么后果。

      好……这并不是什么深奥的道理，需要声明的原因在于所有CPU都有寄存器。在处理数据时候，数据或者它们的引用地址大都先要经过寄存器。比如如下代码：

void PossibleInfiniteLoop(int * i){

    while(*i){

          //do something here

    }

}

 

可以被编译为

loop:

mov eax ,[ebp+4] //[ebp+4]为i的地址，至于为什么就……

test eax,eax

 

jne loop

ret

但是这个loop这样编译很多编译器都看不顺眼，想优化。那怎么编译？请看：

mov eax,[ebp+4]

loop:

test eax,eax

jne loop

ret

这样编译省去了一步从内存读入数据到寄存器，有没有道理呢？当然有！因为下面没有修改i，所以内存里面的数据应该是和寄存器里面的一样的！但是一个正常的程序来说是不允许死循环的，所以i应该是能被外部环境（比如中断，其他硬件，其他线程)修改，然后跳出这个循环的。但是编译器像下面这样编译的话，死定了，铁定死循环。

 

这时候volatile 出场了，它负责告诉编译器，禁止这类允许寄存器不同步内存的优化。

于是编译器就只能进行上面的编译（没有优化）。

 

需要指出的是这和同步是不一样的哦……所以改同步的地方 还是乖乖同步好