volatile类型限定符

12.5.2 volatile类型限定符¹

volatile 限定符告知计算机，代理（而不是变量所在的程序）可以改变该变量的值。通常，它被用于硬件地址以及在其他程序或同时运行的线程中共享数据。例如，一个地址上可能存储着当前的时钟时间，无论程序做什么，地址上的值都随时间的变化而改变。或者一个地址用于接收另一台计算机传入的信息。
volatile 的语法和 const 一样：

volatile int loc1;		/* loc1 是一个易变的位置 */
volatile int *ploc;		/* ploc 是一个指向易变的位置的指针 */

以上代码把 loc1 声明为 volatile 变量，把 ploc 声明为指向 volatile 变量的指针。

读者可能认为 volatile 是个可有可无的概念，为何 ANSI 委员把 volatile 关键字放入标准？原因是它涉及编译器的优化。例如，假设有下面的代码：

val1 = x;
/* 一些不使用 x 的代码 */
val2 = x;

智能的（进行优化的）编译器会注意到以上代码使用了两次 x，但并未改变它的值。于是编译器把 x 的值临时存储在寄存器中，然后在 val2 需要使用 x 时，才从寄存器中（而不是从原始内存位置上）读取 x 的值，以节约时间。这个过程被称为高速缓存（caching）。通常，高速缓存是个不错的优化方案，但是如果一些其他代理在以上两条语句之间改变了 x 的值，就不能这样优化了。如果没有 volatile 关键字，编译器就不知道这种事情是否会发生。因此，为安全起见，编译器不会进行高速缓存。这是在 ANSI 之前的情况。现在，如果声明中没有 volatile 关键字，编译器会假定变量的值在使用过程中不变，然后再尝试优化代码。

可以同时使用 const 和 volatile 限定一个值。例如，通常用 const 把硬件时钟设置为程序不能更改的变量，但是可以通过代理改变，这时用 volatile。只能在声明中同时使用这两个限定符，它们的顺序不重要，如下所示：

volatile const int loc;
const volatile int * ploc;

上文节选自《C Primer Plus(第6版)中文版》，404页~405页，12.5.2节。

在嵌入式系统中，设备的寄存器映射在存储地址空间上，设备可能更改这些存储空间中的值，编写代码时应当将对应于这部分地址空间的变量添加 volatile 关键字，防止处理器对这部分地址空间的读写使用寄存器或cache缓存。

分享嵌入式系统中用于获取总线上外设数据的代码：

typedef uint32_t  u32;			// 32位系统中可以使用 unsigned int 代替 uint32_t
typedef uintptr_t UINTPTR;		// 32位系统中可以使用 unsigned int 代替 UINTPTR

// 读取
static inline u32 In32(UINTPTR Addr)
{
	return *(volatile u32 *) Addr;
}

// 写入
static inline void Out32(UINTPTR Addr, u32 Value)
{
	volatile u32 *LocalAddr = (volatile u32 *)Addr;
	*LocalAddr = Value;
}

---

1. Stephen Prata, 姜佑. C Primer Plus(第6版)中文版[M]. 人民邮电出版社, 2016. ↩︎