28、volatile与函数：volatile修饰的变量在函数中的行为

说实话，volatile 这个关键字，在 C 语言里属于那种「平时用不上，一用就是大坑」的类型。我见过不少工程师，写嵌入式代码好几年了，对 volatile 的理解还停留在「防止编译器优化」这个层面。嗯，这话没错，但太笼统了。今天咱们就把它掰开揉碎了讲清楚，尤其是 volatile 变量在函数里到底怎么表现。

volatile 到底在防什么？

先问一个问题：编译器为什么要优化？说白了，是为了让程序跑得更快。比如你写了个循环：

int flag = 1;
while (flag) {
    // 等待外部事件改变 flag
}

编译器一看，flag 在循环里没被改过啊，那还每次读它干嘛？直接优化成 while(1) 得了。这下好了，外部中断改了 flag，程序根本感知不到——死循环了。

volatile 就是告诉编译器：「这个变量你别瞎优化，每次用都得老老实实从内存里读。」

函数参数中的 volatile

我个人习惯，在写底层驱动时，凡是跟硬件寄存器打交道的函数参数，都会加上 volatile。举个例子：

// 错误示范：没有 volatile
void wait_for_flag(int *flag) {
    while (*flag == 0) {
        // 等待
    }
}

// 正确做法
void wait_for_flag(volatile int *flag) {
    while (*flag == 0) {
        // 等待
    }
}

为什么？因为第一个版本里，编译器看到 *flag 在循环里没变，可能只读一次，然后一直用那个值。我在项目中遇到过这种 bug，排查了整整两天。当时是一个外部中断修改了某个状态寄存器，主循环里等这个寄存器变成 1，结果永远等不到。加了 volatile 就好了。

函数返回值中的 volatile

这个场景比较少见，但确实存在。比如你写一个读取硬件寄存器的函数：

volatile uint32_t *get_status_reg(void) {
    return (volatile uint32_t *)0x40001000;
}

返回 volatile 指针，意味着调用者拿到的地址，每次访问都要走内存。我曾经见过有人这么写：

uint32_t *reg = get_status_reg();  // 错误！丢失了 volatile
while (*reg & 0x01) {
    // 这里可能被优化
}

嗯，这里 volatile 被隐式去掉了，等于白干。正确的做法是：

volatile uint32_t *reg = get_status_reg();

函数内部的 volatile 局部变量

局部变量加 volatile，通常用在两种情况：

• 中断服务函数和主循环共享的变量
• 用 setjmp/longjmp 时跨函数跳转的变量

举个例子：

volatile int g_flag = 0;

void interrupt_handler(void) {
    g_flag = 1;  // 中断里修改
}

void main_loop(void) {
    while (!g_flag) {
        // 等待中断
    }
    // 处理事件
}

这里 g_flag 必须是 volatile。你想想看，如果没加 volatile，编译器可能把 g_flag 优化到寄存器里，中断改了内存里的值，主循环根本不知道。

volatile 与函数调用的交互

这里有个容易忽略的点：volatile 只保证每次访问都从内存读写，但不保证原子性。比如：

volatile int counter = 0;

void increment(void) {
    counter++;  // 这不是原子操作！
}

counter++ 在底层是三条指令：读、加、写。如果两个线程同时执行这个函数，可能发生数据竞争。volatile 解决不了这个问题，得用原子操作或互斥锁。

我曾经在项目里犯过这个错。一个多任务系统里，用 volatile 修饰了一个计数器，以为就安全了。结果跑着跑着计数就对不上了。后来加了原子操作才解决。

volatile 在函数指针中的使用

这个更冷门，但确实存在。比如你有一个函数指针，指向的地址可能会被硬件修改：

void (* volatile func_ptr)(void);  // 函数指针本身是 volatile 的

void set_callback(void (*cb)(void)) {
    func_ptr = cb;  // 这个赋值不会被优化掉
}

嗯，这里 volatile 修饰的是函数指针变量本身，而不是它指向的函数。意思是说，func_ptr 这个变量的值（即函数地址）可能会被外部改变，编译器不能把它优化到寄存器里。

一张图看懂 volatile 在函数中的行为

常见误区总结

误区	错误理解	正确理解
volatile 保证原子性	认为 volatile 变量读写是原子的	volatile 只保证不从寄存器读，不保证多线程安全
函数参数自动继承 volatile	认为传 volatile 变量给函数，函数内自然就是 volatile	函数参数必须显式声明为 volatile T *
volatile 影响性能	认为加了 volatile 程序就变慢	只在访问该变量时影响，其他代码不受影响
所有变量都该加 volatile	觉得加了更安全	滥用 volatile 会阻止合理优化，降低效率

总结一下

volatile 在函数中的行为，说白了就三件事：

• 参数传递：指针参数要加 volatile，否则编译器可能优化掉读取操作
• 返回值：返回 volatile 指针时，调用者必须用 volatile 类型接收
• 局部变量：中断共享的局部变量必须加 volatile，但别指望它解决并发问题

嗯，volatile 就是这么个东西。用对了是神器，用错了是坑。希望今天的分享能帮你少踩几个坑。

---

公众号:蓝海资料掘金营，微信deep3321