想必大家平時都見過volatile關鍵字,可是大家知道什么時候需要使用volatile關鍵字嗎?
直接看下面代碼:
int a = 100;
while (a == 100) { // code}
這段程序編譯時,如果編譯器發現程序始終沒有企圖改變a的值,那它可能就會優化這段代碼,變成while(true)的死循環使得程序執行的更快,然而這種優化有時候會變成過度優化,編譯器有時候可能沒有意識到程序會改變a的值,卻做了這種優化導致程序沒有產生預期的行為。
這里為了產生預期的行為,需要阻止編譯器做這種優化,可以使用volatile關鍵字修飾。
volatile int a = 100;
volatile關鍵字和const關鍵字相對應,const關鍵字告訴編譯器其修飾的變量是只讀的,編譯器根據只讀屬性做一些操作,而volatile關鍵字告訴編譯器其修飾的變量是易變的,同理編譯器根據易變屬性也會做一些操作。它會確保修飾的變量每次都讀操作都從內存里讀取,每次寫操作都將值寫到內存里。volatile關鍵字就是給編譯器做個提示,告訴編譯器不要對修飾的變量做過度的優化,提示編譯器該變量的值可能會以其它形式被改變。
volatile修飾結構體時,結構體的成員也是volatile的嗎
struct A { int data;};volatile A a;const A b;
答案是結構體內所有的都是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可以理解為是硬幣的兩面,我們經常聽到看到傳說中的CV修飾詞就是const和volatile關鍵字。
volatile可以保證原子性嗎?
想必大家都知道答案,volatile只保證內存可見性,不能保證操作是原子的,拿i++舉例:
volatile int i = 0;i++; // i = i + 1
i++ 相當于i=i+1,而i=i+1其實可以分解為好幾步:
先讀取i的值到tmp
增加tmp的值
把tmp的值寫回到i的地址里
而volatile只能保證內存可見,可以理解為上述三步中的每一步都是原子的,但是三步合起來卻不一定是原子的,因為在多線程中三步中間可能插入一些其它操作改變了預期的行為,所以volatile不能用在多線程中,多線程中的原子操作還是需要使用atomic。單例模式的double check方法中instance變量為什么需要使用volatile修飾也是這個原理。
小總結
tips:volatile不能解決多線程安全問題,針對特種內存才需要使用volatile,它和atomic的特點如下:std::atomic用于多線程訪問的數據,且不用互斥量,用于并發編程中。
volatile用于讀寫操作不可以被優化掉的內存,用于特種內存中。
-
程序編譯
+關注
關注
0文章
9瀏覽量
5447 -
volatile
+關注
關注
0文章
44瀏覽量
12979
發布評論請先 登錄
相關推薦
評論