我的简单解释是:

在某些情况下，基于逻辑或代码，编译器会对它认为不会改变的变量进行优化。volatile关键字阻止变量被优化。

例如:

bool usb_interface_flag = 0;
while(usb_interface_flag == 0)
{
    // execute logic for the scenario where the USB isn't connected 
}

从上面的代码中，编译器可能认为usb_interface_flag被定义为0，并且在while循环中它将永远为0。优化后，编译器会一直将其视为while(true)，导致无限循环。

为了避免这种情况，我们将标志声明为volatile，我们告诉编译器这个值可能会被外部接口或程序的其他模块改变，也就是说，请不要优化它。这就是volatile的用例。

它不允许编译器自动改变变量的值。易失性变量用于动态使用。

参见Andrei Alexandrescu的文章，“volatile——多线程程序员最好的朋友”

The volatile keyword was devised to prevent compiler optimizations that might render code incorrect in the presence of certain asynchronous events. For example, if you declare a primitive variable as volatile, the compiler is not permitted to cache it in a register -- a common optimization that would be disastrous if that variable were shared among multiple threads. So the general rule is, if you have variables of primitive type that must be shared among multiple threads, declare those variables volatile. But you can actually do a lot more with this keyword: you can use it to catch code that is not thread safe, and you can do so at compile time. This article shows how it is done; the solution involves a simple smart pointer that also makes it easy to serialize critical sections of code.

本文适用于C和c++。

参见Scott Meyers和Andrei Alexandrescu的文章“c++和双重检查锁定的危险”:

So when dealing with some memory locations (e.g. memory mapped ports or memory referenced by ISRs [ Interrupt Service Routines ] ), some optimizations must be suspended. volatile exists for specifying special treatment for such locations, specifically: (1) the content of a volatile variable is "unstable" (can change by means unknown to the compiler), (2) all writes to volatile data are "observable" so they must be executed religiously, and (3) all operations on volatile data are executed in the sequence in which they appear in the source code. The first two rules ensure proper reading and writing. The last one allows implementation of I/O protocols that mix input and output. This is informally what C and C++'s volatile guarantees.

简单来说，它告诉编译器不要对特定变量做任何优化。映射到设备寄存器的变量由设备间接修改。在这种情况下，必须使用volatile。

我的简单解释是:

在某些情况下，基于逻辑或代码，编译器会对它认为不会改变的变量进行优化。volatile关键字阻止变量被优化。

例如:

bool usb_interface_flag = 0;
while(usb_interface_flag == 0)
{
    // execute logic for the scenario where the USB isn't connected 
}

从上面的代码中，编译器可能认为usb_interface_flag被定义为0，并且在while循环中它将永远为0。优化后，编译器会一直将其视为while(true)，导致无限循环。

为了避免这种情况，我们将标志声明为volatile，我们告诉编译器这个值可能会被外部接口或程序的其他模块改变，也就是说，请不要优化它。这就是volatile的用例。

Volatile也很有用，当你想强制编译器不优化特定的代码序列时(例如编写一个微基准测试)。