底层const与顶层const

1.定义

1. 顶层const：表示对象本身是常量，对任何数据类型都适用，也包含常量指针，但通常不包括引用。

2. 底层const：表示指针/引用所指的对象是常量，通常是指常量引用和指向常量的指针。

2.顶层const

1. 拷贝操作(a = b)：

   当b是一个顶层const类型时，仅仅意味着b的值不能改变，但并不影响传参。所以顶层const类型的对象作为被拷贝数据时，一般不受影响。

2. 参数传递（实参-->形参）：

   与拷贝操作类似，顶层const作为实参传递时，一般不受影响？（待进一步思考）

3.两种底层const：指向常量的指针 VS 常量引用

1. 非常量引用（或普通的指针）不可以指向一个常量对象。若非如此，则可通过引用/指针修改常量的值，显然与常量的设计定义相违背。

2. 常量引用（或指向常量的指针）可以指向一个非常量对象。此时不可以通过引用或指针改变所指对象的值，但可通过其他方式改变。

4.指向常量的指针

1. 拷贝操作（a = b)：要求a和b都有底层const的资格或者b可以转化为底层const.（原理见3）

   • a、b都是底层const------可以拷贝

   • a不是底层const，b是底层const------不可以拷贝

   • a是底层const,b是普通指针------可以拷贝

2. 参数传递（实参a-->形参b）要求a和b都有底层const的资格或者a可以转化为底层const.（原理见3）

   • a、b都是普通指针------可以传递

   • a、b都是底层const------可以传递

   • a是底层const，b不是底层const------不可以拷贝

   • b是底层const，a是普通指针------可以拷贝

5.常量引用

1. 拷贝操作（a = b)：要求a和b都有底层const的资格或者b可以转化为底层const.（原理见3）

   • a、b都是底层const------可以拷贝

   • a不是底层const，b是底层const------不可以拷贝

   • a是常量引用,b是可以转化的对象（或字面值、表达式等）------可以拷贝。

   • 若a是普通的int类型的引用，则不能绑定使用字面值、返回值结果为int类型的表达式、需要转化的对象、或const int 类型的对象。如：

     int a1 = 1,a2 = 2;
     unsigned m = 1;//需要转化的对象
     const int n = 1;//const int类型的对象
     ​
     const int &r1 = 32;//绑定字面值常量，正确
     int &r2 = 32;//错误
     ​
     const int &a3 = 1;//绑定普通变量，正确
     const int &a4 = a1 + a2;//绑定表达式，正确
     int &a5 = a1 + a2;//错误
     ​
     const int &m1 = m;//绑定需要转化的对象，正确
     int &m2 = m;//普通引用无法绑定需要转化的对象，错误
     ​
     const int &n1 = n;//绑定const int 类型的对象，正确
     int &n2 = n;//错误

2. 参数传递（实参b-->形参a）要求a和b都有底层const的资格或者b可以转化为底层const.（原理见3）

   • 常量引用的参数传递与引用拷贝规则一样，只需把实参看作右值，形参看作左值即可。

   • 所以我们在定义形参时，若是使用引用，那就尽量将其定义为常量引用，因为这样可以接受更多类型的参数而不出错。（类比侯捷老师的类的const成员函数）