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

Pattern matching успешен, если структура сопоставляемого значения соответствует структуре шаблона, а все заданные ограничения выполняются. Для кортежа это означает совпадение количества и положения элементов, после чего let или var могут связать отдельные элементы с именами.

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

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

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

Вместо цепочки проверок и временных переменных разработчик описывает форму данных декларативно. Это делает ветвление компактнее и позволяет компилятору проверять соответствие шаблона типу выражения.

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

Кортеж — это составное значение с фиксированным числом элементов и фиксированными типами в каждой позиции. Ошибка в количестве элементов или попытка сопоставить элемент с несовместимым шаблоном приводит к тому, что ветка не подходит, а при статически очевидной несовместимости код может не скомпилироваться.

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

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

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

let response = (status: 200, body: "OK")

if case (200, let message) = response {
    print(message)
}

В этом примере первый элемент должен быть равен 200, а второй связывается с именем message. Связанная переменная получает тип соответствующего элемента кортежа — здесь String.

Символ _ означает «подходит любое значение», но не сохраняет его. Вложенные шаблоны позволяют проверять часть кортежа, а where добавляет дополнительное логическое условие после успешного структурного сопоставления.

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

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

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

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

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

Вопрос: Обязательно ли связывать каждый элемент кортежа в шаблоне?

Ответ: Нет. Для ненужных элементов используется _. Он проверяет только совместимость позиции с общей структурой шаблона и отбрасывает значение без создания переменной. Это полезно, когда условие зависит лишь от части кортежа.
Вопрос: Что происходит, если шаблон кортежа содержит литерал и имя переменной?

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

Ответ: Нет. Сопоставление только проверяет значение и создаёт локальные связанные переменные. Если кортеж содержит value-типы, связанное значение работает по правилам копирования этих типов; если элементом является ссылочный тип, копируется ссылка, но это уже следствие семантики самого элемента, а не pattern matching.