转换成const_顶层const

顶层const

顶层 vs 底层

顶层 const表明指针本身是个常量，底层 const 表明指针所指向的对象时一个常量。

顶层：

底层：

我觉得这个顶层 const（top-level const）和 底层 const（low-level const）应该是由来于距离指针的位置。

我们来genelize顶层 const → 顶层const可以表示任意的对象是常量， 这个适用于任何数据类型。底层 const 则与指针和引用等复合类型的基本类型部分有关。

int i = 0;
int *const p1 = &i;  // 不能改变p1的值，这是一个顶层const
const int ci = 42;   // 不能改变ci的值，这是一个顶层const
const int *p2 = &ci; //允许改变p2的值，这是一个底层const
// 原因看上面底层那幅图，我们可以改变p2的指向，只要它依旧指向一个 const int
const int *const p3 = p2; //靠右的const是顶层const，靠左的const是底层const
const int &r = ci; //用于声明引用的const都是底层const

用于声明引用的const都是底层const，这里感觉我需要记住。也可以这样理解，因为引用是对象的别名。但实际上我们的 const int &r 是可以绑在普通 int 上的，我们某种程度上还是可以来改变该引用绑定的值。

看例子：

int i = 42;
const int &r = i;
std::cout << r << std::endl;
i = 43;
std::cout << r << std::endl;

拷贝

顶层const 和 底层const对于拷贝区别明显：

i = ci; //正确：ci是顶层const
p2 = p3; //正确: p2和p3类型相同，p3顶层const不受影响

当执行对象的拷贝操作时，拷入和拷出的对象必须具有相同的底层const资格，或者两个对象的数据类型必须能够转换，一般非常量可以转换成常量，反之不行：

int *p = p3;  //错误：p3包含底层const的定义，p没有
p2  = p3;     // 正确：p2和p3都是底层const
p2 = &i;      // 正确：int* 能转成 const int*
int &r = ci;   // 错误：普通的int & 不能绑定到int常量上
const int &r2 = i; //正确： const int & 可以绑定在普通int上

之所以我们弄明白这个顶层和底层是因为它之后还出现地方太多了

constexpr

注意用constexpr 修饰的指针是常量指针，初始值必须是 nullptr 或者 0， 或者是存储于某个固定地址中的对象。并且constexpr仅对指针有效，与指针所指的对象无关。

const int *p = nullptr; // p是一个指向整型常量的指针
constexpr int *q = nullptr; // q是一个指向整数的常量指针

constexpr 把它定义的对象置为了顶层 const.

auto

auto 会忽略顶层const，保留底层const，decltype会保留顶层const和相关信息。同时 decltype 如果使用不加括号的表达式，会得到相同类型，加括号得到引用。