《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; // 没问题 };``` 最好还是避免这种用法，当下的编译器并不能很好地理解它，而且它还会给维护工程师带来诸多困惑。 相关资源：七夕情人节表白HTML源码(两款)