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

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

Это не изменяет сам объект и не выполняет преобразование между несовместимыми типами. Сопоставление проверяет динамический тип значения и, если он совместим с шаблоном, безопасно открывает его как значение целевого типа.

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

Pattern matching появился как способ выразительно разбирать варианты значений и одновременно выполнять проверки типов. В Swift этот механизм особенно важен из-за наличия Any, протоколов и экзистенциальных типов, когда статический тип переменной может скрывать фактический тип хранимого значения.

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

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

Рассмотрим значение, объявленное как Any, внутри которого фактически находится число. Статический тип Any не позволяет напрямую использовать операции, доступные у Int, но простое приведение без проверки может завершиться ошибкой или потребовать необоснованного доверия к данным.

Неверное понимание механизма приводит к двум типичным ошибкам: ожиданию, что переменная сохранит тип Any, и предположению, что сопоставление преобразует значение в другой тип. В результате код либо не компилируется из-за недоступных операций, либо скрывает ошибочное представление о реальном типе данных.

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

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

let value: Any = 42

switch value {
case let number as Int:
    print(number.isMultiple(of: 2))
case let text as String:
    print(text.count)
default:
    print("Неизвестный тип")
}

В первой ветви number имеет тип Int, во второй text имеет тип String. Исходное значение не мутирует и не копируется в новый тип: меняется только способ статического обращения к уже проверенному значению внутри ветви.

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

Для классов проверяется принадлежность объекта целевому классу или его подклассу, а для протоколов — соответствие динамического типа требованиям протокола. При этом сопоставление не гарантирует сохранение конкретного типа за пределами ветви: после выхода из неё переменная, связанная внутри шаблона, недоступна.

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

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

Сервис аналитики принимает неоднородные события из нескольких источников, поэтому временно представляет их как Any. Для числовых, текстовых и собственных объектов команда рассматривает два варианта: принудительно приводить каждое значение к ожидаемому типу или разбирать его типовым сопоставлением.

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

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

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

1. Сохраняется ли исходный тип переменной после успешного сопоставления?

Нет. Связанная переменная существует только в области соответствующей ветви и получает статический тип типового шаблона. Исходная переменная с типом Any при этом не меняет своего объявления и по-прежнему рассматривается как Any после завершения сопоставления.

2. Выполняет ли типовой шаблон преобразование значения?

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

3. Что произойдёт, если значение равно nil и сопоставляется с типом, не являющимся Optional?

Сопоставление с конкретным не-Optional типом не будет успешным, потому что nil представляет отсутствие значения, а не экземпляр этого типа. Для разбора такой ситуации нужен отдельный шаблон, учитывающий Optional, либо предварительная обработка отсутствующего значения; автоматическое извлечение в обычный тип не происходит.