C语言的volatile类型限定符

C语言的volatile类型限定符

volatile限定符的用法

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

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

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

读者可能认为volatile是一个可有可无的概念，为什么还要增加这个关键字？原因是它涉及编译器的优化。假设有以下的代码：

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

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

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

volatile const int loc;
const volatile int *ploc;

总结

因此，可以用一句话总结，volatile关键字的作用就是告诉编译器，这是一个易变的值，不要进行高速缓存这样的优化。

---

参考资料：

史蒂芬・普拉达. C Primer Plus (第6版) 中文版[M]. 人民邮电出版社, 2016.