(1)const变量
非 const 变量默认为extern。要使 const 变量能够在其他的源
文件中访问,必须地指定它为 extern。否则会报错:error LNK2001: 无法解析的外部符号"int const BUF_SIZE"(?BUF_SIZE@@3HB)
(2)const 限定符既可以放在类型前也可以放在类型后,如下s1和s2类型相同:
string const s1;
const string s2;
(3)指针和const
const的鉴别:在*左边或右边画一道竖线,看是否和const在一起,和const在一起就是不可以改变的。const void *p1 不是p1不能改变,而是p1所指向的内容不可以改变。
如果const出现在*号左边,修饰的是指针指向的对象,被指对象是常量,即对象不可修改。如果const出现在*号右边,修饰的是指针本身,指针本身是常量,即指针不能再指向别的内存。如果const出现在*号两边,则指针和被指对象均是常量。
(3.1)指向const对象的指针
为了保证如果指针指向const对象,则不允许用指针来改变其所指的const值这个特性,C++ 语言强制要求指向const对象的指针也必须具有const特性。
把一个 const 对象的地址赋给一个普通的、非 const 对象的指针也会导致编译时的错误:
const double pi = 3.14;
double *ptr = π // error:ptr is a plain pointer
const double *cptr = π //ok: cptr is a pointer to const
不能使用 void* 指针保存const 对象的地址,而必须使用 const void* 类型的指针保存 const 对象的地址:
const int universe = 42;
const void *cpv = &universe;// ok: cpv is const
void *pv = &universe; // error:universe is const
允许把非const对象的地址赋给指向const对象的指针,例如:
double dval = 3.14; // dval is adouble; its value can be changed
const double *cptr = &dval;// ok: but can't change dval through cptr
尽管所指的对象dval并非const,但仍不能使用cptr修改该对象的值,任何企图通过指针cptr修改其值的行为都会导致编译时的错误。本质上来说,由于没有方法分辩cptr所指的对象是否为const,系统会把它所指的所有对象都视为const。不能使用指向const对象的指针修改基础对象,可用其他方法修改const指针所指向的非const对象的值。
不能保证指向const的指针所指对象的值一定不可修改。可以把指向const的指针理解为“自以为指向const的指针”。
在实际的程序中,指向const的指针常用作函数的形参。将形参定义为指向const的指针,以此确保传递给函数的实际对象在函数中不因为形参而被修改。
(3.2)const 指针
本身的值不能修改
int errNumb = 0;
int *const curErr = &errNumb;// curErr is a constant pointer
我们可以从右向左把上述定义语句读作“curErr是指向int型对象的const 指针”。与其他const量一样,const指针的值不能修改,这就意味着不能使curErr指向其他对象。任何企图给const指针赋值的行为都会导致编译时的错误。与任何const量一样,const指针也必须在定义时初始化。
指针本身是const的事实并没有说明是否能使用该指针修改它所指向对象的值。指针所指对象的值能否修改完全取决于该对象的类型。
(3.3)指向const 对象的 const 指针
const double pi = 3.14159;
const double *const pi_ptr =π
本例中,既不能修改 pi_ptr 所指向对象的值,也不允许修改该指针的指向(即pi_ptr中存放的地址值)。可从右向左阅读上述声明语句:“pi_ptr 首先是一个 const 指针,指向 double类型的const对象”。
(4)const在函数中的应用
(4.1)const类型的形参 非引用形参时:形参与const形参等价。
是否将形参定义为 const。这种差异并不影响传递至函数的对象;其原因在于实参传递的方式。复制形参时并不考虑形参是否为const——函数操纵的只是副本。函数无法修改实参。既可将const对象传递给const形参,也可传递给非const 形参,这两种形参并无本质区别。
有const引用形参的函数与有非const 引用形参的函数是不同的。类似地,如果函数带有指向const类型的指针形参,则与带有指向相同类型的非const对象的指针形参的函数不相同。
仅当形参是引用或指针时,形参是否为const才有影响。
(4.2)利用const引用避免复制,使用引用形参,函数可以直接访问实参对象,而无须复制它。
(4.3)非引用形参时,不能基于形参是否为const来实现函数的重载。
f(int *);
f(int *const); // redeclaration
此时,const 用于修改指针本身,而不是修饰指针所指向的类型。在上述两种情况中,都复制了指针,指针本身是否为const并没有带来区别。当形参以副本传递时,不能基于形参是否为const来实现重载。