volatile关键字

volatile是C语言中的一个修饰符关键字。一个定义为volatile的变量是说这变量可能会被意想不到地改变，这样， 编译器就不会去假设这个变量的值了。当读取一个变量时，为提高存取速度，编译器优化时有时会先把变量读取到一个寄存器中； 以后，再取变量值时，就直接从寄存器中取值。 精确地说就是，优化器在用到这个变量时必须每次都小心地重新读取这个变量的值， 而不是使用保存在寄存器里的备份或者被优化。
volatile应该解释为“直接存取原始内存地址”比较合适。 在嵌入式嵌入式开发中同硬件、中断、RTOS等打交道时都需要使用volatile变量。

volatile关键字是一种类型修饰符，用它声明的类型变量表示可以被某些编译器未知的因素更改，比如：操作系统、硬件或者其它线程等。遇到这个关键字声明的变量，编译器对访问该变量的代码就不再进行优化，从而可以提供对特殊地址的稳定访问。一句话：volatile可以防止编译器的某些优化。

比如下面的代码：

#include

int main(void)

{

int x = 100;

int a = x;

printf("x=%d",a);

//汇编语句改变内存中x的值，但编译器并不知道

__asm

{

mov dword ptr[ebp-4],10h

}

int b = x;

printf("x=%d",b);

return 0;

}

上面代码，在debug版本（无优化）输出为：

x=100

x=16

在release版本（有优化）输出为：

x=100

x=100

这表明release模式下，编译器对代码进行了优化，一次读取了x的值，第二次没有更新x的取值，造成了错误的输出。假如对x使用了volatile关键字，那么输出结果又如何呢？

int main(void)

{

volatile int x = 100;

int a = x;

printf("x=%d",a);

//汇编语句改变内存中x的值，但编译器并不知道

__asm

{

mov dword ptr[ebp-4],10h

}

int b = x;

printf("x=%d",b);

return 0;

}

结果在debug和release版本下，都输出为：

x=100

x=16

这说明volatile让编译器“直接存取了x原始内存地址”。

另外一个通过volatile防止被编译器优化的例子：

for(int i=0; i<100000; i++)

; 面对这样的空循环，编译器肯定要把它优化掉，根本就不执行。但如果加上volatile：

for(volatile int i=0; i<100000; i++)

; 那么，编译器就不会对它进行优化，循环将会执行了。

一般说来，volatile用在如下的几个地方：

1、中断服务程序中修改的供其它程序检测的变量需要加volatile；

2、多任务环境下各任务间共享的标志应该加volatile；

3、存储器映射的硬件寄存器通常也要加volatile说明，因为每次对它的读写都可能有不同意义；

面试例题：

1）. 一个参数既可以是const还可以是volatile吗？解释为什么。

可以。一个例子是只读的状态寄存器。它是volatile因为它可能被意想不到地改变。它是const因为程序不应该试图去修改它。

2）. 一个指针可以是volatile 吗？解释为什么。

可以。一个例子是当一个中断服务子程序修改一个指向一个buffer的指针时。

3）. 下面的函数被用来计算某个整数的平方，它能实现预期设计目标吗？如果不能，试回答存在什么问题

int square(volatile int *ptr)

{

return ((*ptr) * (*ptr));

}

这段代码的目的是用来返指针*ptr指向值的平方，但是，由于*ptr指向一个volatile型参数，编译器将产生类似下面的代码：

int square(volatile int* &ptr)//这里参数应该申明为引用，不然函数体里只会使用副本，外部没法更改

{

int a,b;

a = *ptr;

b = *ptr;

return a*b;

}

由于*ptr的值可能在两次取值语句之间发生改变，因此a和b可能是不同的。结果，这段代码可能返回的不是你所期望的平方值！正确的代码如下：

int square(volatile int*ptr)

{

int a;

a = *ptr;

return a*a;

}