什么是 C 语言中的 volatile 关键字？

🍅关注博主🎗️ 带你畅游技术世界，不错过每一次成长机会！
📙C 语言百万年薪修炼课程 通俗易懂，深入浅出，匠心打磨，死磕细节，6年迭代，看过的人都说好。

C 语言中的 volatile 关键字

在 C 语言中，volatile 关键字用于告知编译器，被它修饰的变量的值可能会以不可预测的方式被改变。这意味着编译器在优化代码时不能对该变量进行过度的优化，必须每次都从内存中读取其值，而不是从寄存器或缓存中获取可能的缓存值。

一、volatile 的作用

（一）防止编译器优化

编译器在优化代码时，可能会假设变量的值在两次读取之间不会改变，从而将变量的值缓存在寄存器中以提高访问速度。但对于某些特殊情况，变量的值可能会在程序执行的过程中被外部因素改变，而编译器并不知道这种情况。这时，如果不使用 volatile 关键字，可能会导致程序出现错误的结果。

例如，如果一个变量被一个中断服务程序修改，而主程序也在读取这个变量，那么编译器就不能对这个变量进行优化，因为它的值可能会在任何时候发生变化。

（二）与硬件交互

在与硬件进行交互的编程中，例如访问硬件寄存器或内存映射的 I/O 区域，volatile 关键字非常重要。硬件可能会在任何时候修改这些地址中的值，而程序需要及时获取到最新的值。

（三）多线程编程

在多线程环境中，如果一个变量可能被多个线程同时访问和修改，并且没有适当的同步机制（如互斥锁），使用 volatile 可以确保每个线程都能看到其他线程对该变量的修改。

需要注意的是，volatile 并不能替代线程同步机制，它只是保证了变量的可见性，但不能保证原子性和顺序性。

二、volatile 的使用场景

（一）硬件寄存器访问

当访问硬件寄存器时，通常使用 volatile 关键字。因为硬件可能会随时更改寄存器的值，而软件需要及时获取到这些变化。

volatile unsigned int status_register;  // 定义一个硬件状态寄存器

void check_status()
{
   
    if ((status_register & 0x01) == 0x01) 
    {
   
        // 执行相应的操作
    }
}

在上述示例中，status_register 被定义为 volatile 类型，以确保每次读取都从硬件寄存器中获取最新的值。

（二）中断处理

在中断服务程序中修改的变量，如果在主程序中需要使用，也应该声明为 volatile 。

volatile int flag;  // 中断标志

void interrupt_service_routine()
{
   
    flag = 1;  // 在中断中设置标志
}

int main()
{
   
    while (flag == 0) 
    {