C语言提供了4个类型限定符:const
、volatile
、restrict
和_Atomic
。
const
以该限定符声明的变量值不能通过赋值、递增或减进行修改
const int x;
x = 12;
以上代码是不允许的。但变量可以初始化
const int x = 22;
使之成为只读变量。
声明指针的情况要复杂一些,要区分限定指针本身为const
,还是限定指针指向的值为const
。
const int * p;
int const * p;
上述代码2种写法含义相同,指针p
指向的值是const
,也即指向的值不能被修改,但是p
自身可以改变,可以让p
指向其它的值。
int * const q;
上述代码指针q
是一个const
指针,指针q
本身不能修改,必须指向同一个地址,但是其所指向的值可以改变。
也可使用两次const
将上面2种规定合并
const int * const pq;
上述代码指针pq
不能指向别处,其所指向的值也不能改变。
综上,const
在*
的左侧,指针指向的值不能改变;而const
在右侧,指针本身不能改变。
const
类型限定符还可用在声明函数形参指针时
void show(const int * p);
这种方式可保证p
指向的值不会在函数中被篡改。
volatile
该限定符常被用于硬件地址和在其他程序或同时运行的线程中共享数据。该限定符的使用与编译器的优化有关。
volatile
可与const
同时使用,声明时的先后顺序不重要
volatile const int x;
const volatile int y;
restrict
该类型限定符是C99标准新增,它只能用于指针,表明这个指针是访问数据对象的唯一且初始的方式。编译器可对代码某些部分进行优化。
int * restrict p;
该限定符也可用于函数形参中的指针,函数体内的其它标识符不会修改这个指针指向的数据。
_Atomic
该限定符是C11标准新增,当一个原子类型变量执行原子操作时,其它线程不能访问该变量。可用头文件stdatomic.h
和Threads.h
进行管理。