C++中mutable关键字

• mutable是什么？

  • mutable的中文译为 “可变的，易变的”，是constant（即C++中的const）的反义词。
  • C++中为了突破 const 的限制而采用的，被 mutable 修饰的变量将永远处于可变的状态。

• 为什么要用mutable？

  • 我们知道，如果类的成员函数不会改变对象的状态，那么这个成员函数一般会声明成const的。但是，有些时候，我们需要在const的函数里面修改一些跟类状态无关的数据成员，那么这个数据成员就应该被 mutable 来修饰。
  • mutable 常用于指定不影响类的外部可观察状态的成员（通常用于互斥体[mutexes]、记忆缓存[memo caches]、惰性求值[lazy evaluation]和访问指令[access instrumentation]等）。

  class ThreadsafeCounter {
    mutable std::mutex m; // mutable 和 mutex 用在一起情况
    int data = 0;
  public:
    int get() const {
      std::lock_guard<std::mutex> lk(m);
      return data;
    }
    void inc() {
      std::lock_guard<std::mutex> lk(m);
      ++data;
    }
  };
  

• 使用mutable的注意事项

  • mutable只能作用于类的非静态和非常量数据成员。mutable不能修饰static数据成员，因为static数据成员存储在Data段或BSS段，属于类，不属于类对象，因此类的static数据成员不需要 mutable 的修饰。但常对象和常函数可以对其任意地修改，对于常对象的数据成员一般不可以被修改，若想修改，则需要 mutable 的修饰。
  • 在一个类中，应尽量或者不用 mutable，大量使用 mutable表示程序设计存在缺陷。

  class Student
  {
    string name;
    mutable int getNum;             // ok
    mutable const int test;         // 编译出错
    //mutable static int static1;   // 编译出错
  }
  

• 什么是常函数？

  • 常函数就是带const修饰的函数。

• 为什么要有常函数这个概念？

  • 为了封装的良好性，有时我们用到的一些函数并不需要我们去改变类中的参数和成员变量，仅仅只是为了显示和输出的作用，因此才引进常函数。

• 参考

  • cppreference官网解释mutable关键字
  • C++ mutable 的用法
  • C++中的mutable关键字