Когда происходит деалокация объекта при достижении счетчика ссылок нуля в Swift

Что проверяют

Понимаете ли вы, что ARC освобождает объект синхронно и детерминированно, в отличие от сборщика мусора, и где эта детерминированность кончается. Следом спрашивают, на каком потоке выполнится deinit и почему объект может не освободиться вовсе.

Как отвечать

Когда исчезает последняя сильная ссылка, deinit вызывается сразу, в том же месте и на том же потоке, где произошёл последний release. Отложенного цикла сборки нет. Детали:

• порядок: сначала deinit подкласса, затем суперкласса. Хранимые свойства освобождаются уже после тела deinit, поэтому внутри него они ещё доступны;
• память и unowned: после deinit память объекта освобождается, только если на него нет unowned-ссылок. Обращение по unowned к деинициализированному объекту приводит к крашу, а weak вернёт nil;
• конец области видимости не гарантирован: оптимизатор может отпустить объект сразу после последнего использования, раньше закрывающей скобки. Если время жизни важно, используйте withExtendedLifetime;
• autorelease: объекты, пришедшие из Objective-C API как autoreleased, освобождаются при сливе пула, обычно в конце итерации run loop. В долгих циклах помогает autoreleasepool {};
• поток: по умолчанию deinit не изолирован даже у @MainActor-класса. Если последнюю ссылку на контроллер отпустило замыкание на фоновой очереди, deinit выполнится на фоне;
• у кого есть deinit: у классов и акторов, а с Swift 5.9 и у некопируемых структур и перечислений (~Copyable).

Отдельно назовите случай, когда ноль не наступит: цикл сильных ссылок. Типичные источники: замыкание, захватившее self, сильный delegate, таймер, держащий цель. Лечится [weak self] и weak var delegate, а ищется через Memory Graph Debugger в Xcode и инструмент Leaks.

Где спотыкаются

Говорят, что объект «удалится когда-нибудь потом», путая ARC с GC, или, наоборот, обещают освобождение строго на закрывающей скобке.

Кладут в deinit работу с UIKit или состоянием главного актора, не думая о потоке, на котором отпущена последняя ссылка.

Лечат все замыкания через unowned self. Если замыкание переживёт объект, это краш вместо безопасного nil.