原文链接:http://blog.csdn.net/gjggj/article/details/68056617
一、 如何区分顶层const和底层const
指针如果添加const修饰符时有两种情况: 1
指向常量的指针:代表不能改变其指向内容的指针。声明时const可以放在类型名前后都可,拿int类型来说,声明时:const int和int
const 是等价的。声明指向常量的指针也就是底层const,下面举一个例子:
- 1
- 2
- 3
- 1
- 2
- 3
注意:指向“常量”的指针不代表它所指向的内容一定是常量,只是代表不能通过解引用符(操作符*)来改变它所指向的内容。上例中指针p_a指向的内容就不是常量,可以通过赋值语句:num_a=2; 来改变它所指向的内容。
2 常量指针:代表指针本身是常量,声明时必须初始化,之后它存储的地址值就不能再改变。声明时const必须放在指针符号*后面,即:*const
。声明常量指针就是顶层const,下面举一个例子:
- 1
- 2
- 3
- 1
- 2
- 3
其实顶层const和底层const很简单,一个指针本身添加const限定符就是顶层const,而指针所指的对象添加const限定符就是底层const。
二、 区分顶层const和底层const的作用
为啥非要区分顶层const和底层const呢,根据C++primer的解释,区分后有两个作用。
1. 执行对象拷贝时有限制,常量的底层const不能赋值给非常量的底层const。也就是说,你只要能正确区分顶层const和底层const,你就能避免这样的赋值错误。下面举一个例子:
- 1
- 2
- 3
- 4
- 1
- 2
- 3
- 4
- 使用命名的强制类型转换函数const_cast时,需要能够分辨底层const和顶层const,因为const_cast只能改变运算对象的底层const。下面举一个例子:
- 1
- 2
- 3
- 4
- 5
- 6
- 1
- 2
- 3
- 4
- 5
- 6
三 练习
说了这么多,应该练习一下,const int const*const pppi 是顶层const还是底层const?
答案当然是底层const,因为int前面const限定符,而最后一个*后面没有const限定符。看最后一个例子: