在C/C++的学习中,有人经常搞不清楚“常量指针”和“指针常量”这两个概念。其实简单一点讲,“常量指针”所指向的地址上的数据是常量,而“指针常量”所指向的地址是常量,地址上面的数据是可以变化的。
首先,告诉大家一个小规则,就是像这样连着的两个词,前面的一个通常是修饰部分,中心词是后面一个词,怎么说呢,就像这里的常量指针和指针常量。
常量指针,表述为“是常量的指针”,它首先应该是一个指针。常量指针,就是指向常量的指针,关键字 const 出现在 * 左边,表示指针所指向的地址的内容是不可修改的,但指针自身可变。
指针常量,表述为“是指针的常量”,它首先应该是一个常量。指针常量,指针自身是一个常量,关键字 const 出现在 * 右边,表示指针自身不可变,但其指向的地址的内容是可以被修改的。
再分开细细说明,常量指针,它是一个指针,什么样的指针呢?它是一个指向常量的指针,就是说我们定义了一个常量,比如 const int a=7; 那么我们就可以定义一个常量指针来指向它 const int *p=&a; 也可以分成两步,即 const int *p; p=&a; 那么它有什么作用呢?首先我们来说说常量的属性,因为我们的指针是指向常量的,常量和变量的变量的不同之处在于我们不能对其内容进行操作,具体说就是修改,而我们的指针是什么,它的内容本身是一个地址,设置常量指针指向一个常量,为的就是防止我们写程序过程中对指针误操作出现了修改常量这样的错误,应该如果我们修改常量指针的所指向的空间的时候,编译系统就会提示我们出错信息。总结一下,常量指针就是指向常量的指针,指针所指向的地址的内容是不可修改的。
再来说说指针常量,它首先是一个常量,再才是一个指针。常量的性质是不能修改,指针的内容实际是一个地址,那么指针常量就是内容不能修改的常量,即内容不能修改的指针,指针的内容是什么呀?指针的内容是地址,所以,说到底,就是不能修改这个指针所指向的地址,一开始初始化,指向哪儿,它就只能指向哪儿了,不能指向其他的地方了,就像一个数组的数组名一样,是一个固定的指针,不能对它移动操作,比如你使用 p++; 系统就会提示出错。但是它只是不能修改它指向的地方,但这个指向的地方里的内容是可以替换的,这和上面说的常量指针是完全不同的概念。作一下总结,指针常量就是是指针的常量,它是不可改变地址的指针,但是可以对它所指向的内容进行修改。对了,忘了说说它怎么用,举个小例子 int a; int * const p=&a; 也可以分开写 int a; int * const p; p=&a;
当然,你也可以定义个一个指向常量的指针常量,就把上面的两个综合一下,表示如下
const int a=7; const int * const p=&a;
下面看几个简单的例子,可以说明他们的区别:
第一个
1 void main(){
2 char *str1={"Hello"};
3 char *str2={"Hello World"};
4 char * const ptr1 =str1 ;
5 //指针常量--指针本身是常量,指向的地址不可以变化,但是指向的地址所对应的内容可以变化
6
7 ptr1 =str2; //错误 因为这是一个常量指针,改变指向的地址了
8
9 printf("%s \n",*ptr1);
10 }
11
12
13 // 编译错误 error C3892: 'ptr1' : you cannot assign to a variable that is const
14
第二个
1 void main(){
2 char *str1={"Hello"};
3 char *str2={"Hello World"};
4 char * const ptr1 =str1 ;
5 //指针常量--指针本身是常量,指向的地址不可以变化,但是指向的地址所对应的内容可以变化
6
7 *ptr1 ='A';// 正确 因为指向的地址的内容是可以变化的
8
9 printf("%c \n",*ptr1);
10 }
11
12 //输出 A
13
第三个
1 void main(){
2 char *str1={"Hello"};
3 char *str2={"Hello World"};
4 const char *ptr1 = str1;
5 //常量指针--指向字符串常量,所指向的字符串内容不能变,但是指向的地址可以变化
6
7 ptr1=str2;// 正确 因为指向的地址是可以变化的
8
9 printf("%s \n",ptr1);
10 }
11
12 //输出 Hello World
第四个
1 void main(){
2 char *str1={"Hello"};
3 char *str2={"Hello World"};
4 const char *ptr1 = str2;
5 //常量指针--指向字符串常量,所指向的字符串内容不能变,但是指向的地址可以变化
6
7 ptr1='A';// 错误 因为指向的地址是内容是不可以变化的
8
9 printf("%c \n",ptr1);
10 }
11
12
13 //编译错误 error C2440: '=' : cannot convert from 'char' to 'const char *'
14
相信从上面四个简单的例子可以看出他们不一样的地方把,在这里要请大家注意一下的地方是:
指针常量的申明:const 放在* 和指针名之间 Type * const pointer ;
关于记忆技巧:
对于区分const int *pa和int *const pa这两者,
前者中,const直接修饰*(不考虑int,因为类型在这里是没影响的),说明*(解引用)这种行为具有常量性,即“不能靠解引用改变它指向的对象的值”,即指向常量的指针。
后者中,const直接修饰pa,说明pa本身的值具有常量性,即常量指针。
或者也可以这样来记忆:
const int a; // const常量
const int *a; //指向常量的指针
int *const a=&n; //常量指针
你在纸上按顺序写下以上三行,记住它们的注释长度:短——长——短,
分别对应着:const常量、指向常量的指针、常量指针这三种,应该就不会混淆了。
个人认为以上记忆法比《Effective ++》条款21中推荐的划线分左右法更好记。
最后再举个例子,与迭代器经常在一起用。
若希望迭代器所指向的东西不可变,则需要的是 const_iterator。例:
std::vector<int>::const_iterator Iter = vec.begin();
*Iter = 10;//错误,Iter是常量指针
Iter++;//正确,Iter本身可变
若希望迭代器本身不可变,指向的内容可变,则可以这样写:
const std::vector<int>::iterator Iter = vec.begin();
*Iter = 10; //正确,指针常量
Iter++; //错误,指针本身不可变