Почему в классах не нужен mutating?

Различие в поведении mutating для структур и классов

В Swift ключевое слово mutating используется только для методов структур (struct) и перечислений (enum), но не для классов (class). Это фундаментальное следствие различия в семантике типов: структуры — value types (значимые типы), а классы — reference types (ссылочные типы).

Семантика значимых типов (структуры)

Когда структура передаётся в функцию или присваивается новой переменной, происходит копирование её значения. Поэтому, чтобы изменить свойства экземпляра структуры внутри метода, необходимо явно указать mutating. Это сообщает компилятору, что метод модифицирует внутреннее состояние конкретного экземпляра, и работа будет вестись с его уникальной копией.

struct Point {
    var x: Int
    var y: Int
    
    // Без mutating компилятор выдаст ошибку
    mutating func moveBy(x deltaX: Int, y deltaY: Int) {
        x += deltaX
        y += deltaY
    }
}

var point = Point(x: 0, y: 0)
point.moveBy(x: 5, y: 3) // Изменяется переменная `point`

Если бы mutating отсутствовал, возникла бы неоднозначность: должны ли изменения затрагивать переданный экземпляр или какую-то временную копию? Таким образом, mutating обеспечивает контроль над изменяемостью для value types, что критически важно для их предсказуемости и безопасности в многопоточных средах.

Семантика ссылочных типов (классы)

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

class PointClass {
    var x: Int
    var y: Int
    
    init(x: Int, y: Int) {
        self.x = x
        self.y = y
    }
    
    // mutating не нужен и недопустим
    func moveBy(x deltaX: Int, y deltaY: Int) {
        x += deltaX
        y += deltaY
    }
}

let pointRef = PointClass(x: 0, y: 0)
pointRef.moveBy(x: 5, y: 3) // Изменяется объект в памяти, на который ссылается pointRef

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

Ключевые выводы

• Контроль изменений: Для структур mutating — это способ явно обозначить методы, изменяющие состояние. Это позволяет использовать let-константы для структур с гарантией неизменяемости (их mutating-методы вызывать нельзя). Для классов let означает неизменяемость ссылки, а не содержимого объекта.
• Производительность: Отсутствие mutating у классов упрощает компиляцию, но требует от разработчика осторожности из-за разделяемого изменяемого состояния, что может приводить к багам и проблемам с многопоточностью.
• Согласованность языка: Swift следует принципу минимального удивления: value types ведут себя как независимые значения, reference types — как разделяемые объекты. Правило использования mutating естественным образом вытекает из этой модели.

Таким образом, отсутствие mutating в классах — это не недостаток, а отражение их фундаментальной природы как ссылочных типов, где мутация происходит неявно через изменение разделяемого объекта в памяти. Это важное семантическое различие, которое необходимо понимать для написания корректного и эффективного кода на Swift.