指针和const

const int a = 0;
const int *pa = &a;        // 指向常量的指针，不能通过pa改变a的值

int b = 0;
const int *pb = &b;        // b不是常量，但是不能通过pb来修改b的值

int c = 0;
int * const pc = &c;       // 常量指针，pc是一个常量，不能改变pc的值

const int d = 0;
const int * const pd = &d; // 指向常量的常量指针，pd不能改变，也不能通过pd修改d的值

判断方式可以采取从右往左看，也可以通过‘*’来区分，const在‘*’左边修饰所指变量，在右边修饰指针本身。

顶层const：指针本身是常量；

底层const：指针所指的对象常量。

常量表达式：值不会改变并且在编译过程就能得到计算结果的表达式。

const int sz = get_size();    // 不是常量表达式，因为结果在运行时获得。

将变量声明为constexpr类型，由编译器来验证变量的值是否是一个常量表达式。声明为constexpr的变量一定是一个常量，而且必须用常量表达式初始化。此时不能使用普通函数作为constexpr变量的初始值，但是允许定义一种特殊的constexpr函数，简单地在编译时就能计算出结果，此时可以用constexpr函数去初始化constexpr变量。

在constexpr声明中定义一个指针，constexpr仅对指针有效，与指针所指对象无关。

int a = 1;
constexpr int *pa = &a;    // pa是一个指向整数的常量指针