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

case is T только проверяет, что значение совместимо с типом T; само значение в шаблон не извлекается. case let value as T одновременно проверяет совместимость, выполняет условительное приведение и связывает приведённое значение с переменной value.

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

Swift объединяет проверку типов и pattern matching в едином синтаксисе switch, чтобы ветвление оставалось декларативным и безопасным. Такой подход заменяет ручные проверки типа, последующие приведения и отдельное управление неудачным результатом.

Проверка is нужна, когда важен только факт принадлежности к типу. Шаблон с as появился для сценариев, где после успешной проверки требуется сразу работать со значением как с конкретным типом.

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

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

Если вместо этого требуется использовать объект как T, отсутствие связывания приводит к дополнительному приведению или к ошибке проектирования. Неверное принудительное приведение через as! также может вызвать аварийное завершение при неожиданном типе.

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

Шаблон case is T выполняет проверку динамического типа значения. Он не создаёт новую копию объекта и не связывает его с локальной переменной. Для ссылочного объекта проверка не меняет идентичность объекта; для значения она также не предоставляет извлечённое значение в новом статическом типе.

Шаблон case let value as T проверяет возможность условительного приведения. При успехе переменная value получает статический тип T, а при неудаче ветка не совпадает. Для класса это обычно та же ссылка на объект, а не новый экземпляр; для значения результат имеет семантику соответствующего значения типа T.

let item: Any = 42

switch item {
case is Int:
    print("это целое число")
case let number as Double:
    print(number)
default:
    print("другой тип")
}

if case let number as Int = item {
    print(number + 1)
}

В первой ветке число только распознаётся. Во второй конструкции оно связывается с number как Int, поэтому его можно использовать в арифметическом выражении. Если значение не соответствует Int, тело if case не выполняется.

Порядок ветвей в switch имеет значение: проверка выполняется сверху вниз, и выбирается первая совпавшая ветка. Поэтому более общий шаблон, например case is Any, должен располагаться после более специфичных проверок.

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

Слой обработки событий получает значения типа Any. Для события, которое нужно только классифицировать, подходит case is NetworkEvent: он не вводит лишнее имя и ясно показывает, что дальнейшая обработка не использует содержимое.

Если обработчику нужны свойства события, вариант case let event as NetworkEvent предпочтительнее. Ручная последовательность проверки через is и последующего as! хуже: она длиннее, дублирует условие и допускает аварийное завершение при рассинхронизации проверки и приведения.

Можно использовать as? вне switch, но тогда придётся отдельно обрабатывать полученный Optional. Шаблон case let ... as ... компактнее связывает успешный результат с веткой, сохраняя безопасное поведение при несовпадении типов.

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

Выполняет ли case let value as T преобразование числового значения между типами?

Нет. Это проверка совместимости типа, а не числовая конверсия. Значение Int, хранящееся в Any, не станет Double только потому, что оба типа представляют числа; для этого нужна явная и осознанная конверсия.

Создаёт ли связывание через as новый объект при приведении экземпляра класса?

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

Можно ли заменить case let value as T на case is T, а затем использовать исходное значение как T?

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