C++ 语法实验室之volatile关键字

大道理不讲多了用实验说话,以下是标准C++写的一个最简单的例子来诠释volatile的作用

操作系统:Win7 64位

编程IDE:Visual Studio 2012

编译模式:release

例子原理：对于全局变量i,在主线程延迟3s赋值，在另一个线程从一开始持续打印输出这个i,看i有无改变

例子源码:

#include <iostream>#include <thread>int i=80;//如果前面加上关键字violatile，即violatile int i=80;可避免在Release模式BUG//睡眠多少毫秒void Sleep_MS(long long ms){std::chrono::milliseconds timespan(ms);std::this_thread::sleep_for(timespan);}void thread_proc(){while (true){Sleep_MS(500);printf("输出i的值:%d\r\n",i);//std::cout << "thread id = " << std::this_thread::get_id() << std::endl;}}int main(int argc, char* argv[]){std::thread td(thread_proc); Sleep_MS(3000);i=10;while (1);return 0;}

上述执行结果可以发现，在release模式下多线程访问同一个变量的时候，他是不能检测到这个变量在其他线程的更改的，这是编译优化的bug，若要准确得到这个变量的正确值，那么就该在他前面加上violatile关键字。实际上violatile关键字正如他的本意“不稳定”,他让编辑器认知到这个变量是不稳定的，很容易被别的线程或则别的其他东西所改变，比如：操作系统、硬件或者其它线程，所以必须每次从内存准确读出,形象的说就是不能读缓存什么之类.

总结：

 由于编译器release下优化的bug，导致没有用violatile修饰的变量往往因为一些因素（典型的就是多进程非本进程修改过这个变量）,使得程序无法正确读对这个变量，所以要用violatile来修饰这个变量，解决此bug