mutable关键字

今天是第一次使用mutable这个关键字。

mutable是用来修饰类中的non-static成员变量，目的是为了使这些成员变量在被const关键字修饰的成员函数中使用时，可以被修改。

如果不希望类成员函数修改类对象的状态，那么这个成员函数一般会被const修饰。如果我们需要在const成员函数中修改一些与类对象状态无关的成员变量，就可以用mutable来将这些成员变量修改为可变的。

举个例子。在下面代码中我们定义一个类CTestBlock，在被const修饰的成员函数length_of_test()中获取输入的字符串长度，全部代码如下：

#include <iostream>
#include <cstring>

using namespace std;

class CTextBlock
{
public:
	CTextBlock(char *str)
	{
		p_text = str;
		text_len = 0;
		b_valid_len = false;
	}
	
	int length_of_text() const;

private:
	char* p_text;
	int text_len;
	bool b_valid_len;
};


int CTextBlock::length_of_text() const
{
	if(!b_valid_len)
	{
		text_len = strlen(p_text);
		b_valid_len = true;
	}
	return text_len;
}

int main()
{
	CTextBlock text_block("Hello world!");
	int str_size = text_block.length_of_text();
	cout << "String length is " << str_size << endl;
	return 0;
}

编译以上代码，会得到如下错误，因为我们尝试在const修饰个函数中去修改类的成员变量test_len和b_valid_len。

如果我们在定义类的时候，在需要修改的两个成员变量前面加上mutable关键字，如下：

class CTextBlock
{
public:
	CTextBlock(const char *str)
	{
		p_text = str;
		text_len = 0;
		b_valid_len = false;
	}
	
	int length_of_text() const;

private:
	char* p_text;
	mutable int text_len;
	mutable bool b_valid_len;
};

则可编译通过。

mutable一种常用的场景是在线程安全时，若类的成员函数定义了多个线程函数，并且定义了互斥锁mutex，由于多线程需要操作mutex，那么在const成员函数中，则可将互斥锁mutex用mutable关键字修饰，以实现线程安全。