C90增加了两个属性:不变性和易变性.
通过关键字const 和 volatile 声明的, 这样就创建了受限类型(qualified type).
C99 增加了第三个限定词restrict, 用以方便编译器优化。
类型限定词 const
如果变量声明中带有关键字const,则不能通过赋值、增量或减量来修改该变量的值。
const int nochange; /* constant */ nochange = 12 /* false */
可以初始化一个const 变量, 初始化之后,不可以再改变它。
const int nochange = 12 // true const int days1[3] = {31,30,31}; // true
在指针和参量声明中使用const
特别注意区分: 指针本身是const 与 指针指向的值是const
const 紧挨着的是什么,什么就是不变的
const int days1[3] = {31,30,31}; // true 相当于 const int *days1 ; const在 * 左边, 使得数据成为常量
const float *pf ; // const 紧挨着 float ,说明 float常量是不变的
float *const pt ; // const紧挨着 指针pt,说明是一个常量指针
float const *pt; // const紧挨着 *pt, 相当于解引用,是float 常量,不是指针,注意区分
后面有更好的理解方法!!!
1. 指针指向的值是const
const float *pf ; // pf 指向一个常量
特别注意: const放置在不同的位置,有不同的含义,注意区分!!!
float const *pfc; // 等同于 const float *pfc
把const放在 类型名 的后边和 * 的前边,意味着指针不能够用来改变它所指向的值。
总之:下面理解起来比较容易
一个位于 *左边 任意位置的 const 使得 数据成为常量
而 一个位于 * 右边 的const使得 指针自身成为常量 。
但是pf本身的值是可以改变的(本身是个地址),它可以指向另一个const值。
eg:
const float *pf_new;
pf = pf_new;
2. 指针本身是const (指针本身的值不可变)
eg:
float * const pt; // pt 是一个常量指针
等同于下面的写法
float const *pt // pt 是一个常量指针
必须总是指向同一个地址,但所指向的值可以改变。
3. 地址是常量,地址指向的内容也是常量
const float * const ptr;
意味着ptr必须总是指向同一个位置(地址),并且它所指位置存储的值也不能改变。
4. 常见用法
常见用法是声明作为函数形式参量的指针。
eg:
一个名为display()的函数显示一个数组的内容。 为了使用它,可以把数组名作为参数传送,但数组名是一个地址,
这样做将允许函数改变调用函数中的数据。下面的原型防止了这样的情况发生。
void display(const int array[], int limit);
在函数原型和函数头部,参量声明 const int array[] 与 const int *array, 该声明表明array指向的数据是不可变的。
5. 对全局数据使用const
6. const 指针变量间的赋值关系
const指针 必须 赋值给 const 指针
但是,非const型指针 可以 赋值给cons指针
7 QAC 0431
8 编码实践