Краткий ответ

mutable разрешает изменять конкретное нестатическое поле внутри const-функции или при работе с объектом, доступным через const. При этом состояние остальных полей остаётся защищённым от изменения, а сам объект не перестаёт быть константным.

Исторический контекст

Константность в C++ предназначена для выражения логической гарантии: операция не должна изменять наблюдаемое состояние объекта. На практике объекту иногда требуется менять внутренние технические данные, например кэш результата, счётчик обращений или объект синхронизации.

Спецификатор mutable появился как средство отделить логическое состояние объекта от его реализации. Он позволяет сохранить внешний const-интерфейс, не запрещая изменения, которые не считаются изменением смысла объекта.

Постановка проблемы

Если метод объявлен как const, компилятор запрещает изменять обычные нестатические поля через неявный указатель на объект. Без специального механизма пришлось бы либо отказываться от const у метода, либо использовать небезопасные приведения типов.

Неверное применение mutable опасно: оно может скрыть реальные изменения состояния, нарушить потокобезопасность и сделать поведение метода неожиданным для вызывающего кода. Константность не означает автоматическую неизменяемость всего, на что указывают поля объекта.

Подробное решение

Внутри const-функции неявный объектный параметр рассматривается как указатель на const-объект. Поэтому обычные поля нельзя присваивать. Поле, объявленное как mutable, является исключением из этого правила и может изменяться.

#include <string>

class User {
    std::string name_;
    mutable bool cached_ = false;

public:
    const std::string& name() const {
        cached_ = true;
        return name_;
    }
};

В примере вызов name() для константного объекта может изменить cached_, но не name_. Ключевое ограничение: mutable применяется к нестатическому полю подходящего типа; оно не превращает весь объект в неконстантный и не разрешает менять другие поля.

mutable не создаёт синхронизацию. Если несколько потоков одновременно вызывают const-метод и изменяют такое поле, обычное поле может стать источником гонки данных. Для синхронизации нужны подходящий атомарный тип, мьютекс или другой корректный механизм.

Также mutable не отменяет ограничения, связанные с самим типом поля. Например, если поле содержит указатель, можно изменить указатель, но это само по себе не определяет, можно ли безопасно менять объект, на который он указывает. Спецификатор управляет изменяемостью поля, а не всей связанной с ним памятью.

Ситуация из практики

Класс вычисляет дорогой результат, который после первого вызова нужно кэшировать, но его интерфейс должен оставаться доступным для константных объектов. Вариант без mutable — убрать const у метода: это упрощает реализацию, но запрещает вызов для константных объектов и хуже выражает логический контракт.

Второй вариант — снимать константность через приведение типов. Он потенциально приводит к неопределённому поведению, если исходный объект действительно константный, поэтому такой подход неприемлем.

Выбранное решение — хранить кэш в mutable-поле. Оно сохраняет корректный const-интерфейс и явно показывает, что кэш является деталью реализации. Если метод вызывается из нескольких потоков, поле кэша дополнительно защищают синхронизацией или делают атомарным, если это подходит по смыслу и требованиям к памяти.

Что кандидаты часто упускают

Становится ли весь объект изменяемым из-за одного mutable-поля?

Нет. Изменять можно только поля, объявленные как mutable, и объекты, доступные через них в пределах правил типов. Обычное поле по-прежнему нельзя присваивать из const-функции. mutable — точечное исключение, а не снятие const со всего объекта.

Делает ли mutable-кэш const-метод потокобезопасным?

Нет. Если два потока одновременно записывают в обычное mutable-поле или один записывает, пока другой читает, возможна гонка данных и неопределённое поведение. Для потокобезопасности требуется отдельная синхронизация; сама константность метода такой защиты не предоставляет.

Можно ли объявить mutable поле типа const или ссылочного типа?

Нет, спецификатор mutable применим к нестатическому полю, которое не является const-типом или ссылкой. Константное поле нельзя сделать изменяемым таким способом, а ссылку нельзя переназначить после инициализации независимо от const-квалификации объекта.