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;
}