123,123

[導讀]想必大家平時都見過volatile關鍵字，可是大家知道什么時候需要使用volatile關鍵字嗎？直接看下面代碼： int a = 100; while (a == 100) { // code} 這段程序編譯時，如果編譯器發(fā)現(xiàn)程序始終沒有企圖改變a的值，那它可能就會優(yōu)化這段代碼，變成while(true)的

想必大家平時都見過volatile關鍵字，可是大家知道什么時候需要使用volatile關鍵字嗎？

直接看下面代碼：

int a = 100;
while (a == 100) { // code}

這段程序編譯時，如果編譯器發(fā)現(xiàn)程序始終沒有企圖改變a的值，那它可能就會優(yōu)化這段代碼，變成while(true)的死循環(huán)使得程序執(zhí)行的更快，然而這種優(yōu)化有時候會變成過度優(yōu)化，編譯器有時候可能沒有意識到程序會改變a的值，卻做了這種優(yōu)化導致程序沒有產(chǎn)生預期的行為。

這里為了產(chǎn)生預期的行為，需要阻止編譯器做這種優(yōu)化，可以使用volatile關鍵字修飾。

volatile int a = 100;

volatile關鍵字和const關鍵字相對應，const關鍵字告訴編譯器其修飾的變量是只讀的，編譯器根據(jù)只讀屬性做一些操作，而volatile關鍵字告訴編譯器其修飾的變量是易變的，同理編譯器根據(jù)易變屬性也會做一些操作。它會確保修飾的變量每次都讀操作都從內(nèi)存里讀取，每次寫操作都將值寫到內(nèi)存里。volatile關鍵字就是給編譯器做個提示，告訴編譯器不要對修飾的變量做過度的優(yōu)化，提示編譯器該變量的值可能會以其它形式被改變。

volatile修飾結(jié)構(gòu)體時，結(jié)構(gòu)體的成員也是volatile的嗎

struct A { int data;};volatile A a;const A b;

答案是結(jié)構(gòu)體內(nèi)所有的都是volatile，引用c++標準里的一句話：

[Note: volatile is a hint to the implementation to avoid aggressive optimization involving the object because the value of the object might be changed by means undetectable by an implementation. See 1.9 for detailed semantics. In general, the semantics of volatile are intended to be the same in C + + as they are in C. ]

這里大體可以理解為一個對象是volatile，那對象里所有的成員也都是volatile。其實const和volatile可以理解為是硬幣的兩面，我們經(jīng)常聽到看到傳說中的CV修飾詞就是const和volatile關鍵字。

volatile可以保證原子性嗎

想必大家都知道答案，volatile只保證內(nèi)存可見性，不能保證操作是原子的，拿i++舉例：

volatile int i = 0;i++; // i = i + 1

i++ 相當于i=i+1，而i=i+1其實可以分解為好幾步：

先讀取i的值到tmp
增加tmp的值
把tmp的值寫回到i的地址里

而volatile只能保證內(nèi)存可見，可以理解為上述三步中的每一步都是原子的，但是三步合起來卻不一定是原子的，因為在多線程中三步中間可能插入一些其它操作改變了預期的行為，所以volatile不能用在多線程中，多線程中的原子操作還是需要使用atomic。單例模式的double check方法中instance變量為什么需要使用volatile修飾也是這個原理。

小總結(jié)

tips：volatile不能解決多線程安全問題，針對特種內(nèi)存才需要使用volatile，它和atomic的特點如下：

? std::atomic用于多線程訪問的數(shù)據(jù)，且不用互斥量，用于并發(fā)編程中

? volatile用于讀寫操作不可以被優(yōu)化掉的內(nèi)存，用于特種內(nèi)存中