c++中的 mutable 关键字

我们在学习C++类的时候，经常会看到这样的成员函数 void function_name(...)const;相比普通的成员函数，其最后加

了个 const，像这种在函数声明的参数表后面出现的const的成员函数我们称之为“常量成员函数”，它指明这些函数不

会修改对象的状态。很显然，编译器将能捕捉到无意中违背这种承诺的任何企图。例如我们定义这样一个类：

class A
{
	int x;
public:
	int visit()const;
};

当我们的visit()函数如下：

int A::visit ()const
{
	return x++;
}

这样的话编译器会在x处提示：表达式必须是可修改的左值。

但在有些时候，一个成员函数在逻辑上 const,但它仍然需要改变某个成员的值。估计很多人第一个想到的就是使用标

准库给出的显示类型转换，代码如下：

int A::visit ()const
{
	A* a = const_cast<A*>(this);
	return a->x++;
}

这样的话我们就可以修改这个对象了。当这种方法并不能保证总能很好的工作，例如，当被应用的对象本身就是一个

const 的时候。看例子：

const A a;
int n = a.visit();

这个例子在我的电脑环境(win7 vs2010)上运行是没问题的，可能是现在的编译器已经帮我们解决了这个问题了吧。但

是还是建议最好不要这么用。这里a本身定义为const,具体实现中可能为了保护它的值不被破坏而使用的某种特殊形式

的存储，所以无法保证其正确性。

所以显示类型转换“强制去掉const”，以及由它引发的依赖于实现的行为还是可以避免的，只要将需要修改的数据声明

为 mutable：

class A
{
	mutable int x;
public:
	A(){x = 0;}
	int visit()const;
};

int A::visit ()const
{
	return x++;
}

存储描述符  mutable 特别说明这个成员需要以一种能允许更新的方式存储， 即使它是某个const对象的成员。

总结：

如果在某个表示中一部分允许改变，将这些成员声明为mutable是最合适的。如果在一个对象在逻辑上保持为const的

同时，其中的大部分都需要修改，那么最好是把这些需要修改的数据放入一个独立的对象里，并间接地访问它。