volatile限定符

备注:volatile的确切含义与机器有关,只能通过阅读编译器文档来理解。要想让使用了volatile的程序在移植到新机器或新编译器后仍然有效,通常需要对该程序进行某些改变。

  直接处理硬件的程序常常包含这样的数据元素,它们的值由程序直接控制之外的过程控制。例如,程序可能包含一个由系统时钟定时更新的变量。当对象的值可能在程序的控制或检测之外被改变时,应该将对象声明为volatile。关键字volatile告诉编译器不应该对这样的对象进行优化。

  volatile限定符的用法和const很相似,它起到对类型额外修饰的作用:

volatile int display_register;//该int值可能发生变化
volatile Task *curr_task;//curr_task指向一个volatile对象
volatile int iax[max_size];//iax的每个元素都是volatile
volatile Screen bitmapBuf;//bitmapBuf的每个成员都是volatile

  const和volatile限定符互相没有什么影响,某种类型可能既是const的也是volatile的,此时它同时具有两者的属性。

  就像一个类可以定义const成员函数一样,它可以将成员函数定义成volatile的,只有volatile的成员函数才能被volatile的对象调用。

  const限定符和指针的相互作用,在volatile限定符和指针之间也存在类似的关系。我们可以声明volatile指针,指向volatile对象的指针以及指向volatile对象的volatile指针:

volatile int v;//v是一个volatile int
int *volatile vip;//vip是一个volatile指针,它指向int
volatile int *ivp;//ivp是一个指针,它指向一个volatile int
//vivp是一个volatile 指针,它指向一个volatile int
volatile int *volatile vivp;

int *ip=&v;//错误,必须使用 指向volatile的指针
ivp=&v;//正确,ivp是一个指向volatile的指针
vivp=&v;//正确,vivp是一个指向volatile的volatile指针

  和cosnt一样,我们只能将一个volatile对象的地址(或者拷贝一个指向volatile类型的指针)赋给一个指向volatile的指针。同时,只有当某个引用是volatile的时,我们才能使用一个volatile对象初始化该引用。

合成的拷贝对volatile对象无效

  cosnt和volatile的一个重要区别是我们不能使用合成的拷贝/移动构造函数及赋值运算符初始化volatile对象或从volatile对象赋值。合成的成员接受的形参类型是(非volatile)常量引用,显然我们不能把一个非volatile引用绑定到一个volatile对象上。

  如果一个类希望拷贝、移动或者赋值它的volatile对象,则该类必须自定义拷贝或移动操作。例如,我们可以将形参类型指定为const volatile引用,这样我们就能利用任意类型的Foo进行拷贝或赋值操作了:

class Foo
{
public:
	Foo(const volatile Foo&);//从一个volatile对象进行拷贝
	//将一个volatile对象赋值给一个非volatile对象
	Foo& operator=(volatile const Foo&);
	//将一个volatile对象赋值给一个volatile对象
	Foo& operator=(volatile const Foo&)volatile;
	//Foo类剩余的部分
};

  尽管我们可以为volatile对象定义拷贝和赋值操作,但是一个更深层次的问题是拷贝volatile对象是否有意义?不同程序使用volatile的目的各不相同。

摘抄自《C++ primer》(第五版)P757

猜你喜欢

转载自www.cnblogs.com/wuyepeng/p/9784922.html