解析“mutable

在C++中，mutable也是为了突破const的限制而设置的。被mutable修饰的变量，将永远处于可变的状态，即使在一个const函数中。

我们知道，如果类的成员函数不会改变对象的状态，那么这个成员函数一般会声明成const的。但是，有些时候，我们需要在const的函数里面修改一些跟类状态无关的数据成员，那么这个数据成员就应该被mutalbe来修饰。

保护类的成员变量不在成员函数中被修改，是为了保证模型的逻辑正确，通过用const关键字来避免在函数中错误的修改了类对象的状态。并且在所有使用该成员函数的地方都可以更准确的预测到使用该成员函数的带来的影响。而mutable则是为了能突破const的封锁线，让类的一些次要的或者是辅助性的成员变量随时可以被更改。

mutable有以下使用要点：

mutable关键字只能作用于类的非静态和非常量数据成员。
mutable关键字提示编译器该变量可以被类的const函数修改。
在一个类中，用mutable修饰的变量只能是少数，或者根本不使用mutable。

下面是一个小例子：

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13


class ClxTest
{
　public:
　　void Output() const;
};
void ClxTest::Output() const
{
　cout << "Output for test!" << endl;
}
void OutputTest(const ClxTest& lx)
{
　lx.Output();
}

类ClxTest的成员函数Output是用来输出的，不会修改类的状态，所以被声明为const的。

函数OutputTest也是用来输出的，里面调用了对象lx的Output输出方法，为了防止在函数中调用其他成员函数修改任何成员变量，所以参数也被const修饰。

如果现在，我们要增添一个功能：计算每个对象的输出次数。如果用来计数的变量是普通的变量的话，那么在const成员函数Output里面是不能修改该变量的值的；而该变量跟对象的状态无关，所以应该为了修改该变量而去掉Output的const属性。这个时候，就该我们的mutable出场了——只要用mutalbe来修饰这个变量，所有问题就迎刃而解了。

下面是修改过的代码：

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31


class ClxTest
{
　public:
　　ClxTest();
　　~ClxTest();
　　void Output() const;
　　int GetOutputTimes() const;
　private:
　　mutable int m_iTimes;
};
ClxTest::ClxTest()
{
　m_iTimes = 0;
}
ClxTest::~ClxTest()
{}
void ClxTest::Output() const
{
　cout << "Output for test!" << endl;
　m_iTimes++;
}
int ClxTest::GetOutputTimes() const
{
　return m_iTimes;
}
void OutputTest(const ClxTest& lx)
{
　cout << lx.GetOutputTimes() << endl;
　lx.Output();
　cout << lx.GetOutputTimes() << endl;
}

计数器m_iTimes被mutable修饰，那么它就可以突破const的限制，在被const修饰的函数里面也能被修改。

文章目录