一個對象的狀态由其非靜态資料成員的值構成,是以,修改一個資料成員将會改變整個對象的狀态。将一個成員函數聲明為 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的成員函數修改它。