如今编译器愈发智能，C语言中volatile关键字是否仍有必要？

当然需要用volatile——编译器的智能优化是基于「变量仅被当前执行的代码修改」「程序是单线程运行」这些假设的。如果变量的值可能被当前代码之外的因素（比如中断服务程序、其他线程、硬件寄存器）修改，编译器的优化就会直接让程序逻辑出错。

你找到的全局变量循环等待的例子就是典型场景，下面再给几个实际开发中常见的反例：

1. 中断服务程序修改全局变量 #

int uart_rx_data = 0;
int rx_complete = 0;

// 串口接收中断服务程序（硬件触发，独立于main线程执行）
void USART_IRQHandler(void) {
    uart_rx_data = USART->DR;  // 从硬件寄存器读取接收到的数据
    rx_complete = 1;           // 标记接收完成
}

int main(void) {
    // 初始化串口...
    while (!rx_complete);  // 等待接收完成
    process_data(uart_rx_data);
    return 0;
}

如果不给rx_complete和uart_rx_data加volatile，编译器会认为这两个变量在main函数里没有被修改，直接把rx_complete的值缓存到寄存器里，while (!rx_complete)会被优化成死循环，永远等不到中断修改后的数值。

2. 访问硬件寄存器 #

很多外设的寄存器地址是固定的，这些寄存器的读写直接和硬件交互，值可能被硬件自动修改，或者写操作有特殊含义：

// 假设STM32的GPIOA输出寄存器地址是0x40020014
#define GPIOA_ODR (*(unsigned int*)0x40020014)

void blink_led(void) {
    while (1) {
        GPIOA_ODR |= (1 << 5);  // 点亮PA5引脚的LED
        delay_ms(500);
        GPIOA_ODR &= ~(1 << 5); // 熄灭LED
        delay_ms(500);
    }
}

如果GPIOA_ODR没有volatile修饰，编译器可能会把连续的读写操作优化合并，或者缓存寄存器的值，但硬件寄存器的每次读写都是和硬件的交互——比如写操作会直接控制引脚电平，必须强制编译器每次都直接访问内存，所以要改成：

#define GPIOA_ODR (*(volatile unsigned int*)0x40020014)

3. 多线程共享变量（无锁场景） #

在多线程程序中，一个线程修改变量，另一个线程等待这个变量的状态：

#include <pthread.h>

int worker_done = 0;

void* worker_thread(void* arg) {
    // 执行耗时任务
    do_heavy_work();
    worker_done = 1;
    return NULL;
}

int main(void) {
    pthread_t tid;
    pthread_create(&tid, NULL, worker_thread, NULL);
    
    while (!worker_done);  // 等待工作线程完成
    printf("任务完成！\n");
    pthread_join(tid, NULL);
    return 0;
}

同样，编译器会优化main函数里的循环，把worker_done缓存到寄存器，导致主线程永远看不到工作线程修改后的worker_done = 1，必须给worker_done加volatile才能让程序正常工作。

4. 读取异步更新的系统变量 #

比如实时系统中，定时器中断定期更新的系统 tick 计数：

int system_tick = 0;

// 定时器中断服务程序，每1ms触发一次
void TIMER_IRQHandler(void) {
    system_tick++;
}

// 获取当前系统tick数
int get_current_tick(void) {
    return system_tick;
}

如果system_tick没有volatile，编译器可能会把get_current_tick优化成直接返回寄存器里的缓存值，而不是每次从内存读取，导致返回的tick值永远不更新，完全失去计时意义。

总结 #

volatile的核心作用就是告诉编译器：这个变量的值可能被当前代码之外的因素修改，每次读写都必须直接操作内存，不能缓存到寄存器，也不能做任何优化。编译器再智能，也没法预判你的程序是否会和中断、硬件、其他线程交互，所以volatile在这些场景下是必不可少的。

内容的提问来源于stack exchange，提问作者Da Wang