volatile类型修饰符

volatile是一个类型修饰符，其作用是作为指令关键字，确保本条指令不会因为编译器的优化而省略，且要求每次直接读值。简单来说，就是防止编译器对代码进行优化。
eg：
a[1]=1;
a[1]=2;
a[1]=3;
a[1]=4;
对于外部硬件而言，上述四条语句分别表示不同的操作，会产生不同的动作，但是编译器却会对上述四条语句进行优化，认为只有a[1]=4有效；如果加入关键字volatile，则编译器会逐一的进行编译并产生相应的机器代码。

---

经常使用到volatile变量的例子：
（1）并行设备的硬件寄存器（如状态寄存器）；
（2）一个中断服务子程序中会访问到的非自动变量；
（3）多线程应用中被几个任务共享的变量；
嵌入式系统程序经常同硬件、中断、RTOS等等打交道，所有这些都要求使用volatile变量。

---

如在C语言中，volatile关键字可以用来提醒编译器它后面所定义的变量随时有可能改变，因此编译后的程序每次需要存储或读取这个变量的时候，都会直接从变量地址中读取数据。如果没有volatile关键字，则编译器可能优化读取和存储，可能暂时使用寄存器中的值，如果这个变量由别的程序更新了的话，将出现不一致的现象。

volatile与多线程语义
临界区内部，通过互斥锁（mutex）保证只有一个线程可以访问，因此临界区内的变量不需要是volatile的；而在临界区外部，被多个线程访问的变量应为volatile，这也符合了volatile的原意：防止编译器缓存（cache）了被多个线程并发用到的变量。volatile对象只能调用volatile成员函数，这意味着应仅对多线程并发安全的成员函数加volatile修饰，这种volatile成员函数可自由用于多线程并发或者重入而不必使用临界区；非volatile的成员函数意味着单线程环境，只应在临界区内调用。在多线程编程中可以令该数据对象的所有成员函数均为普通的非volatile修饰，从而保证了仅在进入临界区（即获得了互斥锁）后把该对象显式转为普通对象之后才能调用该数据对象的成员函数。这种用法避免了编程者的失误——在临界区以外访问共享对象的内容：

template <typename T> class LockingPtr<