经常我们都会被“常量是指针还是指针所指向的对象”这个问题所困扰。

因为在使用const 修饰指针时，指针的属性有三种状态：const int * ,int * const , const int * const ，三个状态很容易混淆。

通常，我们用名词顶层const 表示指针本身是个常量，名词底层const 表示指针所指向的对象是一个常量。

例如：

int i = 0;
const int * p1 = &i;
int *x = p1; // 错误，*x不具备底层const资格
const int *x2 = p1; // 正确，具备底层const资格
const int *x3 = &i;  // 正确，&i是int *，可以转成const int *

对于其他类型的常量，都是顶层const ，例如：

int i = 0;
const int * p1 = &i;
int *x = p1; // 错误，*x不具备底层const资格
const int *x2 = p1; // 正确，具备底层const资格
const int *x3 = &i;  // 正确，&i是int *，可以转成const int *

在对象之间进行拷贝和赋值操作时，对象是顶层const还是底层const这个属性很重要。

一般情况下，顶层const在拷贝时可以被忽略：

int i = 0;
int * const p1 = &i;  //顶层const
int *x = p1;  // 正确，可以忽略p1的顶层const
int n = *p1;  // 正确

但是对于底层const的限制却不能忽略，拷贝底层const对象只有当两个对象都具备相同的底层const资格才能拷贝。

或者两者的数据类型能够进行转换，如非const可以转成const。

int i = 0;
const int * p1 = &i;
int *x = p1; // 错误，*x不具备底层const资格
const int *x2 = p1; // 正确，具备底层const资格
const int *x3 = &i;  // 正确，&i是int *，可以转成const int *
const int &r = i;  // 正确