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

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

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

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

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

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

Метод может изменить состояние владельца, обнулить глобальную или внешнюю переменную либо вызвать callback, который удалит последнюю сильную ссылку на объект. Если бы этого было достаточно для немедленного уничтожения экземпляра, оставшаяся часть метода обращалась бы к недействительному self.

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

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

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

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

var current: Worker?

final class Worker {
    func run() {
        current = nil
        print("метод ещё выполняется")
    }

    deinit {
        print("deinit")
    }
}

current = Worker()
current!.run()

В этом примере deinit не должен выполняться до печати из run(). После возврата из run() объект становится доступен для уничтожения, поэтому обычно следующим наблюдаемым событием будет вызов deinit.

Это не означает, что любой произвольный указатель или внешний небезопасный адрес автоматически продлевает жизнь объекта. Гарантия относится к корректному вызову метода экземпляра средствами Swift; UnsafePointer, Unmanaged и ручное управление памятью требуют отдельных правил владения.

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

Экран запускает метод close(), внутри которого удаляет себя из координатора. Координатор хранил единственную внешнюю сильную ссылку, поэтому после удаления экран может стать недостижимым.

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

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

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

Может ли deinit выполниться между двумя строками одного метода после обнуления внешней ссылки?

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

Нет. Она действует только на время текущего вызова. Если метод передал callback, запланировал асинхронную работу или сохранил только weak-ссылку, эти действия сами по себе не гарантируют жизнь объекта после возврата.
Почему нельзя делать вывод о времени уничтожения только по области видимости внешней переменной?

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