顶层const和底层const

首先概念:

指针本事是一个对象,并且这个对象可以指向其他对象

所以const修饰的是指针本身还是指针指向的对象就是个问题

顶层const:指针本身是个常量 //可以表示任意的对象是常量,对任何数据类型都适用

底层const:指针所指向的对象是常量 //与指针和引用等复合类型的基本类型部分有关

举例:

int i = 0;
int *const p1 = &i;       //const修饰对象p1,p1不可改变,所以是顶层const
const int ci = 42;        //const修饰对象ci,ci不可改变,所以是顶层const
const int *p2 =&ci;       //const修饰指针,p2可以改变,ci不可改变,所以是底层const

指针类型既可以是顶层const也可以是底层const

const int *const p3 = p2    //前面的const修饰指针指向的对象不可改变,后面的const修饰指针本身不
可改变

为啥非要区分顶层const和底层const呢,根据C++primer的解释,区分后有两个作用。
1 执行对象拷贝时有限制,常量的底层const不能赋值给非常量的底层const。也就是说,你只要能正确区分顶层const和底层const,你就能避免这样的赋值错误。下面举一个例子:

int num_c = 3;
const int *p_c = &num_c;  //p_c为底层const的指针
//int *p_d = p_c;  //错误,不能将底层const指针赋值给非底层const指针
const int *p_d = p_c; //正确,可以将底层const指针复制给底层const指针

2 使用命名的强制类型转换函数const_cast时,需要能够分辨底层const和顶层const,因为const_cast只能改变运算对象的底层const。下面举一个例子:

int num_e = 4;
const int *p_e = &num_e;
//*p_e = 5;  //错误,不能改变底层const指针指向的内容
int *p_f = const_cast<int *>(p_e);  //正确,const_cast可以改变运算对象的底层const。但是使用时一定要知道num_e不是const的类型。
*p_f = 5;  //正确,非顶层const指针可以改变指向的内容
cout << num_e;  //输出5
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值