C 語言 volatile 關鍵字深度解析與實測

核心語義

volatile 告訴編譯器：該變數可能被「編譯器未知的因素」（硬體暫存器、中斷服務程式、其他執行緒、訊號處理器）隨時修改。因此禁止優化，每次存取必須從記憶體實際讀寫，不能使用暫存器快取值。

組合語言層面的差異

• 無 volatile：編譯器將值載入暫存器，後續直接使用暫存器值。
• 有 volatile：每次存取皆產生記憶體讀/寫指令。

經典測試案例（內嵌組合語言修改記憶體）

// 無 volatile：Release 模式下第二次列印仍為 10（優化掉第二次讀取）
int i = 10;
int a = i;
__asm { mov dword ptr [ebp-4], 20h } // 直接改記憶體，編譯器不知情
int b = i; // 優化後直接用暫存器舊值
printf("%d %d", a, b); // Debug: 10 32  Release: 10 10

// 加上 volatile：Debug/Release 均輸出 10 32
volatile int i = 10;
int a = i;
__asm { mov dword ptr [ebp-4], 20h }
int b = i; // 強制重新從記憶體讀取
printf("%d %d", a, b); // 10 32

適用場景

1. 硬體暫存器映射位址（如 GPIO、UART 控制暫存器）
2. 中斷服務程式與主程式共享變數
3. 多執行緒共享旗標（注意：volatile 不保證 原子性或記憶體順序，需配合 std::atomic 或鎖）
4. setjmp/longjmp 或訊號處理器修改的變數

常見誤區

• 以為 volatile 能解決多執行緒同步問題 → 錯誤，需用原子操作或互斥鎖。
• 以為 volatile 變數不會被快取 → 只是強制記憶體存取，CPU 快取一致性協定（MESI）仍生效。
• Debug 模式未開啟優化，觀察不到效果 → 必須在 Release/優化模式下驗證。