嵌入式 C 語言核心關鍵字：volatile 與 const 深度解析

一、volatile：告訴編譯器「別優化我」

volatile 告訴編譯器：該變量可能在程序不可控處被修改（硬件、中斷、其他線程），每次讀寫必須訪問內存，不能用寄存器緩存。

必須用 volatile 的四類場景

1. 硬件寄存器：狀態寄存器、數據寄存器，讀取即清零或自動更新
2. 中斷服務程序 (ISR) 訪問的全局/靜態變量：主循環與 ISR 共享標誌位
3. 多線程共享變量：無鎖編程時的標誌位（注意：volatile 不保證原子性，需配合原子操作/內存屏障）
4. 延遲循環計數器：防止編譯器優化掉空循環

二、const：語義為「只讀」，非「常量」

• 防止代碼意外修改，編譯期檢查
• 函數參數 const int *p 傳遞「只讀意圖」
• 幫助編譯器優化（如只讀數據段）

三、經典組合：const volatile

只讀硬件寄存器：程序不應修改（const），但硬件會自動更新（volatile）。

const volatile uint32_t *STATUS_REG = (uint32_t *)0x40000000;
// 讀取：uint32_t val = *STATUS_REG;  // 每次必讀內存
// 寫入：編譯報錯，符合語義

四、volatile 指針 vs 指向 volatile 的指針

volatile int *p1;      // 指向 volatile int 的指針：*p1 讀寫不優化
int *volatile p2;      // volatile 指針：p2 本身不優化（地址可能變）
volatile int *volatile p3; // 兩者皆 volatile

嵌入式常見：中斷修改指向緩衝區的指針 → int *volatile buf_ptr。

五、面試經典題：volatile 指針參數的陷阱

// 錯誤版本：編譯器可能優化為讀取兩次 *ptr，若 ptr 指向硬件寄存器，兩次值不同
int square(volatile int *ptr) {
    return *ptr * *ptr;
}

// 正確版本：先存入局部變量
int square(volatile int *ptr) {
    int val = *ptr;
    return val * val;
}

原理：volatile 只保證單次訪問不優化，不保證表達式內多次訪問一致性。

六、總結對比表

七、工程建議

• 嵌入式項目建立 reg_def.h 統一定義寄存器映射，統一加 volatile
• 多線程共享數據優先用 C11 _Atomic / C++ std::atomic，volatile 僅作標誌位
• 代碼審查清單：所有硬件地址訪問是否 volatile？ISR 變量是否 volatile？延遲循環計數器是否 volatile？

總結

volatile 是嵌入式 C 與應用層 C 的分水嶺。徹底理解「編譯器優化 vs 硬件現實」的衝突，正確使用 volatile/const/const volatile，是寫出可靠固件的關鍵。