volatile的作用: 作为指令关键字,确保本条指令不会因编译器的优化而省略,且要求每次直接读值.
eg:
#include<iostream>
using namespace std;
int main()
{
int i = 0;
cout<<i+5;
i++;
i++;
return 0;
}
在程序的末尾写了两句i++;但是又没有再次使用到 i 的值,那么一般来说编译器就会把这两句给自动省略掉。在这个程序中是不影响的,但是在硬件程序设计中,这类语句有时候是不能省略的,比如有些程序员会利用这类语句起到微妙级延时的效果,所以是不能省略的。又比如说:
XBYTE[2]=0x55;
XBYTE[2]=0x56;
XBYTE[2]=0x57;
XBYTE[2]=0x58;
对外部硬件而言,上述四条语句分别表示不同的操作,会产生四种不同的动作,但是编译器就不能像对待纯粹的程序那样对上述四条语句进行优化,只认为XBYTE[2]=0x58(即忽略前三条语句,只产生一条机器代码)。因此,我们应该在变量前加上 volatile,那么编译器会逐一的进行编译并产生相应的机器代码(四条).
一般定义为volatile的变量是那些值可能会意想不到的被改变的变量。因此,当一个变量被定义为volatile时,优化器在用到这个变量时必须每次都小心地重新读取这个变量的值,而不是使用保存在寄存器里的备份。下面是volatile变量的几个例子:
1). 并行设备的硬件寄存器(如:状态寄存器)
2). 一个中断服务子程序中会访问到的非自动变量(Non-automatic variables)
3). 多线程应用中被几个任务共享的变量
问题:
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可能是不同的。结果,这段代码可能返回的不是你所期望的平方值!正确的代码如下:
long square(volatile int *ptr)
{
int a;
a = *ptr;
return a * a;
}