Бесплатный курс по TypeScript. Зарегистрируйтесь для отслеживания прогресса →

TypeScript: Тип never (возврат из функции)

В этом уроке познакомимся с типом never.

Использование типа never

Тип never используется, когда функция гарантированно ничего не возвращает. Например, если внутри функции есть бесконечный цикл:

function infiniteLoop(): never {
  while (true) {
    // Какая-то логика
  }
}

Мы явно указали, что функция infiniteLoop ничего не возвращает.

Еще тип never используется, если функция выбрасывает исключение:

function stop(message: string): never {
  throw new Error(message);
}

Также тип never используется, когда функция завершает программу:

function exit(code: number = 0): never {
  process.exit(code);
}

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

// A function returning 'never' cannot have a reachable end point.
function printSomething(): never {
  console.log('hexlet');
}

Функция printSomething() ничего не возвращает явно. Но так как она завершается в принципе, JavaScript подставляет неявный возврат undefined.

never автоматически выводится даже там, где прописан явный возврат. Но компилятор видит, что этот возврат невозможен:

function fail() { // Автоматически выводится never
  // функция exit, определенная выше, имеет возвращаемый тип never
  return exit(1);
}

Задание

Реализуйте функцию fail(), которая выбрасывает любое исключение. Пропишете ее возвращаемый тип явно.

Упражнение не проходит проверку — что делать? 😶

Если вы зашли в тупик, то самое время задать вопрос в «Обсуждениях». Как правильно задать вопрос:

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

Тесты устроены таким образом, что они проверяют решение разными способами и на разных данных. Часто решение работает с одними входными данными, но не работает с другими. Чтобы разобраться с этим моментом, изучите вкладку «Тесты» и внимательно посмотрите на вывод ошибок, в котором есть подсказки.

Мой код отличается от решения учителя 🤔

Это нормально 🙆, в программировании одну задачу можно выполнить множеством способов. Если ваш код прошел проверку, то он соответствует условиям задачи.

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

Прочитал урок — ничего не понятно 🙄

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

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

Полезное


Нашли ошибку? Есть что добавить? Пулреквесты приветствуются https://github.com/hexlet-basics
Если вы столкнулись с трудностями и не знаете, что делать, задайте вопрос в нашем большом и дружном сообществе