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

Такой шаблон проверяет только, что Optional находится в состоянии some, независимо от значения внутри. Символ подстановки намеренно игнорирует содержимое, поэтому извлечённая переменная не появляется.

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

Optional в Swift предназначен для явного моделирования двух состояний: значения и его отсутствия. Сопоставление с образцом позволяет проверять эти состояния декларативно, не смешивая проверку наличия значения с его использованием.

Такой подход уменьшает риск обращения к отсутствующему значению и делает ветвление по состояниям типа видимым для компилятора и читателя.

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

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

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

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

Шаблон с подстановочным символом и суффиксом вопросительного знака соответствует только some. Подстановочный символ означает: «содержимое есть, но оно не представляет интереса». Суффикс вопросительного знака означает проверку оболочки Optional на наличие значения.

Например:

let token: String? = "abc"

if case _? = token {
    print("токен присутствует")
}

В этом примере условие истинно, потому что token содержит some("abc"). Строка не извлекается и не становится доступной внутри тела условия; проверяется только состояние Optional.

Для сравнения, шаблон со связыванием одновременно проверяет some и извлекает содержимое. Это важно различать: проверка наличия не предоставляет доступ к Wrapped-значению автоматически.

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

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

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

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

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

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

1. Дополнительный вопрос: означает ли совпадение с таким шаблоном, что значение уже можно использовать как Wrapped-тип?

Нет. Шаблон проверяет наличие значения, но не вводит извлечённую переменную и не меняет тип исходной переменной. Для использования содержимого нужно выполнить отдельное извлечение или применить шаблон со связыванием.

2. Дополнительный вопрос: совпадёт ли такой шаблон с вложенным Optional, содержащим some(nil)?

Да, если внешний Optional находится в состоянии some. Вложенные Optional имеют независимые оболочки: внешний уровень может содержать внутренний Optional, даже если тот равен nil. Поэтому проверка наличия внешнего значения не означает, что внутреннее значение также присутствует.

3. Дополнительный вопрос: чем проверка шаблоном наличия отличается от сравнения Optional с nil?

Проверка шаблоном выражает структурное сопоставление с состоянием some и не требует сравнения Wrapped-значения. Сравнение с nil проверяет равенство Optional с отсутствующим состоянием и в общем случае связано с требованиями к операции равенства. Для проверки именно формы Optional шаблон обычно точнее передаёт намерение и удобен в if, guard и switch.