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

Нет. Через переменную структуры, объявленную как let, нельзя вызвать mutating-метод, потому что такой метод может изменить или полностью заменить значение self. Для вызова требуется переменная, объявленная через var.

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

Swift явно разделяет value semantics и reference semantics. Для значимых типов изменение должно происходить только через изменяемое хранилище, поэтому язык использует let для неизменяемых значений и требует пометки mutating для методов, способных изменить структуру.

Такой подход делает изменение состояния видимым в интерфейсе типа и предотвращает случайную модификацию значений, переданных как копии.

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

Структура является значимым типом: присваивание обычно создаёт независимое логическое значение. Если разрешить изменяющему методу работать через let, состояние константы можно было бы изменить скрытым образом, что нарушило бы гарантию неизменяемости.

Кроме изменения отдельных свойств, mutating-метод может заменить весь self. Поэтому компилятор проверяет не только тело метода, но и возможность записи в переменную, через которую метод вызывается.

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

Метод помечается mutating, если он изменяет свойства структуры или перечисления либо присваивает новое значение self. Вызов такого метода требует доступного для записи экземпляра, то есть обычно переменной var.

struct Counter {
    var value = 0

    mutating func increment() {
        value += 1
    }
}

let fixed = Counter()
// fixed.increment() // ошибка: fixed доступна только для чтения

var editable = Counter()
editable.increment()
print(editable.value) // 1

Это ограничение относится именно к значимому типу. Объявление ссылки на экземпляр класса через let запрещает переназначить саму ссылку, но не обязательно запрещает изменение состояния объекта: объект имеет ссылочную семантику.

mutating не означает, что Swift немедленно копирует структуру при каждом вызове. Копирование определяется семантикой значения и реализацией конкретных типов; например, стандартные коллекции могут использовать Copy-on-Write. Главное требование здесь — наличие изменяемого доступа к самому значению.

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

Представим модель состояния экрана, представленную структурой. Если передать её как let, обработчик не сможет незаметно изменить состояние напрямую — это снижает риск побочных эффектов и упрощает рассуждение о данных.

Можно передавать состояние как inout, возвращать изменённую копию или хранить его в ссылочном объекте. inout сохраняет value semantics, но временно предоставляет изменяемый доступ к исходной переменной; возврат новой копии делает поток данных наиболее явным; класс удобен для совместного изменяемого состояния, но увеличивает риск скрытых изменений через общую ссылку.

Для локального состояния экрана обычно выбирают структуру и явное изменение через var либо возврат нового значения. Класс оправдан, когда несколько компонентов действительно должны наблюдать и изменять один общий объект.

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

Почему наличие mutating обязательно, если метод меняет только свойство?

Потому что изменение свойства является записью в self. Кроме того, реализация может в любой момент заменить весь экземпляр, например присвоить self другое значение. Пометка mutating сообщает вызывающему коду, что метод требует изменяемого доступа к экземпляру.
Можно ли вызвать mutating-метод у временного значения структуры?

Нет, если результат не находится в изменяемом хранилище. Временное значение нельзя безопасно изменить так, чтобы изменение имело наблюдаемый владелец после завершения выражения. Сначала его обычно сохраняют в переменную var, затем вызывают метод.
Гарантирует ли var независимость копии структуры от исходного значения?

Для самой структуры действует value semantics: присваивание создаёт логически независимое значение. Однако структура может содержать ссылочное свойство, например экземпляр класса; тогда копируются поля структуры, но ссылка на объект остаётся общей. Поэтому var разрешает изменение конкретной копии структуры, но не превращает автоматически вложенные ссылочные объекты в независимые копии.