C++ Primer笔记(2.4.3)——顶层const和底层const
#include<iostream>
/******************************************************************************************/
/* 指针本身是一个对象,它又可以指向另外一个对象。因此,指针本身是不是常量以及指针所值的 */
/* 是不是一个常量就是两个相互独立的问题。 */
/* ✳ 顶层const表示指针本身是个常量 */
/* ✳ 底层const表示指针所指的对象是一个常量 */
/* ✳ 顶层const可以表示任意的对象是常量,这一点对任何数据类型都适用 */
/******************************************************************************************/
int main()
{
/* ----- 例子 ----- */
int i = 0;
int *const p1 = &i; //不能改变pi的值,顶层const
const int ci = 42; //不能改变ci的值,顶层const
const int *p2 = &ci; //不能改变p2所指向的值,但是能改变p2的值,底层const
const int *const p3 = p2; //右const是顶层,左const是底层
const int &r = ci; //用于声明引用的const都是底层const
//当执行对象的拷贝操作时,常量是顶层const还是底层const区别明显。
//其中,顶层const不受什么影响:
i = ci; //正确:拷贝ci的值,ci是一个顶层const,对此操作无影响
p2 = p3; //正确:p2和p3指向的对象类型相同,拍p3顶层const的部分不影响
std::cout << "ci的值为:" << ci << " i的值为:" << i << std::endl;
std::cout << "p3的值为:" << p3 << " p3所指向的值为:" << *p3 << std::endl;
std::cout << "p2的值为:" << p2 << " p2所指向的值为:" << *p2 << std::endl;
std::cout << std::endl;
//执行拷贝操作并不会改变被拷贝对象的值,因此,拷入和拷出的对象是否是常量都没什么影响
//底层const的限制却不能忽视。当执行对象的拷贝操作时,拷入和拷出的对象必须具有相同的底层const资格
//或者两个对象的数据类型必须能够转换。一般来说,非常量可以转换成常量,反之不行
//int *p = p3; //错误:p3包含底层const的定义,而p没有
p2 = p3; //正确:p2和p3都是底层
p2 = &i; //正确:p2是非常量,p2指向的值才是常量
//int &r2 = ci; //错误:普通的int&不能绑定到int常量上
const int &r3 = i; //正确:const int&可以绑定到一个普通int上
/* ---------------- */
return 0;
}