ALEXKK2011

The Technical Side of alexKK2011
  博客园  :: 新随笔  :: 订阅 订阅  :: 管理

[转]指向const对象的指针和const指针

Posted on 2011-02-24 13:06  alexkk2011  阅读(383)  评论(0编辑  收藏  举报

作者:mxdxm

转自:http://mxdxm.javaeye.com/blog/655770

const是C++中引入的一个新的关键字,它为C++编程带来了很大的方便。指向const对象的指针和const指针是两个名字很接近的概念,对于初学者来说非常容易搞混,这里对它们进行区分。
  指向const对象的指针
  可以这样理解指向const对象的指针:
  指向const对象的指针就是一个指针,不能通过它来修改它所指向的对象的值
  · 声明方法:const int *p;
  const对象在初始化后是不允许对其值进行修改的,因此,我们不能用一个普通指针指向一个const对象,即下面的赋值会引起编译错误:
  const int i = 1;
  int *p = &i;
  否则的话,我们就可以利用普通指针来修改一个const对象的值,那么const也就毫无意义了。
  正确的方法是利用一个指向const对象的指针来获取const对象的地址:
  const int i = 1;
  const int *p = &i;
   这样,利用指向const对象的指针也是不能修改它所指向的const对象的值的。
  需要注意的两点:
  指向const对象的指针本身不是const类型(这也是它与const指针的主要不同点),所以它可以指向另一个const对象
  指向const对象的指针可以被赋予一个非const对象的地址,但是此时试图通过此指针来修改对象的值的操作是非法的
  2. const指针
  可以这样理解const指针:
  const指针就是一个指针,它本身就是const类型,所以将它初始化后不能再改变它的指向,即不能让它指向一个新的对象
  声明方法:
  int *const p;//指向非const对象的const指针
  const int *constp;//指向const对象的const指针
  由以上声明方法可以看出,const指针可以指向const对象和非const对象,但是两者的声明方法是不同的。
  使用const指针不可以修改其地址值,但是const指针指向非const对象,就可以利用它修改它所指向的对象的值。
  总结:
  初学者之所以会混淆两者的根本原因是他们头脑中的一些隐式假定在作怪,也就是说想当然地给要分析的对象强加上一些它们原本并不存在的属性,这 是很多人在处理问题时很容易犯的一个通病。只要语法规则没有明确说明是非法的,我们就可以拿来用,而没有必要人为地加上种种限制。其实要弄清两者的区别, 只要明确两点就够了:
  指针本身是const型还是非const型
  指针所指向的对象是const型还是非const型
  const型变量的值在初始化后是不允许改变的(这是根本),那么const指针其指向是不能变的,const对象其值是不能变的,一切都清楚了
  2.要弄清楚上面的两个问题,有一个很简单的办法:
  如果指针名前紧邻的关键字为const,那么它就是一个const指针;如果声明指针所指向的对象类型前有const关键字,那么它就是一个指向cosnt对象的指针。  应用上面的判断方法,const int *const p; 就表示指向const对象int的const指针。


    int b = 500;
const int* a = &b;    [1]
int const *a = &b;   [2]

int* const a = &b;   [3]
const int* const a = &b; [4]
如果你能区分出上述四种情况,那么,恭喜你,你已经迈出了可喜的一步。不知道,也没关系,我们可以参考《Effective c++》Item21上的做法,如果const位于星号的左侧,则const就是用来修饰指针所指向的变量,即指针指向为常量;如果const位于星号的右侧,const就是修饰指针本身,即指针本身是常量。因 此,[1]和[2]的情况相同,都是指针所指向的内容为常量(const放在变量声明符的位置无关),这种情况下不允许对内容进行更改操作,如不能*a = 3 ;[3]为指针本身是常量,而指针所指向的内容不是常量,这种情况下不能对指针本身进行更改操作,如a++是错误的;[4]为指针本身和指向的内容均为常 量。
另外const 的一些强大的功能在于它在函数声明中的应用。在一个函数声明中,const 可以修饰函数的返回值,或某个参数;对于成员函数,还可以修饰是整个函数。有如下几种情况,以下会逐渐的说明用法:
A& operator=(const A& a);
void fun0(const A* a );
void fun1( ) const;    // fun1( ) 为类成员函数
const A fun2( );