原文連結：https://blog.csdn.net/wwang196988/article/details/6623387

1. 為什麼用volatile?

C/C++ 中的 volatile 關鍵字和 const 對應，用來修飾變數，通常用於建立語言級別的 memory barrier。這是 BS 在 “The C++ Programming Language” 對 volatile 修飾詞的說明：

A volatile specifier is a hint to a compiler that an object may change its value in ways not specified by the language so that aggressive optimizations must be avoided.

volatile 關鍵字是一種型別修飾符，用它宣告的型別變量表示可以被某些編譯器未知的因素更改，比如：作業系統、硬體或者其它執行緒等。遇到這個關鍵字宣告的變數，編譯器對訪問該變數的程式碼就不再進行優化，從而可以提供對特殊地址的穩定訪問。宣告時語法：int volatile vInt; 當要求使用 volatile 宣告的變數的值的時候，系統總是重新從它所在的記憶體讀取資料，即使它前面的指令剛剛從該處讀取過資料。而且讀取的資料立刻被儲存。例如：

//...
volatile int i = 10;
int a = i;
//...
// 其他程式碼，並未明確告訴編譯器，對 i 進行過操作
int b = i;
 

volatile 指出 i 是隨時可能發生變化的，每次使用它的時候必須從 i 的地址中讀取，因而編譯器生成的彙編程式碼會重新從i的地址讀取資料放在 b 中。而優化做法是，由於編譯器發現兩次從 i讀資料的程式碼之間的程式碼沒有對 i 進行過操作，它會自動把上次讀的資料放在 b 中。而不是重新從 i 裡面讀。這樣以來，如果 i是一個暫存器變數或者表示一個埠資料就容易出錯，所以說 volatile 可以保證對特殊地址的穩定訪問。

下面編寫程式並通過插入彙編程式碼，測試有無volatile關鍵字，對程式最終程式碼的影響。

輸入下面的程式碼：

#include <stdio.h>

void main()
{
    int i = 10;

    int a = i;

    printf("i = %d\n", a);

    // 下面彙編語句的作用就是改變記憶體中 i 的值
    // 但是又不讓編譯器知道
    __asm
    {
        MOV DWORD PTR[EBP - 4], 20H
    }

    int b = i;
    printf("i = %d\n", b);
}
 

發現上面的程式在Debug，Release模式下的輸出都是：

這個程式在Debug，Release模式下的輸出一致，說明預設情況下VC++ 10.0在兩種模式下都做了程式碼優化，都造成了編譯無法識別變數的改變。

再輸入下面的程式碼：

#include <stdio.h>

void main()
{
    volatile int i = 10;

    int a = i;

    printf("i = %d\n", a);

    // 下面彙編語句的作用就是改變記憶體中 i 的值
    // 但是又不讓編譯器知道
    __asm
    {
        MOV DWORD PTR[EBP - 4], 20H
    }

    int b = i;
    printf("i = %d\n", b);
}

發現上面的程式在Debug模式下的輸出也是：

但是在Release模式下的輸出是：

上面這個程式在不同模式下的輸出說明這個 volatile 關鍵字只在 Release 模式下才發揮了它的作用，在 Debug 模式下並沒有達到想要的結果。這也說明，在使用 volatile 修飾符修飾變數時，需要注意程式在 Debug 模式和 Release 模式下的不同行為。

其實不只是“內嵌彙編操縱棧”這種方式屬於編譯無法識別的變數改變，另外更多的可能是多執行緒併發訪問共享變數時，一個執行緒改變了變數的值，怎樣讓改變後的值對其它執行緒 visible。一般說來，volatile 用在如下的幾個地方：
1) 中斷服務程式中修改的供其它程式檢測的變數需要加 volatile；
2) 多工環境下各任務間共享的標誌應該加 volatile；
3) 儲存器對映的硬體暫存器通常也要加 volatile 說明，因為每次對它的讀寫都可能由不同意義。

自己的註解：自己在之前的 MCU 程式的編寫，以及在多執行緒程式的編寫中，從來沒有用到 volatile 修飾符修飾變數。比如在微控制器的 C51 程式設計中似乎身邊的人都沒有用過該修飾符，查閱《微控制器的 C 語言應用程式設計》一書也沒有講解關於 volatile 的內容，這不禁讓我懷疑是不是 Keil C51 編譯器對這一塊的預設支援，即 Keil C51 編譯器就不會有上面的優化過程，這一點，自己還需要進一步考證。

2.volatile 指標

和 const 修飾詞類似，const 有常量指標和指標常量的說法，volatile 也有相應的概念：

• 修飾由指標指向的物件、資料是 const 或 volatile 的：

const char* cpch;
volatile char* vpch;

注意：對於 VC，這個特性實現在 VC 8 之後才是安全的。

指標自身的值——一個代表地址的整數變數，是 const 或 volatile 的：

char* const pchc;
char* volatile pchv;

注意：

(1) 可以把一個非 volatile int 賦給 volatile int，但是不能把非 volatile 物件賦給一個 volatile 物件。

(2) 除了基本型別外，對使用者定義型別也可以用 volatile 型別進行修飾。

(3) C++ 中一個有 volatile 識別符號的類只能訪問它介面的子集，一個由類的實現者控制的子集。使用者只能用 const_cast 來獲得對型別介面的完全訪問。此外，  volatile 向 const 一樣會從類傳遞到它的成員。

3. 多執行緒下的 volatile

有些變數是用 volatile 關鍵字宣告的。當兩個執行緒都要用到某一個變數且該變數的值會被改變時，應該用 volatile 宣告，該關鍵字的作用是防止優化編譯器把變數從記憶體裝入  CPU 暫存器中。如果變數被裝入暫存器，那麼兩個執行緒有可能一個使用記憶體中的變數，一個使用暫存器中的變數，這會造成程式的錯誤執行。volatile 的意思是讓編譯器每次操作該變數時一定要從記憶體中真正取出，而不是使用已經存在暫存器中的值，如下：

volatile BOOL bStop = FALSE; 

(1) 在一個執行緒中：;   

while( !bStop ) { ... } 
bStop = FALSE; 
return; 

(2) 在另外一個執行緒中，要終止上面的執行緒迴圈：

bStop = TRUE; 
while( bStop ); //等待上面的執行緒終止

如果 bStop 不使用 volatile 申明，那麼這個迴圈將是一個死迴圈，因為 bStop 已經讀取到了暫存器中，暫存器中 bStop 的值永遠不會變成 FALSE，加上 volatile，程式在執行時，每次均從記憶體中讀出 bStop 的值，就不會死迴圈了。
這個關鍵字是用來設定某個物件的儲存位置在記憶體中，而不是暫存器中。因為一般的物件編譯器可能會將其的拷貝放在暫存器中用以加快指令的執行速度，例如下段程式碼中：  

...  

int nMyCounter = 0;  

for(; nMyCounter<100;nMyCounter++)  

{  

...  

}  

... 

在此段程式碼中，nMyCounter 的拷貝可能存放到某個暫存器中（迴圈中，對 nMyCounter 的測試及操作總是對此暫存器中的值進行），但是另外又有段程式碼執行了這樣的操作：nMyCounter -= 1;這個操作中，對 nMyCounter 的改變是對記憶體中的 nMyCounter 進行操作，於是出現了這樣一個現象：nMyCounter 的改變不同步。