volatile的作用

     C++中有一个类型描述符volatile，用于告知某个变量是易变的，采用这个描述符定义的变量，编译器对访问该变量的代码不再进行优化，下面会拿多线程编程作为例子进行讲述。

    在多线程环境下，每个线程都有一个独立的寄存器，用于保存当前执行的指令。假设我们定义了一个全局变量，每个线程都会访问这个全局变量，这时候线程的寄存器可能会存储全量变量的当前值用于后续的访问。当某个线程修改了全局变量的值时，系统会立即更新该线程寄存器中对应的值，其他线程并不知道这个全局变量已经修改，可能还是从寄存器中获取这个变量的值，这个时候就会存在不一致的情况。

     针对多线程访问共享变量而且变量还会经常变化的情况，利用volatile类型修饰变量是一个很好的选择，如volatile int size = 10;当多线程访问这个变量时，它会直接从size对应的地址访问，而不会从线程对应的寄存器访问，这样就不会出现前面说到的同一变量的值在多个线程之间不一致的情况。

     其实这里的情况比较适合一个线程修改这个变量，而其他线程只是读取这个变量的值，这时候利用volatile修饰而不太需要使用同步措施(待考证)。但每个线程的角色即是读又写的时候，同步就是必须的，volatile也不是万能药。