cv-qualifier 有三种:const and volatile, mutable。
const/volatile 称为 type qualifiers。
它们能与任何 T 组合成三种不同的类型:
注意 const/volatile 是直接修饰 type 的。
int volatile a, b;
表示 a,b 的类型都是 volatile int。而且 int a, volatile b;
是非法的。这和指针申明 *
,引用申明 &
,数组申明 []
等是完全不同的。
int a, *b, c[10], &d = a;
是合法的。const 和 volatile 可以同时修饰一个 type,表示一个"每当要读此变量时,都从原始内存地址读取",防止被编译器优化掉。
mutable 用于修饰 (1)non-static (2)class members of (3)non-reference (4)non-const (5)type。注意这一句话里有 5 个条件。
class X {
mutable const int* p;
OK. 看作 (mutable int) (const*) p;
即 p 并不是一个 const member
mutable int* const q;
ill-formed. 看作 (int*) (mutable const) q;
即 q 是一个 const member
};