const对象:
为了防止对象内容被更改,在对象声明前加上const限定符将其声明为const对象,const对象必须在声明的时候直接初始化。const对象仍然是个左值,但是这个左值是不可修改的,任何企图修改const对象的尝试都会导致编译错误。
把一个非const变量定义在文件中,假设已经做了合适的声明,就可在另外的文件中使用:
//file1.cpp
int counter; //definition
//file2.cpp
extern int counter; //user counter from file1.cpp
++counter;
但是,在一个文件中定义的const对象要想在另外的文件中使用,必须本身声明为extern:
//file1.cpp
extern const int counter = 1; //define and initialize a const that is accessible to other files
//file 2.cpp
extern const int counter; //use counter from file1.cpp
if(i < counter)
{...}
即:非const变量默认为extern,要使const变量能够在其他的文件中访问,必须显示的指定它为extern。
const成员函数:
为什么需要const 成员函数?
我们定义的类的成员函数中,常常有一些成员函数不改变类的数据成员,也就是说,这些函数是"只读"函数,而有一些函数要修改类数据成员的值。如果把不改变数据成员的函数都加上const 关键字进行标识,显然,可提高程序的可读性。其实,它还能提高程序的可靠性,已定义成const 的成员函数,一旦企图修改数据成员的值,则编译器按错误处理。
const 成员函数应该在函数原型说明和函数定义中都增加const 限定,关键字const 必须用同样的方式重复出现在函数实现里,否则编译器会把它看成不同的函数 :
//类X声明
class X
{
int i;
public:
int f() const;
};
函数f实现:
int X::f() const //如果此处没有const限定符,编译器会报错
{
const成员函数和const对象:
非常量成员函数不能被常量对象调用,因为它可能企图修改常量的数据成员(即使他实际上没有对const对象做任何修改,只要没有被声明为const,就不能被调用)。但构造函数和析构函数对这个规则例外,它们从不定义为常量成员,但可被常量对象调用(被自动调用)。它们也能给常量的数据成员赋值,除非数据成员本身是常量。
任何不修改成员数据的函数都应该声明为const 函数,这样有助于提高程序的可读性和可靠性。
对象.成员函数
对象成员函数对/错
1、const const 对
2、const non-const 错
3、non-const const 对
4、non-const non-const 对
成员函数调用成员函数
成员函数成员函数对/错
5、const const 对
6、const non-const 错
7、non-const const 对
8、non-const non-const 对