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

Что такое литеральные типы

Литеральный тип — это тип, который представляет собой конкретное значение. Например:

• строковый литерал "admin",

• числовой литерал 42,

• булевый литерал true.

Если объявить переменную с литеральным типом, она сможет принимать только это значение.

let role: "admin";
role = "admin"; // корректно
role = "user"; // ошибка

Литеральные типы становятся особенно полезны в комбинации с объединениями (union types). Вместо того чтобы позволять строке принимать любое значение, можно ограничить её строго определенным набором вариантов.

Пример использования строковых литералов

Один из типичных случаев — задание фиксированного множества допустимых значений:

type UserRole = "admin" | "editor" | "viewer";
function setRole(role: UserRole) {
console.log(\`Роль установлена: ${role}\`);
}
setRole("admin"); // корректно
setRole("guest"); // ошибка

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

Пример использования числовых литералов

Числовые литеральные типы часто применяются для описания фиксированных констант или ограниченного набора чисел:

type Dice = 1 | 2 | 3 | 4 | 5 | 6;
function roll(dice: Dice) {
return \`Выпало: ${dice}\`;
}
roll(4); // корректно
roll(7); // ошибка

Пример использования булевых литералов

Булевые литералы (true и false) встречаются реже, но могут быть полезны в случаях, когда требуется явно зафиксировать состояние:

type Enabled = true;
type Disabled = false;

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

Когда стоит использовать литеральные типы

1. Ограничение набора значений
   Литеральные типы применяются тогда, когда нужно исключить произвольные данные и оставить только строго определенные варианты.

2. Моделирование доменных сущностей
   В бизнес-логике часто встречаются значения, которые имеют фиксированный набор допустимых состояний: статус заказа ("new", "processing", "done"), тип документа ("pdf", "doc", "xls") и так далее.

3. Безопасность при работе со строками
   Литеральные типы предотвращают распространенную проблему «магических строк». Вместо того чтобы использовать произвольные строковые значения, можно определить четкий контракт и ограничить разработчиков в его рамках.

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

5. Создание дискриминированных объединений
   Литеральные типы часто применяются для определения «тегов» в объединениях, которые позволяют компилятору автоматически сужать типы. Например, разные варианты действий в Redux или статус ответа API.

Итоговое понимание

Литеральные типы — это инструмент, который позволяет сделать систему типов более выразительной и строгой. Они используются тогда, когда нужно жестко зафиксировать возможные значения и исключить все прочие. В реальной разработке чаще всего применяются строковые литералы для описания ролей, статусов и других бизнес-значений, а также числовые для ограниченных диапазонов.