C++Primer----顶层const和底层const

以指针引入：指针本身是一个对象，它又可以指向另一个对象。因此，指针本身是不是常量以及指针所指的是不是一个常量就是俩个相互独立的问题。用顶层const表示指针本身是一个常量；用底层const表示指针所指向的对象是一个常量。

---

注意：顶层const可以表示任意对象是常量，这一点对任何数据类型都适用，如算术类型，类，指针等。底层const则与引用和指针等复合类型部分有关。特殊的，指针类型既可以是顶层const也可以是底层const。
用于声明引用的const都是底层const。

---

以下内容均转载自：
http://blog.csdn.net/qq_19528953/article/details/50922303

一 如何区分顶层const和底层const
指针如果添加const修饰符时有两种情况：

1 指向常量的指针：代表不能改变其指向内容的指针。声明时const可以放在类型名前后都可，拿int类型来说，声明时：const int和int const 是等价的。声明指向常量的指针也就是底层const，下面举一个例子：

int num_a = 1;
const int *p_a = &num_a;  //底层const
//*p_a = 2;  //错误，指向“常量”的指针不能通过此指针改变所指向的对象

注意：指向“常量”的指针不代表它所指向的内容一定是常量，只是代表不能通过解引用符（操作符*）来改变它所指向的内容。上例中指针p_a指向的内容就不是常量，可以通过赋值语句：num_a=2; 来改变它所指向的内容。

2 常量指针：代表指针本身是常量，声明时必须初始化，之后它存储的地址值就不能再改变。声明时const必须放在指针符号*后面，即：*const 。声明常量指针就是顶层const，下面举一个例子：

int num_b = 2;  
int* const p_b = &num_b; //顶层const  
//p_b = &num_a;  //错误，常量指针不能改变存储的地址值  

其实顶层const和底层const很简单，一个指针本身添加const限定符就是顶层const，而指针所指的对象添加const限定符就是底层const

二 区分顶层const和底层const的作用
1 执行对象拷贝时有限制，常量的底层const不能赋值给非常量的底层const。也就是说，你只要能正确区分顶层const和底层const，你就能避免这样的赋值错误。下面举一个例子：

int num_c = 3;  
const int *p_c = &num_c;  //p_c为底层const的指针  
//int *p_d = p_c;  //错误，不能将底层const指针赋值给非底层const指针  
const int *p_d = p_c; //正确，可以将底层const指针复制给底层const指针

2 使用命名的强制类型转换函数const_cast时，需要能够分辨底层const和顶层const，因为const_cast只能改变运算对象的底层const。下面举一个例子：

int num_e = 4;  
const int *p_e = &num_e;  
//*p_e = 5;  //错误，不能改变底层const指针指向的内容  
int *p_f = const_cast<int *>(p_e);  //正确，const_cast可以改变运算对象的底层const。但是使用时一定要知道num_e不是const的类型。  
*p_f = 5;  //正确，非顶层const指针可以改变指向的内容  
cout << num_e;  //输出5