> В каком порядке вызываются defer блоки в Swift (iOS, Swift)

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

Defer блоки в Swift выполняются в обратном порядке их объявления - LIFO (last in, first out). То есть последний объявленный defer выполнится первым. Это гарантировано языком независимо от того, в какой точке функции происходит выход - через return, throw или break. Defer выполняется всегда, даже при выходе из scope через ошибку или ранний return.

Подробное объяснение

Порядок выполнения defer блоков определяется их позицией в коде, а не временем вызова. Когда функция завершает выполнение, все defer блоки, объявленные в текущем scope, выполняются в порядке, обратном их объявлению. Это поведение зафиксировано в спецификации языка и не зависит от оптимизаций компилятора.

Важно понимать, что defer работает на уровне scope, а не функции целиком. Если defer объявлен внутри вложенного блока (например, внутри if или for), он выполнится при выходе из этого блока, а не из всей функции. При этом порядок между defer из разных scopes сохраняется: сначала выполняются defer из внутреннего scope, затем из внешнего.

Defer выполняется даже если в scope произошла ошибка или был вызван return. Единственный случай, когда defer не выполнится - это crash процесса или вызов fatalError (хотя на практике это тоже завершение программы).

На практике

На практике defer чаще всего используется для парных операций: открытие/закрытие ресурсов, lock/unlock, начало/конец анимации. Благодаря LIFO порядку, defer удобно использовать для симметричной очистки ресурсов - например, если вы открываете файл, затем выделяете буфер, то при очистке сначала освободите буфер, потом закроете файл - именно в таком порядке это и произойдёт.

При работе с defer важно помнить, что он выполняется в конце scope, а не в конце функции. Если вы объявили defer внутри цикла, он выполнится на каждой итерации при выходе из тела цикла. Это частая причина неожиданного поведения.

Также стоит учитывать, что defer не может быть объявлен после оператора, который гарантированно завершает выполнение (например, после return без значения в void функции) - компилятор выдаст ошибку, так как код после return недостижим.

Пример кода

SWIFT
func example() {
    defer { print("1") }
    defer { print("2") }
    defer { print("3") }
    print("main")
}
// Вывод: main, 3, 2, 1

func scopedExample() {
    defer { print("outer") }
    if true {
        defer { print("inner") }
        print("inside if")
    }
    print("after if")
}
// Вывод: inside if, inner, after if, outer

func resourceExample() {
    let file = openFile()
    defer { closeFile(file) }
    let buffer = allocateBuffer()
    defer { freeBuffer(buffer) }
    // работа с файлом и буфером
    // при выходе: freeBuffer, затем closeFile
}

Как отвечать на собеседовании

Начните с прямого ответа: defer выполняются в обратном порядке объявления (LIFO). Затем поясните, что это гарантировано языком и не зависит от способа выхода из функции. Упомяните, что defer работает на уровне scope, а не функции. Приведите короткий пример с выводом чисел, чтобы наглядно показать порядок. Если спросят про практическое применение - расскажите про парные операции и очистку ресурсов. Хорошо также упомянуть, что defer выполняется даже при throw и раннем return.

Что проверяет интервьюер

Интервьюер проверяет понимание базовой семантики defer: LIFO порядок, привязку к scope, гарантию выполнения. Также важно, что кандидат понимает разницу между defer в функции и defer во вложенном блоке. Дополнительно может проверяться знание edge cases: defer после return, defer в цикле, взаимодействие defer с ошибками. Уровень middle предполагает, что кандидат не просто знает определение, но и может объяснить, зачем это нужно и где применять.

Типичные ошибки

Главная ошибка - думать, что defer выполняются в порядке объявления (FIFO). Вторая по частоте - считать, что defer выполняется только при нормальном завершении функции, а не при throw или раннем return. Третья - не учитывать scope: кандидат может ожидать, что defer внутри if выполнится в конце функции, а не в конце блока if. Также часто забывают, что defer нельзя использовать после return - компилятор выдаст ошибку. И наконец, некоторые путают defer с отложенным выполнением через DispatchQueue - это разные механизмы.