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; // 没问题
};```
最好还是避免这种用法,当下的编译器并不能很好地理解它,而且它还会给维护工程师带来诸多困惑。