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

Optional binding проверяет, содержит ли Optional значение. Если значение есть, Swift извлекает его и создаёт в успешной ветке новую переменную уже типа T, а не T?; при nil выполняется альтернативная ветка.

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

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

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

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

Значение типа String? нельзя напрямую использовать там, где требуется String: потенциальное отсутствие значения должно быть обработано. Принудительное извлечение может привести к аварийному завершению, а безусловное значение по умолчанию иногда скрывает ошибку или искажает бизнес-логику.

Нужно одновременно проверить состояние Optional и получить безопасное значение с корректным типом в ограниченной области видимости.

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

При optional binding Swift проверяет Optional на наличие значения. Если внутри находится some(value), значение извлекается, а связанная переменная доступна только в успешной ветке и имеет тип без дополнительного уровня Optional.

let input: String? = "Swift"

if let text = input {
    print(text.count)
} else {
    print("Значение отсутствует")
}

В этом примере input имеет тип String?, а text внутри первой ветки — тип String. При nil тело первой ветки не выполняется. Это не преобразование строки и не изменение исходного Optional: создаётся безопасное локальное представление извлечённого значения.

Область видимости связанной переменной ограничена успешной веткой. Это важно: после завершения ветки Swift не позволяет использовать text, поскольку гарантии наличия значения больше нет.

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

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

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

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

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

Создаёт ли optional binding копию значения?

Для value type извлечённое значение получает обычную семантику значения: дальнейшие изменения локальной переменной не меняют исходный Optional. Для reference type извлекается ссылка на тот же объект, поэтому изменение состояния объекта через связанную переменную может быть видно другим ссылкам.
Можно ли связать значение, которое само является Optional?

Да. Binding снимает только один уровень обёртки. Если исходный тип — String??, после одного binding результат может иметь тип String?, потому что внутренний optional остаётся. Чтобы получить String, нужно обработать каждый уровень отдельно или применить подходящую комбинацию извлечения.
Почему после optional binding нельзя использовать связанную переменную вне ветки?

Гарантия существования значения действует только там, где проверка успешно завершилась. За пределами ветки исходный Optional снова может быть nil, поэтому Swift ограничивает область видимости связанной переменной. Это статическая гарантия, предотвращающая обращение к значению без доказанного наличия.