c++学习之const

const：

        我们有时候需要一种变量，它的值不能被修改。一方面是我们需要这样的一个值，另一方面我们也不希望这个值被无意间修改，这时，我们可以使用const对变量进行限定：

const int i = 512;     //其后i的值不能修改
i = 0;                 //错误，i是常量，不能修改

初始化

        由于常量对象一旦创建之后其值不能修改，所以const对象必须初始化，其初始化的值可以是任意复杂的表达式：

const int i = 0;
const int j = i;
const int m;     //错误，常量必须初始化

        常量的主要限制在于只能在const对象上执行不改变其内容的操作。在初始化另外一个对象时，是将对象的内容拷贝到新的对象中去，所以不论其是否是一个常量，都不会有影响：

int i = 0;
const int ci = i;    //合理 i的值拷贝给ci
int j = ci;          //合理 ci的值拷贝给j

        默认情况下，const对象只在文件内部有效。当多个文件中出现了同名的const对象时，实际上等同于在不同的文件中分别定义了单独的const对象。这样，如果要在一个文件中使用另一个文件中的const对象，那就要使用extern：

extern const int i = 512;    //在一个文件中定义了常量
extern const int i;          //在另一个文件中声明，这个就是在上面定义的那个常量

如果要在多个文件之间共享const对象，必须使用extern关键字。

顶层和底层const

        对于指针来说，其自身是一个对象，它又可以指向另一个对象，所以，对于指针来说，其本身是否是一个const，和其所指向的对象是否是const，这是两个不相干的问题。

        顶层const：表示指针本身是一个const

        底层const：表示指针指向的对象是一个const

        更普遍一点，顶层const表示对象本身是一个常量，这一点对于所有的数据类型都适用，比如基本数据类型、自定义的类、以及指针等；底层const则与指针和引用等复合类型的基本类型相关。

        由于引用初始化之后不能改变指向，所以从这一点上来说，引用本身就可以理解为一个顶层const。指针则不一样，指针既可以是顶层const，也可以是底层const，这两者互不影响。

        在执行拷贝操作时，常量是顶层const还是底层const有明显的区别。顶层const并没有什么影响，这里只是涉及到拷贝，不会改变被拷贝对象的值，拷入和拷出的对象是否是常量都没有什么关系。

const int i = 0;
int j = 0;

int m = i;         //合理
const int n = i;   //合理
const int p = j;   //合理

然而，底层const的限制是不能忽略的，一般来说，允许非const向const的拷贝转换：

int i = 0;
int *p = &i;

const int *p1 = p;    //p指向的对象不是常量

const int j = 0;
const int *p2 = &j;   //p2指向的对象是一个常量
int *p3 = &j;         //这是错误的，因为这样的写法，可以使用p3来修改指向对象的值

简单来说，底层const指针指向的对象可以是常量，也可以不是，只是不能使用该指针修改指向的对象的值。