2变量与基本类型之const限定符

---

一、const介绍：

　　const对象一旦被创建其值就不能再改变，所以const对象必须初始化。任何试图对const赋值的行为都会引发错误。

---

二、初始化和const：

　　对const对象的主要限制就是只能在const类型的对象上执行不改变其内容的操作。

int i  = ;
const int ci = i; //正确，i的值被拷贝给ci
int j = ci;  //正确被拷贝给j

以上操作都是被允许的，ci的常量特性仅仅在执行改变ci的操作时才会发挥作用。记住拷贝一个对象的值并不会改变它。

---

三、默认情况下，const对象只在文件内有效：

　　当我们定义了如下代码时：

const int i = ;

 　　编译器将在编译过程中把文件内的变量i全部替换成23，所以默认情况下const对象只对文件内的i有效。当其它文件中也有const i的定义时，认为是两个相互独立的变量。

　　如果想在多个文件之间共享const对象，则必须在变量的定义之前添加extern关键字。

---

四、const的引用：

　　绑定到const对象的引用称为对常量的引用（reference to const）

引用(reference)的类型必须与所引用对象（object）的类型一致。但是有以下两个例外：

• 允许用任意表达式作为初始值，只要该表达式能够转换成引用的类型即可。

---

五、顶层和底层const：

　　顶层const是说指针本身是个常量，底层const是表示指针指向的对象是个常量。

　　顶层const可以表示任意对象的对象是常量，比如算术类型、类、指针等。当执行对象的拷贝时，顶层const不受影响。你想想顶层const的意义是什么？它就是一块内存，这块内存里存的东西不能再改变，但是可以把这块内存复制给另一块内存。至于常量指针，是在栈上开辟的这块内存（4bytes）不能再指向其他的地址，但是这块地址可以拷贝啊。

　　

 const int ci = ;
 const int *p2 =  &ci;
 const int * const p3 = p2;

 p2 = p3;

例如上述代码：

• 在全局存储区上开辟了一块内存存放const int变量ci.
• p2是在全局存储区开辟的一块内存，它是指向const int的指针，指向的地址是ci。它可以指向其他的地址。
• p3是在全局存储区开辟的一块内存，它是指向const int的常量指针，指向的地址是ci，它不可以指向其他的地址。
• 现在我们让p2 = p3,就是把p3的指针值（指向的地址值）拷贝给p2,虽然p3是一个常量指针，但是拷贝对于顶层const对象完全可以啊，这个const限定只是说你不能再指向其他的地址，并不意味着你不能被拷贝给其他的内存。

再看一下在底层const执行拷贝操作：

　　

 int *p = p3;
 p2 = p3;
 p2 = &i;
 int &r = ci;
 const int &r2 = i;
6 int i = 0;

例如上述代码；

• p3是一个指向p3的指针，p3又是指向const int object的指针。　　
• 第三行：让p2指向i的地址是正确的，因为p2是个指向常量对象的非常量指针，所以它可以改变指向的地址，由于i是个非常量对象，但是i可以转变成const int*
• 第四行：由于ci是个常量对象，但是r却是个非常量指针，你一个指向非常量的指针去指向一个常量对象的地址，显然是不行的，因为你此时能够通过该指针去改变常量兑现的的值，但是常量对象的值显然是不能被改变的。
• 第5行：你r2是一个对常量的引用，但i是个非常量对象，很明显你i可以转化成常量对象。所以你r2可以指向i.

永远记住：指向非常量类型的指针可以转成指向常量的指针，

---

六、const的存储：

• 对于const全局常量，如果初始值是字面值常量，一般会存放在常量存储区。
• 非static 的 const局部变量，如果需要内存空间也是在栈中进行分配
• 对于static 的 const局部变量(如函数中)，会根据编译器的优化能力，以及初始值，来决定其是不进行存储，还是直接存储在常量符号表，或者是栈中等等均有可能。
• 对于const的全局变量，放在全局存储区。