C++ Mutable

1、mutable 含义及常规使用

mutable 英文中表示，易变的，不定的；性情不定的，而在代码中表示 可变数据成员。

由前面整理的 const详解 知道，由const修饰的成员函数中，不能对成员变量进行修改，因为隐藏的形参是 const 属性的。

而实际开发过程中，我们可能需要对某些成员变量进行修改，就需要用到 mutable。

class constA
{
public:
	constA(int a):m_a(a){}
	void funcA() const { cout << ++m_a << endl; }

	mutable int m_a;
};

main.cpp

	constA ab(10);
	ab.funcA();

	const constA abc(11);
	abc.funcA();
	abc.m_a = 15;
	abc.funcA();

输出
	11
	12
	16

这里可以看到在const的成员函数中，可以对mutable修饰的变量进行修改。 而对于const对象，它的成员变量依然可以进行修改。

总结一句话：一个 可变数据成员，永远不会是const，即使它是const 对象的成员。

2、用于lambda表达式

前面整理的lambda表达式及其原理 时我们知道，在lambda捕捉列表 [ = ] 采用 传值方式捕捉外部变量 时，编译器将该表达式翻译成一个未命名类的未命名对象。该类含有一个经过const 修饰放入重载调用运算符。如下：

int func()
{	
	int a =10;
	int b = 20;
	auto addfun = [=] (const int c ) -> int { return a+c; };
	
	int c = addfun(b);    
	cout << c << endl;
};

等同于

class Myclass
{
public:
	Myclass( int a ) : m_a(a){};	//该形参对应捕获的变量
	
	//该调用运算符的返回类型、形参和函数体都与lambda一致
	int operator()(const int c) const
	{
		return a + c;
	}
	
private:
	int m_a;		//该数据对应通过值捕获的变量
};

而加入 mutable后，相当于把 operator 的 const 修饰去掉，这样就可在函数内部对 传值方式捕捉的变量进行修改。具体书写方式如下：

[capture list] (parameter list)  mutable  -> return type {function body}

3、和const_cast 比较

前面整理的C++强制类型转换 时，const_cast<type>(expression) 可以 改变表达式中的常量性或易变性。

而他两个的区别在于：
1、const_cast 中的 type 必须是指针或者引用
2、mutable 一般只用于成员变量和lambda表达式

好了就整理到这了

感谢大家，我是假装很努力的YoungYangD（小羊）

参考资料：
《C++ primer 第五版》