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

TypeScript: Литералы (Literal Types)

В программировании встречаются ситуации, когда мы работаем с ограниченным набором значений какого-то типа, например c определенными строками: сюда могут входить справочные данные, статусы и так далее. Как мог бы выглядеть статус заказа:

Created
Paid
Shipped
Delivered

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

Какого типа будут переменные, содержащие такие данные? Если использовать общий тип, например string, то появляется множество проблем:

  • Компилятор не увидит опечаток
  • Компилятор не увидит использование недопустимых статусов
  • Мы не сможем увидеть, какие статусы у нас вообще есть
  • Не сработает автокомплит в редакторе

Для решения этой задачи TypeScript поддерживает литеральный тип. Они доступны только для следующих типов: string, boolean, number и BigInt.

type Hexlet = 'hexlet';
type One = 1;
type False = false;
type BigN = 100n;

С точки зрения теории множеств, такой тип представляет собой множество, состоящее из одного элемента, а для системы типов это ограничение, что переменной не может быть присвоено ничего, кроме указанного значения:

type TestValue = 'test';
let test: TestValue = 'test';

test = 'string'; // Error: Type '"string"' is not assignable to type '"test"'.

Объединение литеральных типов

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

type OrderStatus = 'Created' | 'Paid' | 'Shipped' | 'Delivered';

Также литеральные типы могут комбинироваться с любыми другими типами, так мы можем получить ограничение, под которое попадают все числа и false:

type NumberFalse = number | false;

Enum

Проблема, описанная в этом уроке, в большинстве языков реализуется через перечисления, которые также добавлены в TypeScript:

enum OrderStatus {
  Created,
  Paid,
  Shipped,
  Delivered,
}

Но в TypeScript с перечислениями не все так радужно. TypeScript, как мы помним, это надстройка над JavaScript, добавляющая типы, но не изменяющая сам язык. В случае с Enum это не так. Перечисления — это конструкция языка, которая остается существовать в коде после трансляции кода в JavaScript.

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

Несмотря на рекомендации, Enum встречаются в прикладном коде и коде библиотек и обладают более широкими возможностями. Поэтому в любом случае разработчик на TypeScript должен быть с ними знаком и уметь их использовать.

Литеральные объекты

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

const dataSourceConfig = {
  type: 'postgre', // может также быть mysql
  host: 'localhost',
  port: 5432,
};

const AppDataSource = new DataSource(dataSourceConfig)

Для описания таких объектов используется тип объектных литералов, где поля инициализируются одним литеральным типом или их пересечением:

type DataSourceOption = {
  type: 'postgre' | 'mysql';
  host: string;
  port: number;
}

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

Приведение к литеральному типу

В случае с объектами конфигурации часто мы не хотим, чтобы их меняли извне, и ожидаем конкретных значений внутри, здесь нам на помощь приходит приведение типа к литеральному через as const:

const ormConfig = {
  type: 'mysql';
  host: 'localhost';
  port: 5432;
} as const;

На выходе мы получаем тип с неизменяемыми (readonly) полями и литеральными типами в значении. Такая техника также применима к массивам, превращая их в кортежи, и к примитивам, где вывод литерального типа не срабатывает автоматически.

Задание

Реализуйте функцию makeTurn(), принимающую строку left или right и перемещающую черепашку вперед-назад по одномерной карте длиной пять. Если ход невозможен, должно выброситься исключение.

const { makeTurn, state } = startGame();
console.log(state); // ['turtle', null, null, null, null]

makeTurn('left') // ERROR

makeTurn('right');
makeTurn('right');
console.log(state); // [null, null, 'turtle', null, null]
Упражнение не проходит проверку — что делать? 😶

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

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

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

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

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

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

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

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

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

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