底层const与顶层const

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

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

拷贝操作(a = b)：

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

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

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

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

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

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

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

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

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

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

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

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

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

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

拷贝操作（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;//错误

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

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

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