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 第五版》
|