《C++覆辙录》——2.8：效果漂移的型别量化饰词

span style='letter-spacing:1px'>本节书摘来自异步社区出版社《C++覆辙录》一书中的第2章，第2.8节，作者： 【美】Stephen C. Dewhurst（史蒂芬 C. 杜赫斯特），更多章节内容可以访问云栖社区“异步社区”公众号查看。

2.8：效果漂移的型别量化饰词

内建数组不可能有常量性或挥发性，所以修饰它的型别量化饰词（const或volatile）的效果实际上会漂移，转而应用到其持有物的某个适当位置：

typedef int A[12];
extern const A ca; // 由12个常量整数型别元素构成的数组
typedef int *AP[12][12];
volatile AP vm; // 指涉到整数型别元素的挥发性指针构成的二维数组```
volatile int *vm2[12][12]; // 指涉到挥发性整数型别元素的指针构成的二维数组
以上的解释合情合理，因为所谓数组，其名字的意义也不过就是指涉到其元素的指针。它本身并不占用存储，从而也谈不上什么常量性或挥发性这些和存储状态相关的概念，所以量化饰词的效果实际是应用到数组的元素上去了。不过要保持警惕，编译器经常对付不了太过复杂的情况。举例来说，`vm`的型别常常被编译器错误地解释成和`vm2`的型别是一样的21。

对函数声明的处理方式比较含糊。过去，一般的C++语言实现也允许相同的量化饰词效果漂移：

typedef int FUN(char *);
typedef const FUN PF; // 原先的情况：PF指涉到一个返回const int的函数
　　　　　　　　　　　　// 现在：非法`
现在标准却说，应用于函数声明量化饰词只能用于声明一个“顶级”的　　typedef，并且这个typedef还只能用于声明一个非静态的成员函数22：

typedef int MF() const;
MF nonmemfunc; // 错误！   
class C{
　　MF memfunc; // 没问题
};```
最好还是避免这种用法，当下的编译器并不能很好地理解它，而且它还会给维护工程师带来诸多困惑。