C++のmutable指定子とは？constオブジェクトでもメンバーを変更できる仕組み

C++のmutableストレージクラス指定子とは

mutableストレージクラス指定子は、クラスのデータメンバーにのみ使用できる修飾子です。この指定子を付けたメンバーは、そのメンバーが含まれるオブジェクトがconstとして宣言されていても、値を変更することができます。

ただし、mutableは以下のような名前に対しては使用できない点に注意が必要です。

• staticとして宣言されたメンバー
• constとして宣言されたメンバー
• 参照型のメンバー

コード例

次のサンプルコードを見てみましょう。

class A
{
    public:
    A() : x(4), y(5) { };
    mutable int x;
    int y;
};

int main()
{
    const A var2;
    var2.x = 345;
    // var2.y = 2345;
}

動作の解説

この例では、var2はconstとして宣言されているため、コンパイラは「var2.y = 2345;」という代入を許可しません。

一方、「var2.x = 345;」という代入は問題なくコンパイルできます。これは、クラスAのメンバー変数xがmutableとして宣言されているためです。つまり、オブジェクト全体がconstであっても、mutable指定されたメンバーだけは書き換えが許されます。

mutableの実用的な活用シーン

mutableは、「外部から見た振る舞いとしてはconstでありながら、内部の補助的な状態だけを更新したい」という場面で特に役立ちます。代表的な活用例は以下の通りです。

• キャッシュ処理： 計算結果を初回アクセス時に保存し、以降の同じ呼び出しでは保存済みの結果を再利用する
• ミューテックスによる排他制御： constメンバー関数内でも、スレッド安全のためのミューテックスをロック・アンロックする
• 遅延初期化： リソースが必要になった時点で初めて生成・初期化する

このようにmutableを適切に使うことで、constの安全性を保ちながら柔軟な設計を実現できます。