一个自动变量怎么可能是易变的？

Question

我知道在文件范围内定义的 volatile 变量。不允许编译器对这些变量做出假设。它们几乎可以随时更改，并且编译不能优化对变量的读取。

现在我找到了这段代码

BOOL InstallHandler()
{
    volatile BOOL b_bulk_erase = FALSE;
    volatile BOOL b_test_read_write = FALSE;
    volatile BOOL b_continue = TRUE;
    ...
    if (b_test_read_write)
    {
        read();
        write();
    }
}

volatile 如何对应堆栈中的变量，即由一个线程拥有？

编辑：

由一个线程拥有，我想表示该变量未公开。该地址没有提供给其他任何东西。它不被任何其他线程使用。

Answer 1

好的，我意识到了 volatile 的意图。

该函数是与硬件设备通信的设备驱动程序的一部分。正常操作期间不使用函数read 和write。

但是当开发人员在调试器中运行程序时，她可以在if 子句处设置断点并使用调试器更改变量。这将允许操纵执行并调用read 和write。

volatile 禁止优化，因为if 子句测试 const 表达式。如果没有volatile，整个if 可能不会出现在代码中。

Answer 2

仅仅是因为，虽然变量本身位于单个线程中，但没有什么能阻止您将其地址提供给其他线程。因此发生了不可预见的修改。