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

Обычное associated value типа-класса хранится в enum как сильная ссылка. Пока enum существует, экземпляр удерживается им; при извлечении значения в локальную переменную обработчик также получает сильное владение на время использования.

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

ARC управляет временем жизни экземпляров классов через подсчёт сильных ссылок, но значения Swift, включая enum, struct и Array, могут содержать ссылки на классы. Это позволяет сочетать value semantics контейнера с reference semantics вложенного объекта без ручного retain/release.

Исходная проблема — не допустить уничтожения объекта, пока значение-контейнер всё ещё содержит ссылку на него, и одновременно не создавать лишние копии самого экземпляра класса.

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

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

Ошибка возникает, если считать, что после удаления enum объект сразу уничтожается даже во время обработки извлечённого associated value. Локальная привязка или параметр функции могут продолжать удерживать экземпляр, поэтому deinit произойдёт позже.

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

Если associated value имеет классовый тип, enum хранит сильную ссылку на этот объект по умолчанию. Присваивание enum другой переменной увеличивает число сильных владельцев ссылки, но не создаёт копию объекта.

При разборе case извлечённый экземпляр доступен обработчику как обычное значение класса. Семантически локальная привязка сохраняет объект живым на период её использования; компилятор может оптимизировать отдельные операции retain/release, но не может уничтожить объект раньше допустимого момента использования.

final class Service {
    deinit { print("deinit") }
}

enum State {
    case loaded(Service)
}

var state: State? = .loaded(Service())
if case let .loaded service = state {
    state = nil
    print(service)
}

После присваивания state = nil объект не обязан уничтожаться: его удерживает локальная service. Когда обработка завершится и эта ссылка перестанет использоваться, других сильных владельцев не останется, и ARC сможет запустить deinit.

Если enum передаётся в функцию, время жизни объекта определяется совокупностью владельцев: вызывающим кодом, самим enum и временными локальными привязками. Внутренние соглашения о владении параметрами и оптимизации ARC могут убрать физические retain/release, но не меняют наблюдаемую гарантию доступности объекта в корректной программе.

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

Состояние экрана хранится как enum: .loading, .loaded(Model) или .failed(Error). При переключении состояния старый enum обнуляется, но обработчик уже извлёк Model и выполняет форматирование данных.

Вариант с хранением отдельной сильной ссылки на Model работает, но дублирует владение и усложняет синхронизацию состояния. Вариант с weak-ссылкой может привести к исчезновению модели до завершения обработки.

Рациональное решение — передавать enum или извлечённый экземпляр в синхронную операцию обычным способом. Пока операция использует значение, ARC сохраняет объект живым; после завершения лишние сильные ссылки исчезают, и объект освобождается без ручного управления памятью.

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

Копируется ли объект при копировании enum с associated value класса?

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

Что произойдёт, если associated value имеет тип структуры, внутри которой есть ссылка на класс?

Копируется структура, но её ссылочное свойство обычно продолжает указывать на тот же экземпляр класса. Поэтому value-контейнер не гарантирует глубокое копирование вложенных ссылочных объектов; число сильных ссылок на объект увеличивается согласно правилам копирования этого свойства.

Может ли компилятор уничтожить объект сразу после последнего явного обращения к локальной привязке?

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