C++关键字的详解 ---- volatile关键字

1.volatile的定义
volatile关键字是一种类型修饰符，用它声明的类型变量表示可以被某些编译器未知的因素更改，比如：操作系统、硬件或者其它线程等。由于访问寄存器的速度要快过RAM，所以编译器一般都会作减少存取外部RAM的优化。遇到这个关键字声明的变量，编译器对访问该变量的代码就不再进行优化，从而可以提供对特殊地址的稳定访问。
volatile的本意是“易变的”，不过翻译成“直接存取原始内存地址”更为合适。“易变”是因为外在因素引起的，象多线程，中断等，并不是因为用volatile修饰了的变量就是“易变”了，假如没有外因，即使用volatile定义，它也不会变化。

2.volatile修饰变量的使用

    volatile int huangwen=10;
    int temp01 = huangwen;
    ...
    // 其他代码，并未明确告诉编译器，对 huangwen 进行过操作
    int temp02 = i;

volatile 指出 huangwen 是随时可能发生变化的，每次使用它的时候必须从 huangwen 的地址中读取，因而编译器生成的汇编代码会重新从 huangwen 的地址读取数据放在 temp02 中。而优化做法是，由于编译器发现两次从 huangwen 读数据的代码之间的代码没有对 huangwen 进行过操作，它会自动把上次读的数据放在 temp02 中。而不是重新从 huangwen 里面读。这样以来，如果 huangwen 是一个寄存器变量或者表示一个端口数据就容易出错，所以说 volatile 可以保证对特殊地址的稳定访问。注意，在 VC 6.0 中，一般调试模式没有进行代码优化，所以这个关键字的作用看不出来。下面通过插入汇编代码，测试有无 volatile 关键字，对程序最终代码的影响：

    #include <stdio.h>
    void main()
    {
        int huangwen = 10;
        int temp01 = huangwen;
        printf("huangwen = %d", temp01);
        // 下面汇编语句的作用就是改变内存中 huangwen 的值
        // 但是又不让编译器知道
        __asm {
            mov dword ptr [ebp-4], 20h
            }
        int temp02 = huangwen;
        printf("huangwen = %d", temp02);
    }

然后，在 Debug 版本模式运行程序，输出结果如下：

huangwen = 10
huangwen = 32

然后，在 Release 版本模式运行程序，输出结果如下：

huangwen = 10
huangwen = 10

输出的结果明显表明，Release 模式下，编译器对代码进行了优化，第二次没有输出正确的 huangwen 值。下面，我们把 huangwen 的声明加上 volatile 关键字，看看有什么变化：

    #include <stdio.h>
    void main()
    {
        volatile int huangwen = 10;
        int temp01 = huangwen;
        printf("huangwen = %d", temp01);
        // 下面汇编语句的作用就是改变内存中 huangwen 的值
        // 但是又不让编译器知道
        __asm {
            mov dword ptr [ebp-4], 20h
            }
        int temp02 = huangwen;
        printf("huangwen = %d", temp02);
    }

然后，在 Debug 版本模式运行程序，输出结果如下：

huangwen = 10
huangwen = 32

然后，在 Release 版本模式运行程序，输出结果如下：

huangwen = 10
huangwen = 32

这说明这个 volatile 关键字发挥了它的作用。其实不只是“内嵌汇编操纵栈”这种方式属于编译无法识别的变量改变，另外更多的可能是多线程并发访问共享变量时，一个线程改变了变量的值，怎样让改变后的值对其它线程 visible。一般说来，volatile用在如下的几个地方：

1. 中断服务程序中修改的供其它程序检测的变量需要加volatile；
2. 多任务环境下各任务间共享的标志应该加volatile；
3. 存储器映射的硬件寄存器通常也要加volatile说明，因为每次对它的读写都可能由不同意义；

3.volatile修饰指针的使用
和 const 修饰词类似，const 有常量指针和指针常量的说法，volatile 也有相应的概念：

• 修饰指向的对象、数据的指针是 const 或 volatile 的：

    const char* huangwenptr01;
    volatile char* huangwenptr02;

注意：对于 VC，这个特性实现在 VC 8 之后才是安全的。

• 指针自身的值——一个代表地址的整数变量，是 const 或 volatile 的：

    char* const huangwenptr01;
    char* volatile huangwenptr02;

注意：

• 可以把一个非volatile int赋给volatile int，但是不能把非volatile对象赋给一个volatile对象。
• 除了基本类型外，对用户定义类型也可以用volatile类型进行修饰。
• C++中一个有volatile标识符的类只能访问它接口的子集，一个由类的实现者控制的子集。用户只能用const_cast来获得对类型接口的完全访问。此外，volatile和const一样会从类传递到它的成员。