const:常量,不变的mutable:易变的
从意思上理解,可见const和mutable是一对反义词,它们都是C++的关键字。const成员函数不能修改调用它的对象。类的成员函数可以被声明为const,这将使得函数的隐式参数this将被作为const类型的指针。这也就意味着一个const成员函数不能修改调用它的对象。而且,const对象不能调用非const成员函数。然而,const对象和非const对象都可以调用const成员函数。
要将一个成员函数声明为const,可以使用下面的形式:
class X
{
int some_var;
public:
int f1() const; //const成员函数
};可以看到,关键字const被放在函数声明之后。将一个成员函数声明为const的目的是防止函数修改调用它的对象。例如下面的代码:
#include <iostream>
using namespace std;
//说明const函数的用法,这个程序不能通过编译
class Demo
{
int i;
public:
int get() const
{
return i; //正确
}
void seti(int x) const
{
i = x; //错误!
}
};
int main()
{
Demo ob;
ob.seti(1900);
cout << ob.get() << endl;
return 0;
}因为函数seti()被声明为const成员函数,这意味着在函数中不能修改调用函数的对象。但是由于seti()试图修改成员变量i,所以程序会产生错误,而在函数geti()中并不修改成员变量i,所以这个函数是正确的。
有时你可能想在const函数中修改类的某些成员,但又不想让函数修改类的其它成员,那么可以通过关键字mutable来实现这种功能。mutable将覆盖const属性。也就是说,在const成员函数中可以修改mutable成员,例如:
#include <iostream>
using namespace std;
//可以通过编译,运行正确
class Demo
{
mutable int i;
public:
int get() const
{
return i; //正确
}
void seti(int x) const
{
i = x; //错误!Maybe
}
};
int main()
{
Demo ob;
ob.seti(1900);
cout << ob.get() << endl;
return 0;
}在上面的程序中,类的成员变量i被定义为mutable,所以在函数seti()中可以修改它的值。
const成员变量的初始化
在构造函数中对成员变量进行初始化是很普遍的初始化方法,然而,这种方法并不是适用于所有情况,例如:如果在类的定义中使用了const来声明成员变量,那么在类的构造函数中将不能对这些成员变量赋初始值,因为const变量必须在构造函数调用之前被初始化,在使用引用类型的成员以及没有默认构造函数的成员时存在着同样的问题,因为这些成员必须首先被初始化。为了解决这个问题,在C++中定义了一种成员初始化语法,可以在创建对象时为类的成员指定初始值。
成员初始化语法类似于调用基类构造函数的语法,它的通用形式如下所示:
constructor(arg_list)
: member(initlalizer)
, member(initlalizer)
, member(initlalizer)
{
//构造函数体
}在构造函数的后面指定你想要初始化的成员,同时用冒号将构造函数的名字和参数列表分开。也可以将基类构造函数的调用和成员的初始化放在同一参数列表中。