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指针指向的对象可以是常量,也可以不是,只是不能使用该指针修改指向的对象的值。