类型限定符可修改类型名称和派生类型。派生类型是 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; |