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

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

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

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

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

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

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

Неверное понимание Never также опасно в архитектуре приложения. Это не универсальная замена обработке ошибок: вызов функции с таким результатом не даёт вызывающему коду возможности продолжить работу.

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

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

func stopApplication(_ message: String) -> Never {
    fatalError(message)
}

func positiveValue(_ text: String) -> Int {
    guard let value = Int(text), value > 0 else {
        stopApplication("Ожидалось положительное число")
    }
    return value
}

let value: Int = stopApplication("Критическая ошибка")

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

Never отличается от Void. Void фактически означает наличие единственного пустого значения: функция завершилась, и управление вернулось вызывающему коду. Never означает отсутствие нормального завершения вообще.

Тип Never не означает автоматически завершение процесса. Функция может зациклиться навсегда или завершить поток другим способом. Например, fatalError обычно аварийно завершает выполнение, а бесконечный цикл не возвращает управление, но может продолжать потреблять ресурсы.

Для recoverable-сбоев обычно применяют throws, Result или optional. Never уместен для нарушений инвариантов, недостижимых состояний и ситуаций, в которых продолжение работы программы не имеет корректного смысла.

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

В модуле конфигурации обнаружено отсутствие обязательного ключа. Возможны три решения: вернуть optional, использовать throws или немедленно остановить выполнение через функцию с результатом Never.

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

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

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

Чем Never отличается от Void?

Void — это псевдоним пустого кортежа (), и такое значение существует. Функция с результатом Void нормально возвращает управление, например после записи в журнал. Never не имеет значений, поэтому функция с таким результатом не может завершиться обычным return.
Гарантирует ли Never, что процесс обязательно завершится?

Нет. Never гарантирует только отсутствие нормального возврата из функции. Реализация может вызвать fatalError, войти в бесконечный цикл или использовать другой механизм, после которого вызывающий код не продолжится. Тип описывает контракт управления, а не конкретную причину остановки.
Заменяет ли Never обработку исключительных ситуаций?

Нет. Если ошибка ожидаема и у вызывающего кода есть разумный способ восстановиться, следует использовать throws, Result или optional. Never подходит для фатальных нарушений инвариантов и недостижимых состояний; его применение к обычным ошибкам ухудшает тестируемость и делает компонент менее переиспользуемым.