类型限定符主要是指const和volatile,前者用于表明某个变量是不可修改的,后者表示该变量是可变的。由于在学习工作中会遇到大量由const修饰的指针,而且修饰指针的不同的位置的效果不一样,所以,本文将着重讨论这种情况。
关键字const并不能把变量变成常量,它不会把变量从变量区移到常量区,它只是提醒编译器不能给这个符号赋值,但是它不能防止通过修改和这个变量挂钩的其它符号以达到修改这个变量的目的。
例如:
int a = 1;
const int *pa = &a;
虽然我们不能通过*pa来修改a的值,但是我们可以通过a来修改a的值。
关于有const修饰和无const修饰的变量之间赋值要符合一些规则,这些规则是:
规则1:无const修饰符的变量之间可以按照普通变量的规则相互赋值,有相同const修饰符的变量之间也可以按照普通变量的规则相互赋值。
规则2:只能将无const修饰的变量赋值给有const修饰的指针,反之不行。
例如:int a = 1; const int *pa = &a;可以,但是const int a = 1; int *pa = &a;则不行
规则3:涉及到const的指针之间赋值必须满足以下两个条件之一,否则会产生错误。
条件1.两个操作数都是指向有限定符或无限定符的相容类型的指针
条件2.左边指针所指向的类型必须具有右边指针所指向类型的全部限定符。
例如:const int*p; int *a; 则,p=a;可以,而a=p;不可以
例如:const int**p; int **a; 则,p=a;不可以,而a=p;不可以
注:第一个例子中,p=a;中的p和a都是一个指针,左边指针所指向的类型是const int 而右边的指针所指向的类型是int。
右边指针所指向类型的限定符是int,而左边指针所指向的类型的限定符是int+const,有int,所以它符合条件2,是合法的。
反之,a所指向的类型的限定符中没有const,而p有,所以,a=p非法。
注:第二个例子中,p和a都是一个指针,一个是指向const int*型,一个是指向int*型。
也就是说它们所指向的数据还是一个指针,且前一个指针是指向const int型的,后一个指针是指向int型的,这里的const不是用来修饰p所指的参数的。
即p和a所指的参数都是无const修饰的指针,所以它们不符合条件2。
但是p所指的参数是个指向const int型的指针,a所指的参数是个指向int型参数的指针,它们是不相容的。所以,它们之间赋值是错误的。
注:根据这个道理,我们可以知道,若是,int* const *p; int **a;,则p=a;就是合法的。
因为p和a都是个指针,而p指向个有const修饰的指针,a指向个没有const修饰的指针,并且这个指针都是指向相同的类型int型。
为了说明const放在多维指针的不同地方的不同意义,同时不至于使讲解过程过于复杂,我们选择二维指针作为例子。
const int**p; 是指不能用**p来修改p所指向的位置所指向的位置的值。
int* const *p; 是指不能用*p来修改p所指向的位置的值。
int **const p; 是指不能用p修改p的地址。
注:再次说明,用const进行限定只能让编译器保证不通过这个符号来修改这个变量,但不能防止其他相关的变量修改它。
例如,我们可以将一个const 型的指针强制转换成非const型的,再利用这个指针修改其中的值。
但是,这种写法可以提醒程序员不要修改这个参数的内容,
所以,它在函数参数中很常用。
当然,指针强制转换,可是强大无比的。
注:const记忆法,const用于修饰其后第一个*。