C语言之volatile关键字

1.volatile关键字的介绍 

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

2.volatile关键字的用法

    当要求使用volatile关键字声明的变量的时候，编译器总是重新从它所在的内存读取数据，即使它前面的指令刚刚从该处读取过数据。而且读取的数据立刻被保存。

volatile int i = 10;
int a = 0;
int b = 0;

a = i;

//其它代码并未明确告诉编译器，对i进行过操作

b = i;

     volatile关键字指出i是随时可能发生变化的，每次使用它的时候必须从i的地址中读取，因此编译器会重新从i的地址读取数据放在b中。而优化的做法是，由于编译器发现两次从i读数据的代码之间的代码没有对i进行过操作，它会自动把上次读的数据放在b中。而不是重新从i里面读，这样以来，如果i是一个寄存器变量或者表示一个端口数据就容易出错，所以说volatile关键字可以保证对特殊地址的稳定访问。

     一个被volatile关键字声明的变量可能会被意想不到的改变，编译器在用到这个变量时必须每次都小心地重新读取这个变量的值，而不是使用保存在寄存器里的备份。下面是使用到volatile关键字的情况：

     1）并行设备的硬件寄存器（如：状态寄存器）

     2）一个中断服务子程序中会访问到的非自动变量

     3）多线程应用中被多个任务共享的变量。

3.volatile关键字的举例说明

1）一个参数即可以是const还可以是volatile吗？

可以。当它是一个只读的状态寄存器。被volatile关键字声明表示它可能被意想不到地改变。被const关键字声明表示程序不应该去修改它。也就是说，const关键字指出我们的程序代码中是不可以改变这个变量，但是volatile关键字指出由于硬件的原因，更改了这个值，但是我们的代码同时会更新使用这个最新的数值。

2）一个指针变量可以声明为volatile吗？

可以。当一个中断服务子程序修改一个指向一个buffer的指针时。（把指针声明为volatile类型，可以保证指针所指向的地址随时发生变化）

3）下面所示的代码是否正确？

int square(volatile int *ptr)
{
    return (*ptr * *ptr);
}

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

int square(volatile int *ptr)
{
    int a = 0;
    int b = 0;

    a = *ptr;
    b = *ptr;
   
    return (a * b);
}

由于*ptr的值可能被意想不到的改变，因此a和b可能是不同的。结果，这段代码可能返回的不是你期望的平方值。正确代码如下：

int square(volatile int *ptr)
{
    int a = 0;
    
    a = *ptr;

    return (a * a);
}