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

Копируется значение Optional, но его содержимое — ссылка на тот же экземпляр класса. Поэтому изменение объекта через одну переменную видно через другую, пока обе содержат эту ссылку.

Если присвоить одной Optional-переменной nil, изменится только сам Optional; другая переменная продолжит хранить ссылку на объект.

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

Optional решает проблему безопасного представления отсутствующего значения без специальных «магических» значений вроде нуля или пустой строки. В Swift он является типом-значением, который может содержать либо значение, либо отсутствие значения.

Одновременно Swift различает value semantics и reference semantics. Структуры и перечисления обычно копируются как значения, а экземпляры классов передаются через ссылки. Это разделение делает поведение данных предсказуемым, но вложение ссылочного типа в тип-значение может быть неочевидным.

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

На первый взгляд присваивание одной Optional-переменной другой похоже на полное копирование содержимого. Однако копируется контейнер Optional, а не объект класса внутри него.

Неверное предположение о независимой копии может привести к неожиданному изменению общего состояния: один компонент изменяет объект, а другой видит этот результат. Обратная ошибка также опасна — установка nil в одной переменной не освобождает и не обнуляет другую.

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

Optional концептуально содержит либо отсутствие значения, либо payload. При payload ссылочного типа этот payload — ссылка на объект, а не независимая копия объекта.

final class Box {
    var value: Int
    init(value: Int) { self.value = value }
}

var first: Box? = Box(value: 1)
var second = first
second?.value = 2
print(first!.value) // 2

first = nil
print(second!.value) // 2

После присваивания second = first существуют два независимых Optional-контейнера, но внутри них находится ссылка на один объект Box. Изменение свойства через second меняет этот общий объект, поэтому через first наблюдается значение 2.

Присваивание first = nil заменяет содержимое только контейнера first. Объект остаётся доступен через second; его время жизни определяется количеством оставшихся сильных ссылок, если не используются слабые или небезопасные ссылки.

Это отличается от Optional со структурой: копирование Optional со структурой обычно даёт независимую копию значения. Однако для структур с внутренними ссылочными свойствами независимость может быть лишь поверхностной: сама структура копируется, но вложенный объект может оставаться общим.

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

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

Сервис хранит выбранный профиль как Optional экземпляра класса Profile. Экран редактирования получает этот Optional и меняет свойства профиля до нажатия кнопки «Сохранить». Если экран работает с той же ссылкой, изменения сразу видны владельцу состояния, даже если пользователь отменил редактирование.

Рассматривались два варианта:

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

Выбрана явная копия перед открытием редактора. После подтверждения копия заменяет исходное значение, а при отмене просто отбрасывается. Это решение устраняет скрытое совместное состояние и делает семантику интерфейса предсказуемой.

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

Дополнительный вопрос: Если две Optional-переменные содержат один экземпляр класса, что именно копируется при присваивании?

Ответ: Копируется сам Optional как значение-контейнер и его состояние — например, «содержит значение» или nil. Если состояние — «содержит значение», payload является ссылкой на экземпляр класса, поэтому объект не дублируется.

Это означает, что контейнеры можно независимо переназначать, но их объектное содержимое может быть общим. Нужно различать изменение контейнера, например присваивание nil, и мутацию объекта, например изменение его свойства.

Дополнительный вопрос: Что изменится, если вместо класса Optional будет содержать структуру?

Ответ: При обычной структуре присваивание создаёт независимое значение: изменение одной копии не меняет другую. В этом проявляется value semantics.

Но независимость не гарантируется автоматически для всех уровней вложенности. Если структура хранит ссылку на объект класса, копируется структура вместе с той же ссылкой, поэтому изменения вложенного объекта могут быть видны из обеих структур.

Дополнительный вопрос: Достаточно ли заменить класс на структуру, чтобы безопасно передавать сложное состояние между компонентами?

Ответ: Не всегда. Структура обеспечивает независимое копирование собственных хранимых значений, но её поведение зависит от типов этих свойств. Значения-структуры и значения-перечисления обычно сохраняют независимость, а свойства-ссылки могут сохранять совместное состояние.

Кроме того, большие структуры могут копироваться логически, но стандартные коллекции Swift используют оптимизацию copy-on-write: физическая копия обычно создаётся только при изменении одного из разделяемых значений. Это сохраняет семантику независимых значений без обязательных затрат на немедленное копирование.