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

switch по перечислению должен быть исчерпывающим: компилятор проверяет, что обработан каждый возможный вариант. Если в перечисление добавляют новый case, прежний switch без этого варианта или без default перестаёт компилироваться, чтобы код не пропустил новое состояние.

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

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

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

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

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

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

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

Компилятор сопоставляет ветки switch с вариантами перечисления. Если все варианты перечислены явно, конструкция считается исчерпывающей:

enum LoadState {
    case idle
    case loading
    case finished
}

func title(for state: LoadState) -> String {
    switch state {
    case .idle:
        return "Ожидание"
    case .loading:
        return "Загрузка"
    case .finished:
        return "Готово"
    }
}

После добавления, например, case failed, функция должна явно обработать его либо использовать default. Явные ветки лучше показывают намерение и заставляют пересмотреть поведение при изменении модели; default короче, но может скрыть появление новых вариантов.

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

Для перечислений из внешних библиотек может применяться @unknown default. Он позволяет обработать неизвестные будущие варианты и при этом предупредить компилятором о неохваченных известных вариантах. Это полезно на границах модулей, где набор вариантов может расшириться независимо от вашего кода.

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

В приложении экран отображает состояние сетевого запроса. Команда добавляет состояние cancelled, а несколько функций используют switch без default.

Вариант с default быстро устраняет ошибки компиляции, но может показать пользователю общее сообщение и скрыть необходимость отдельного UX для отменённого запроса. Вариант с явной веткой cancelled требует изменить несколько мест, зато поведение становится контролируемым и проверяемым.

Оптимальное решение — оставить явные ветки в бизнес-логике и добавить отдельную обработку нового состояния. default оправдан для действительно одинакового fallback-поведения, особенно на границе с внешним или расширяемым типом. В результате добавление вариантов становится заметным событием, а не потенциально тихой ошибкой.

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

Всегда ли нужен default, если перечислены почти все варианты?

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

Что происходит, если в switch есть case let с условием?

Условная ветка покрывает только значения, удовлетворяющие её условию. Остальные значения должны быть обработаны другими ветками или default; сам факт наличия подходящего по типу case не гарантирует исчерпывающий охват.

Зачем нужен @unknown default, если существует обычный default?

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