const对象，const成员函数总结

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限定符，编译器会报错

{

return 0;

}

另外，因为static成员不是任何对象的组成部分，所以static成员函数不能被声明为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 对