摘要：
volatile关键字告知编译器变量可能被外部修改（如中断、多任务场景），禁止优化（如缓存到寄存器），确保每次访问都从内存读取。嵌入式开发中必须使用volatile的三大场景：1）硬件寄存器映射（值由硬件自动更新）；2）中断服务程序修改的全局变量（主程序与ISR异步访问）；3）多任务共享变量（保证修改对其他任务可见）。此外，外设结构体成员通常整体声明为volatile。核心原则：若变量可能被外部修改，必须加volatile。

目录

一、volatile概念

二. 嵌入式中的三大典型场景

A. 状态寄存器映射（Hardware Registers）

B. 中断服务程序中修改的全局变量

C. 多线程/多任务环境下的共享变量

D. 结构体映射中的应用

---

一、volatile概念

核心作用是告知编译器：这个变量的值可能在程序流程之外被改变。（如在中断，Rtos中多任务的场景）

因此，编译器在优化代码时，不能对该变量进行“偷懒”处理（比如缓存到寄存器里），而必须每次都从内存地址中实打实地重新读取。

例子：

int flag = 1;
while (flag) {
    // 如果循环体内没有修改 flag，编译器可能认为 flag 永远为 1
    // 从而将其优化为 while(1)，不再去内存看 flag 的状态
}

此时在中断，或者FreeRTOS的其他任务中，将flag改为0，以上代码的死循环仍然继续，而不是跳出循环。

volatile int flag = 1; 
while (flag) {
    // 编译器每次循环都会重新从 flag 的内存地址读取值
    // 哪怕循环体内没改它，它也知道外部（如中断）可能会改
}

二. 嵌入式中的三大典型场景

在嵌入式编程中，通常在以下三种情况必须使用 volatile：

A. 状态寄存器映射（Hardware Registers）

外设寄存器的值随时会改变。例如，一个串口的状态寄存器 UART_SR，当硬件收到数据时，某个位会自动变 1。

volatile uint32_t *pStatus = (uint32_t *)0x40001000;
while ((*pStatus & 0x01) == 0); // 等待接收完成标志

如果不加 volatile，编译器可能只读一次地址，然后就在寄存器里死循环检查旧值。

B. 中断服务程序中修改的全局变量

主程序和中断（ISR）是异步执行的。

• 主程序：正在读取 shared_data。

• 中断：突然触发，修改了 shared_data。 如果不加 volatile，主程序可能会继续使用之前缓存好的旧值。

C. 多线程/多任务环境下的共享变量

在 RTOS 中，两个不同的任务（Task）共享一个全局变量时，为了保证可见性，该变量应当声明为 volatile。

可见性（Visibility）是指：当一个线程（或硬件/中断）修改了某个变量的值，其他线程（或主程序）能够立即看到这个修改后的最新值。

D. 结构体映射中的应用

在定义外设结构体时，习惯上会对整个成员列表加 volatile，以防止编译器重排或优化读写顺序。

typedef struct {
    volatile uint32_t SR;  // 状态寄存器
    volatile uint32_t DR;  // 数据寄存器
} UART_TypeDef;

三、总结

只要这个变量的值不是由当前这段代码自己改的，那就加 volatile。