6.6.2 派生类型中的类型限定符

类型限定符可修改类型名称和派生类型。派生类型是 C 声明的那些可反复应用而生成越来越复杂的类型的部分：指针、数组、函数、结构和联合。除函数之外，可使用一个或两个类型限定符更改派生类型的行为。

例如，

const int five = 5;

声明并初始化类型为 const int 并且其值未被相应的程序更改的对象。关键字的顺序对于 C 并不重要。例如，声明：

int const five = 5;

和

const five = 5;

与以上声明在效果上相同。

声明

const int *pci = &five;

声明一个类型为指向 const int 的指针的对象，该对象最初指向以前声明的对象。指针本身没有限定类型－它指向限定类型，在程序执行过程中几乎可以更改为指向任何 int。除非使用强制类型转换，否则不能使用 pci 修改它所指向的对象，如下所示：

*(int *)pci = 17;

如果 pci 实际上指向 const 对象，则此代码的行为不确定。

声明

extern int *const cpi;

表明程序中某个位置存在类型为指向 int 的 const 指针的全局对象的定义。在此情况下，cpi 的值将不会被相应的程序更改，但是可用来修改它指向的对象。请注意，在以上声明中，const 位于 * 之后。以下一对声明产生的效果相同：

typedef int *INT_PTR;
extern const INT_PTR cpi;

这些声明可以合并为以下声明，其中对象的类型声明为指向 const int 的 const 指针：

const int *const cpci;