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

При последовательном optional binding первое значение nil немедленно завершает проверку: последующие извлечения и условия не вычисляются, а тело конструкции не выполняется. Если все извлечения успешны, проверки продолжаются слева направо.

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

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

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

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

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

Связанные условия в if или guard вычисляются слева направо. Условие optional binding считается успешным только для some; при none вся последовательность немедленно получает отрицательный результат благодаря короткому замыканию вычислений.

После успешного извлечения имя в правой части последовательности уже имеет обычный тип Wrapped, а не Optional<Wrapped>. Поэтому следующее условие может безопасно использовать это значение. Обычные логические условия после binding также вычисляются слева направо и не выполняются, если более раннее условие уже дало false.

Для guard отрицательный результат обязан привести к выходу из текущей области видимости, например через return, throw или break. Для if невыполнение последовательности просто переводит управление в else либо пропускает тело.

func showCity(_ user: User?) {
    if let user,
       let address = user.address,
       !address.city.isEmpty {
        print(address.city)
    }
}

struct User {
    let address: Address?
}

struct Address {
    let city: String
}

В примере при user == nil доступ к user.address не выполняется. При отсутствии адреса не проверяется address.city; это одновременно гарантирует безопасность и экономит вычисления.

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

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

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

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

Выполняются ли выражения справа от уже неуспешного binding?

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

Доступно ли извлечённое значение после конструкции if?

Обычно нет: имя, созданное optional binding внутри if, действует только в теле этой ветви. Если значение нужно до конца функции, применяют guard, поскольку его успешная ветвь продолжает выполнение после конструкции.

Одинаково ли ведут себя if и guard при неуспешном binding?

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