volatile关键字

volatile关键字的作用

---

       volatile的英文释义：易变的，不稳定的。

       volatile关键字是一种类型修饰符，用它声明的变量表示变量可能被编译器未知的因素更改，比如：操作系统、硬件或者线程等，这样编译器就不会假设这个变量的值。遇到这个关键字声明的变量，编译器对访问该变量的代码就不再进行优化，从而可以提供对特殊地址的稳定访问。例如：volatile int v，当要使用变量v的时候，系统总是重新从它所在的内存中读取数据，即使它前面的指令刚刚从该处读取过数据。volatile的意思是让编译器每次操作该变量时一定要从内存中真正取出，而不是使用已经存在寄存器中的值。

Debug模式下测试

---

       测试环境：Visual Studio 2013。在debug模式下，volatile变量和普通变量的汇编代码没有任何区别，可见在debug模式下编译器没有进行内存优化。

       测试代码：

int main()
{
    int i = 1;
    int j = i;
    int k = i;

    volatile int a = 10;
    volatile int b = a;
    volatile int c = a;
}

       反汇编代码：

      

Release模式下测试

---

       测试环境：Visual Studio 2013。在release模式下，volatile变量和普通变量的汇编代码明显有了区别。

       测试代码：

int main()
{
    int i = 1;
    int j = i;
    int k = i;

    volatile int a = 10;
    volatile int b = a;
    volatile int c = a;
}

       反汇编代码：