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

Шаблон перечисления сопоставляет конкретный case с фактическим значением перечисления и при совпадении извлекает его associated value в локальную переменную. Тип этой переменной берётся из объявления связанного значения в самом case, поэтому извлечение не требует принудительного приведения типа.

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

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

Pattern matching нужен для одновременной проверки варианта и структурного разбора его содержимого. Это делает обработку состояний явной и позволяет компилятору проверять полноту сопоставления.

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

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

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

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

У перечисления есть дискриминант — фактический вариант case — и, возможно, связанное значение. Шаблон сначала сравнивает дискриминант, затем при совпадении извлекает payload. Это не обычное приведение значения через as, а структурное сопоставление с типобезопасным разбором.

Например:

enum LoadState {
    case idle
    case loaded([String])
    case failed(String)
}

func message(for state: LoadState) -> String {
    switch state {
    case .idle:
        return "Ожидание"
    case .loaded(let items):
        return "Загружено: \(items.count)"
    case .failed(let reason):
        return "Ошибка: \(reason)"
    }
}

В ветке .loaded(let items) переменная items имеет тип [String], а в ветке .failed(let reason) переменная reason имеет тип String. Запись case let .loaded(items) выражает тот же механизм: let применяется ко всему извлекаемому связанному значению.

Шаблон может извлекать несколько связанных значений, если конкретный case их содержит. Также сопоставление можно ограничить дополнительным условием where, но само условие выполняется только после проверки варианта и связывания данных.

Важное ограничение: шаблон перечисления работает с известной структурой конкретного enum. Он не заменяет проверку произвольного значения через is или as, потому что не пытается угадать тип объекта, а анализирует заранее объявленные варианты перечисления.

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

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

Вариант с несколькими флагами вроде isLoading, error и items создаёт недопустимые комбинации: например, одновременно можно получить признак ошибки и успешный результат. Такой дизайн усложняет проверку согласованности состояния.

Выбранное решение — перечисление со связанными значениями. Каждый case описывает допустимую комбинацию состояния и данных, а switch извлекает payload только в соответствующей ветке. В результате код становится проверяемым компилятором, а добавление нового варианта заставляет явно обновить обработчики.

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

Вопрос: Является ли извлечение связанного значения приведением типа во время выполнения?

Ответ: Нет. Для конкретного enum компилятор уже знает, какие данные принадлежат каждому case. Сопоставление проверяет вариант перечисления и извлекает значение с заранее известным статическим типом; механизм не аналогичен as? для произвольных типов.
Вопрос: Что произойдёт, если шаблон перечисления пытается извлечь связанное значение не того типа?

Ответ: Такой шаблон не соответствует объявлению перечисления и обычно приводит к ошибке компиляции. Например, если case содержит String, связанная переменная не может быть объявлена как независимый Int через тот же шаблон. Типобезопасность проверяется до запуска программы.
Вопрос: Можно ли сопоставить case перечисления без извлечения его связанного значения?

Ответ: Да. Шаблон может проверять только вариант, когда payload не нужен. Это полезно, если ветка зависит от состояния, но данные внутри него не используются. Неизвлечённое связанное значение при этом не становится доступным в теле ветки и не требует фиктивной переменной.