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

guard case делает успешно сопоставленное и извлечённое значение доступным после конструкции, то есть до конца текущей области видимости функции или блока. if case ограничивает такое значение телом if.

Кроме того, ветка else у guard обязана завершить текущую область видимости: выполнить return, throw, break, continue или другой переход, который не позволяет продолжить выполнение после guard.

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

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

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

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

Если использовать if case, извлечённое значение обычно доступно только внутри его тела. При необходимости обработать это значение в нескольких последующих операциях приходится либо помещать весь код внутрь блока, либо повторять проверку, либо вводить дополнительное временное состояние.

Неправильная замена if case на guard case тоже опасна: guard требует гарантированного выхода из ветки else. Это не обычный условный блок, который может завершиться и передать управление следующей строке.

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

guard case объединяет pattern matching с проверкой условия. Если образец совпал, связанные значения извлекаются в текущую область видимости и доступны после guard. Если совпадения нет, выполняется else, который обязан прервать дальнейшее выполнение текущей области.

if case также сопоставляет значение с образцом, но связанные переменные существуют только в теле успешной ветки. Это делает if case удобным для локальной обработки, а guard case — для обязательной валидации входных данных.

enum Result {
    case success(String)
    case failure
}

func message(_ result: Result) -> String {
    guard case let .success(text) = result else {
        return "нет данных"
    }
    return text
}

В примере text доступна в строке после guard, потому что неуспешный путь уже завершает функцию. При варианте с if case возвращать text после блока нельзя: его область действия закончилась бы вместе с телом условия.

guard case не превращает Optional или перечисление в другое значение и не копирует объект специально. Он только проверяет соответствие образцу и вводит связанные имена в допустимую область видимости. Для ссылочного типа это не меняет identity объекта, а для value-типа извлечённое значение подчиняется обычной семантике копирования Swift.

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

Функция обработки ответа сервера получает результат, который может быть успешным или ошибочным. Вариант с if case удобен, если успешное значение нужно обработать только в одной небольшой ветви; его плюс — явно локальная область действия. Минус — последующий код приходится вкладывать в условие.

Вариант с guard case сразу завершает обработку ошибочного результата. Его плюс — плоский основной сценарий и доступ к извлечённому значению до конца функции. Минус — такой стиль не подходит, если неуспешная ветка должна продолжить работу в той же области.

Для функции, где успех является предусловием дальнейших действий, выбирают guard case: ошибка обрабатывается немедленно, а основной путь остаётся линейным. Это уменьшает вложенность и делает невозможным обращение к значению до успешного сопоставления.

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

Обязательно ли else у guard case завершать функцию?

Да, else должен завершать текущую область видимости. Допустимы конструкции вроде return, throw, break или continue, если они действительно не позволяют исполнению перейти к коду после guard. Обычный вызов функции или изменение флага завершением не считается.
Можно ли использовать в guard case дополнительное условие where?

Да. Сначала значение должно соответствовать основному образцу и извлечь связанные данные, затем проверяется условие where. Если любой этап не выполнен, выполняется else; если оба успешны, связанные переменные доступны после guard.
Почему компилятор разрешает использовать извлечённую переменную после guard, но не после неуспешного if case?

Анализ потока управления учитывает обязательный выход из guard в ветке else. Поэтому после конструкции остаётся только путь, на котором образец совпал и все дополнительные условия выполнены. У if case существует продолжение после блока при любом результате, поэтому извлечённое имя не может считаться гарантированно инициализированным за пределами успешной ветки.