Rivalry2

HTML Diff

0 added 0 removed

Original 2026-01-01

Modified 2026-02-26

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

2 <p>Код, который работает с этими данными, будет сохранять их в базу данных, отправлять и получать по сети и проверять статус заказа. Если использовать общий тип для таких данных, например, string, то появляется множество проблем:</p>

3 <ul><li>Компилятор не увидит опечаток</li>

4 <li>Компилятор не увидит использование недопустимых статусов</li>

5 <li>Мы не сможем увидеть, какие статусы у нас есть</li>

6 <li>Не сработает автоматическое дополнение в редакторе</li>

7 </ul><p>Для решения этой задачи TypeScript поддерживает литеральный тип. Они доступны только для типов string, boolean, number и BigInt:</p>

8 <p>С точки зрения теории множеств такой тип представляет собой множество, которое состоит из одного элемента. А для системы типов это ограничение - переменной не может быть присвоено ничего, кроме указанного значения:</p>

9 <h2>Объединение литеральных типов</h2>

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

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

12 <h2>Строковые перечисления</h2>

13 <p>Эта проблема в большинстве языков реализуется через перечисления, которые также добавлены в TypeScript:</p>

14 <p>Но в TypeScript с перечислениями не все так хорошо.</p>

15 <p>Обычно считается, что TypeScript - это надстройка над JavaScript, которая добавляет типы, не меняя сам язык. В случае с Enum, это не так. Перечисления - это конструкция языка, которая остается существовать в коде после трансляции кода в JavaScript. По этой причине некоторые разработчики используют вместо них Union Types, которые позволяют сделать практически то же самое с помощью строковых литералов.</p>

16 <p>При этом все равно рекомендуется использовать Enum в прикладном коде, потому что это дает дополнительные гарантии надежности. А в коде библиотек использовать Union Types, потому что это более гибко и дает дополнительные возможности.</p>

17 <h2>Литеральные объекты</h2>

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

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

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

21 <h2>Приведение к литеральному типу</h2>

22 <p>В случае с объектами конфигурации часто мы не хотим, чтобы их меняли извне, и ожидаем конкретных значений внутри. Здесь нам на помощь приходит приведение типа к литеральному через Type Assertion as const:</p>

23 <p>На выходе мы получаем readonly - тип с неизменяемыми полями и литеральными типами в значении. Такая техника также применима к массивам. Она превращает их в кортежи - массивы фиксированной длины. И так же они будут защищены от изменений.</p>