const变量 顶层const 底层const

const对象一旦创建后其值就不能再改变，所以const对象必须初始化

const变量在编译过程中将用到该变量的地方都替换成对应的值。

      默认情况下const对象被设定为尽在文件内有效。当出现多个文件同名的const变量时，等同于在不同文件中分别定义了独立的变量。

     如果想要只在一个文件中定义，而在其他多个文件中声明并使用它解决办法是：无论是声明还是定义都添加关键字extern，这样就只需要定义一次就可以了。

1 常量引用是 对const的引用，与普通引用不同的是，对常量的引用不能用作修改它所绑定的对象。

      常量引用必须与其所引用对象的类型一致，但是有两种意外情况：

       在初始化常量引用时允许用任意表达式作为初始值，只要该表达式能够转换成引用类型即可。尤其，允许为一个常量引用绑定非常量的对象、字面值

int i=42; 
const int &r1=i; 
const int &r2=42; 
const int &r3=r1*2; 
int &r4=r1*2;//错误 r4是一个普通的非常量引用

一个常量引用被绑到另一个类型上：

double dval=3.14;
const int &ri=dval;

此处变量是一个双精度浮点数，为了确保让ri绑定一个正式，编译器把上述代码变成了

const int temp =dval;//由双精度生成一个临时的整形常量 
const int &ri=temp;//让ri绑定常量

         如果ri不是常量引用，那么ri就可以改变引用对象的值。但是这种情况（包括表达式等）ri绑定的是一个临时量。但是如果让ri引用dval就是想可以改变他的值，否则为什么要给ri赋值呢？如此看来，大家基本上不会想把引用绑定到临时量上，c++也就可以把这种行为归为非法。

         const引用的对象可能并非是一个const对象，也就是说const引用绑定的对象不能通过引用改变他的值，但是只要他不是const对象就可以通过其他对象改变它的值。

2 指针和const

     指向常量的指针 与常量引用类似，不能用于改变其对象的值(以下是C++primer的一段话)

 

 

const指针：

指针时对象而引用不是，因此就像其他对象类型一样，允许把指针本身定为常量。常量指针必须初始化，一旦初始化完成，则它的值也就是他所存的地址就不能再改变。b把*放在const关键字之前用以说明指针是一个常量，即不变得是指针本身的值而不是指向的那个值。

int num=1; 
int*const nPtr=#//常量指针 指针的值不能改变 
int num2=2; 
const int *nPtr2=&num2;//不能通过指针改变指向对象的值 
int i=3; 
const int *const ptr=&i;//指针的值不能改变也不能通过ptr改变变量的值

tips：从右到左的阅读

3 顶层const 和底层const

        指针本身是一个对象而它又可以指向另一个对象。因此，指针本身是不是常量和所指的对象是不是常量是两个独立的问题。顶层const表示指针本身是个常量，而名词底层const是指所指对象是个常量。更一般来说，顶层const可以表示任意对象是常量，这一点对于任何数据类型都适用，如算数类型，类，指针等。底层则与指针和引用等符合类型的基本部分有关。特殊的是，指针类型既可以是顶层const也可以是一个底层const。如上面的代码所示：nPtr是一个顶层const，其本身就是个常量；nPtr2则是一个底层const他所指对象是个常量。

const int ci=42; //不允许改变ci的值，这是一个顶层
const const int *p2 = &ci; //允许改变p2的值，这是一个底层
const const int *const P3=P2; //靠右的是顶层const，靠左的是底层
const const int &r=ci; //底层const 用于声明引用的const都是底层const

       当执行赋值操作时，顶层const基本没有影响。因为顶层const 是指变量本身是常量，因此他可以赋值个任何非常量的对象。最简单的 const int i=1，可以赋值给任何整形变量。

       而底层const的限制却不容忽视。当执行对象的拷贝操作时，拷入拷出的对象必须具有相同的底层资格或者是两个数据类型可以相互转换，一般非常量可以转换成常量，反之则不行。

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