天天看点

C++关键字:mutable

       一个对象的状态由其非静态数据成员的值构成,因此,修改一个数据成员将会改变整个对象的状态。将一个成员函数声明为 const 能够保证它不会改变对象的状态。Mutable 数据成员的使用看上去像是骗术,因为它能够使 const 函数修改对象的数据成员。然而,明智地使用 mutable 关键字可以提高代码质量,因为它能够让你向用户隐藏实现细节,而无须使用不确定的东西,比如 const_cast<>。mutalbe的中文意思是“可变的,易变的”,跟constant(既C++中的const)是反义词。在C++中,mutable也是为了突破const的限制而设置的。被mutable修饰的变量,将永远处于可变的状态,即使在一个const函数中。

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

  下面是一个小例子:

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来修饰这个变量,所有问题就迎刃而解了。

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; 
}
           

总结:

[MSDN]mutable

C++Specific —>mutable member-variable-declaration;

This key word can only be applied to non-static and non-const data members of aclass. If a data member is declared mutable, then it is legal to assign a valueto this data member from a const member function.

解读:mutable成员变量的声明,这个关键字只能应用于类的非静态与非const数据成员。如果一个数据成员声明为mutable,那么通过const成员函数给数据成员分派一个值是合法的。

[作用]:mutable成员变量,可以在修饰为const的成员函数修改它。

继续阅读