(一)const限定符
const对象一旦创建后,其值就不能再改变,所以const对象必须初始化。
注意:
默认状态下,const对象仅在文件内有效。当多个文件中出现同名的const变量时,相当于在不同文件中分别定义了独立的变量。如果想在多个文件之间共享const对象,必须在变量的定义之前加extern关键字。
extern关键字:
extern用于告诉编译器,存在着一个变量或者函数,若当前编译语句之前没有定义的话,那么该变量或者函数的定义在文件的后头或者其它文件中,即提示编译器遇到此变量和函数时在其他模块中寻找其定义,如:
extern int i;
extern const int j;
extern void func();
常量引用(const int &a)
一般情况下,要求引用与其所引用的对象类型一致,但是有两个例外。
例外一:在初始化常量引用时,允许用任意表达式作为初始值,只要该表达式的值能转换为引用的类型。以下情况均合法。
int i = 42;
const int &r1 = i;
const int &r2 = 42;
const int &r3 = i * 2;
由于const引用可能绑定在一个非const对象上,例如第二种情况,可以通过改变i的值来改变常量引用&r1的值。
string foo();
void bar(string & s);
//那么下面的表达式将是非法的:
bar(foo());
bar("hello world");
原因在于foo( )和”hello world”串都会产生一个临时对象,而在C++中,这些临时对象都是const类型的。因此上面的表达式试图将一个const类型的对象转换为非const类型,这是非法的。被调函数中的引用型参数应该在能被定义为const的情况下,尽量定义为const 。
上面的代码片段修改为:void bar(const string & s)
const指针
int b = 500;
const int* a = &b;
int const *a = &b;
//上面2条语句作用相同,表示a指向的内容为常量(底层const),即a中存放的b的地址为常量,地址表示的内容可变。例如*a=600是错误的,但是可以通过改变b的值来改变*a的值。
int *const a = &b;
//表示指针a本身为常量(顶层const),必须初始化,a++操作错误;a指向的内容可变,*a=6成立。
const int* const a = &b;
//为指针本身和指针所指向的内容均为常量,必须初始化。