首先概念:
指针本事是一个对象,并且这个对象可以指向其他对象
所以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