首先，我们知道： 每个成员函数都有一个额外的、隐含的形参this。在调用成员函数时，形参this初始化为调用函数的对象的地址。成员函数的函数体可以显示的使用this，但是不是必须这样做。在普通的非const成员函数中，this的类型是一指向类类型的const指针，可以改变this所指向的值，但是不能改变this所保存的地址。

 

在这种情况下，我们引入了const成员函数，它的作用是：改变了this形参的类型。this指针变成了一个指向const类类型对象的const指针。它既不能改变this所指向的对象，也不能改变this所保存的地址。

 

那我们加入const的目的是什么呢？这样做有什么好处呢？

 

我们知道，类的成员函数，一些改变对象，另一些不改变对象，对于不改变对象的那些，我们就在函数后面加上const声明。

例如：假设num为class point的私有成员

int point::GetValue (){
   return num; }

该函数的作用只是返回num的值，并未改变对象的值。因此，我们可以在函数后面加上const(若在前面加上，表示返回值为const类型）.

而有些函数，则改变了对象的值，例如：

 

int point::Setvalue(int &m){
   num=m; }

那么声明为const就是错误的。

我们为了看起来更舒服，看下面的代码：

 

class point{
   public: int Getvalue() const {
   return num; } int Setvalue(int &m) {
   num=m; } private: int num; };

需要注意的是，const成员函数需要在函数声明和函数定义时都声明const(对于类外定义的函数来讲）.

 

非常量成员函数不能被常量对象调用：

 

const point p; p.getvalue();//ok p.setvalue(2);//error

但是构造函数和析构函数除外，因为他们从不定义为const函数，但是可以被const对象所调用，

总结一句：const对象，指向const对象的指针和引用只能用于调用其const成员，如果尝试调用非const成员，则是错误的,而非const对象则可以调用任意成员，当然非const成员最佳。

什么情况都有例外——看下面这段程序：

 

class point{
   public: int setvalue(int &m) const {
   num=m; } private: mutable int num; };

也声明为const函数，但是我们却改变了对象的值，原因就是我们在num前加了mutable表示num为可变数据成员，在此情况下，任意成员函数，包括const成员函数，都可以改变num的值。