Примитивный Тип Enum
При создании приложений тяжело обойтись без большого количества специальных конфигурационных значений. Подобные значения разработчики выносят в отдельные классы со статическими свойствами или модули с константами, избавляя таким образом свой код от магических значений.
TypeScript привносит новую синтаксическую конструкцию называемую Enum
(перечисление). enum
представляет собой набор логически связанных констант, в качестве значений которых могут выступать как числа, так и строки.
Enum (enum) примитивный перечисляемый тип
Enum
— это конструкция, состоящая из набора именованных констант, именуемая списком перечисления и определяемая такими примитивными типами, как number
и string
. Enum
объявляется с помощью ключевого слова enum
.
Перечисления с числовым значением
Идентификаторы-имена для перечислений enum
принято задавать во множественном числе. В случае, когда идентификаторам констант значение не устанавливается явно, они ассоциируются с числовым значениями, в порядке возрастания, начиная с нуля.
enum Fruits { Apple, // 0 Pear, // 1 Banana // 2 }
Также можно установить любое значение вручную.
enum Citrus { Lemon = 2, // 2 Orange = 4, // 4 Lime = 6 // 6 }
Если указать значение частично, то компилятор будет стараться соблюдать последовательность.
enum Berries { Strawberry = 1, Raspberry, // 2 Blueberry = 4, Cowberry // 5 }
Компилятор рассчитывает значение автоматически только на основе значения предыдущего члена перечисления. То есть, если первой и третей константе было установленно значение 10
и 20
.
enum Keys { A = 10, B, // 11 C = 20, D // 21 }
Поскольку enum
позволяет разработчику задавать одинаковые значения своим константам, при частично устанавливаемых значениях нужно быть предельно внимательным, что бы не допустить ещё и повторений со стороны самого enum
.
enum Keys { A = 10, B, // 11 C = 10, D // 11 }
Вдобавок ко всему enum
позволяет задавать псевдонимы (alias). Псевдонимам устанавливается значение константы, на которую они ссылаются.
enum Languages { Apple, // en, value = 0 Apfel = Apple, // de, value = 0 LaPomme = Apple // fr, value = 0 }
При обращении к константе перечисления через точечную нотацию, будет возвращено значение. А при обращении к перечислению с помощью скобочной нотации и указания значения в качестве ключа, будет возвращено строковое представление идентификатора константы.
let value: number = Fruits.Apple; // 0 let identificator: string = Fruits[value]; // “Apple”
Поскольку enum
представляет реальные значения без которых программа будет неработоспособна, он обязан оставаться в коде после компиляции. Поэтому, что бы быстрее понять enum
, нужно посмотреть на него в скомпилированном конечном виде. Но прежде создадим его самостоятельно.
1 шаг. Тем, кто ранее работал с enum
уже известно, что он позволяет получать строковое представление константы, а также значение ассоциированное с ней. Поэтому для его создания требуется ассоциативный массив, коими в JavaScript являются объекты. Назовем объект Fruits
и передадим его в качестве аргумента в функцию initialization
, которая будет содержать код его инициализации.
let Fruits = {}; function initialization(Fruits){ }
2 шаг. Создадим поле с именем Apple
и присвоим ему в качестве значения число 0
.
let Fruits = {}; function initialization(Fruits) { Fruits["Apple"] = 0; }
3 шаг. Ассоциация константа-значение произведена, осталось создать зеркальную ассоциацию значение-константа. Для этого создадим ещё одно поле у которого в качестве ключа будет выступать значение 0
, а в качестве значения — строковое представление константы, то есть имя.
let Fruits = {}; function initialization(Fruits) { Fruits[ "Apple" ] = 0; Fruits[ 0 ] = "Apple"; }
4 шаг. Теперь сократим код, но начала вспомним, что результатом операции присваивания является значение правого операнда. Поэтому сохраним результат первого выражения в переменную value
, а затем используем её в качестве ключа во втором выражении.
let Fruits = {}; function initialization(Fruits) { let value = Fruits["Apple"] = 0; //, то же самое, что value = 0 Fruits[value] = "Apple"; //, то же самое, что Fruits[0] = "Apple"; }
5 шаг. Продолжим сокращать и в первом выражении откажемся от переменной value
, а во втором выражении на её место поместим первое выражение.
let Fruits = {}; function initialization( Fruits ){ Fruits[Fruits["Apple"] = 0] = "Apple"; }
6 шаг. Теперь проделаем, то же самое для двух других констант.
let Fruits = {}; function initialization(Fruits) { Fruits[Fruits["Apple"] = 0] = "Apple"; Fruits[Fruits["Lemon"] = 1] = "Lemon"; Fruits[Fruits["Orange"] = 2] = "Orange"; }
7 шаг. Теперь превратим функции initialization
в самовызывающееся функциональное выражение и лучше анонимное.
let Fruits = {}; (function(Fruits) { Fruits[Fruits["Apple"] = 0] = "Apple"; Fruits[Fruits["Pear"] = 1] = "Pear"; Fruits[Fruits["Banana"] = 2] = "Banana"; })(Fruits);
8 шаг. И перенесем инициализацию объекта прямо на место вызова.
let Fruits; (function(Fruits) { Fruits[Fruits["Apple"] = 0] = "Apple"; Fruits[Fruits["Pear"] = 1] = "Pear"; Fruits[Fruits["Banana"] = 2] = "Banana"; })(Fruits || (Fruits = {}));
Перечисление готово. Осталось сравнить созданное перечисление с кодом полученным в результате компиляции.
// enum сгенерированный typescript compiler let Fruits; (function (Fruits) { Fruits[Fruits["Apple"] = 0] = "Apple"; Fruits[Fruits["Pear"] = 1] = "Pear"; Fruits[Fruits["Banana"] = 2] = "Banana"; })(Fruits || (Fruits = {}));
Теперь добавим в рассматриваемое перечисление псевдоним LaPomme
(яблоко на французском языке) для константы Apple
.
enum Fruits { Apple, // 0 Pear, // 1 Banana, // 2 LaPomme = Apple // 0 }
И снова взглянем на получившийся в результате компиляции код. Можно увидеть, что псевдоним создается так же, как обычная константа, но в качестве значения ему присваивается значение идентичное константе на которую он ссылается.
(function (Fruits) { Fruits[Fruits["Apple"] = 0] = "Apple"; Fruits[Fruits["Lemon"] = 1] = "Lemon"; Fruits[Fruits["Orange"] = 2] = "Orange"; Fruits[Fruits["LaPomme"] = 0] = "LaPomme"; // псевдоним })(Fruits || (Fruits = {}));
Перечисления со строковым значением
Помимо значения принадлежащего к типу number
, TypeScript позволяет указывать значения с типом string
.
enum FruitColors { Red = "#ff0000", Green = "#00ff00", Blue = "#0000ff" }
Но в случае, когда константам присваиваются строки, ассоциируется только ключ со значением. Обратная ассоциация (значение-ключ) — отсутствует. Простыми словами, по идентификатору (имени константы) можно получить строковое значение, но по строковому значению получить идентификатор (имя константы) невозможно.
var FruitColors; (function (FruitColors) { FruitColors["Red"] = "#ff0000"; FruitColors["Green"] = "#00ff00"; FruitColors["Blue"] = "#0000ff"; })(FruitColors || (FruitColors = {}));
Тем не менее остается возможность создавать псевдонимы (alias).
enum FruitColors { Red = "#ff0000", Green = "#00ff00", Blue = "#0000ff", Rouge = Red, // fr "#ff0000" Vert = Green, // fr "#00ff00" Bleu = Blue // fr "#0000ff" }
И снова изучим скомпилированный код. Можно убедится, что псевдонимы создаются так же, как и константы. А значение присваиваемое псевдонимам идентично значению констант на которые они ссылаются.
var FruitColors; (function (FruitColors) { FruitColors["Red"] = "#ff0000"; FruitColors["Green"] = "#00ff00"; FruitColors["Blue"] = "#0000ff"; FruitColors["Rouge"] = "#ff0000"; FruitColors["Vert"] = "#00ff00"; FruitColors["Bleu"] = "#0000ff"; })(FruitColors || (FruitColors = {}));
Смешанное перечисление (mixed enum)
Если в одном перечислении объявлены числовые и строковые константы, то такое перечисление называется смешанным (mixed enum).
Со смешанным перечислением связаны две неочевидные особенности.
Первая из них заключается в том, что константам, которым значение не задано явно, присваивается числовое значение по правилам перечисления с числовыми константами.
enum Stones { Peach, // 0 Apricot = "apricot" }
Вторая особенность заключается в том, что если константа, которой значение не было присвоено явно, следует после константы со строковым значением, то такой код не скомпилируется. Причина заключается в том, что как было рассказано в главе “Перечисления с числовым значением”, если константе значение не было установлено явно, то её значение будет рассчитано, как значение предшествующей ей константе +1
, либо 0
, в случае её отсутствия. А так как у предшествующей константы значение принадлежит к строковому типу, то рассчитать число на его основе не представляется возможным.
enum Stones { Peach, // 0 Apricot = "apricot", Cherry, // Error Plum // Error }
Для разрешения этой проблемы в смешанном перечислении, константе, которая была объявлена после константы со строковым значением, необходимо задавать значение явно.
enum Stones { Peach, // 0 Apricot = "apricot", Cherry = 1, // 1 Plum // 2 }
Перечисление в качестве типа данных
Может возникнуть мысль использовать перечисление в качестве типа данных переменной или параметра. Это вполне нормальное желание, но нужно быть очень осторожным: в TypeScript с перечислением связан один достаточно неприятный нюанс.
Дело в том, что пока в перечислении есть хотя бы одна константа с числовым значением, он будет совместим с типом number
. Простыми словами, любое число проходит проверку совместимости типов с любым перечислением.
Функцию, тип параметра которой является смешанным перечислением, благополучно получится вызвать как с константой перечисления в качестве аргумента, так и с любым числом. Вызвать эту же функцию с идентичной константе перечисления строкой уже не получится.
enum Fruits { Apple, Pear, Banana = "banana" } function isFruitInStore(fruit: Fruits): boolean { return true; } isFruitInStore(Fruits.Banana); // ок isFruitInStore(123456); // ок isFruitInStore("banana"); // Error
Если перечисление содержит константы только со строковыми значениями, то совместимыми считаются только константы перечисления указанного в качестве типа.
enum Berries { Strawberry = "strawberry", Raspberry = "raspberry", Blueberry = "blueberry" } function isBerryInStory(berry: Berries): boolean { return true; } isBerryInStory(Berries.Strawberry); // ок isBerryInStory(123456); // Error isBerryInStory("strawberry"); // Error
Поведение не совсем очевидное, поэтому не стоит забывать об этом при использовании перечислений в которых присутствуют константы с числовым значением в качестве типа.
Перечисление const с числовым и строковым значением
Перечисление enum
объявленное с помощью ключевого слова const
после компиляции не оставляет в коде привычных конструкций. Вместо этого компилятор встраивает литералы значений в места, в которых происходит обращение к значениям перечисления. Значения констант перечисления могут быть как числовыми, так и строковыми типами данных. Так же, как и в обычных перечислениях, в перечислениях объявленных с помощью ключевого слова const
, есть возможность создавать псевдонимы (alias) для уже объявленных констант.
Если создать два перечисления Apple
и Pear
, у каждого из которых будет объявлена константа Sugar
с числовым значением, то на основе этих констант можно рассчитать количество сахара в яблочно-грушевом соке. Присвоив результат операции сложения количества сахара в промежуточную переменную, мы получим хорошо читаемое, задекларированное выражение.
const enum Apple { Sugar = 10 } const enum Pear { Sugar = 10 } let calciumInApplePearJuice: number = Apple.Sugar + Pear.Sugar;
После компиляции от перечисления не остается и следа, так как константы будут заменены числовыми литералами. Такое поведение называется inline встраивание.
let calciumInApplePearJuice = 10 + 10;
Обращение к значению через точечную нотацию требует большего времени, чем обращение к литеральному значению напрямую. Поэтому код с inline конструкциями выполняется быстрее по сравнению с кодом, в котором происходит обращение к членам объекта. Прибегать к подобному подходу рекомендуется только в тех частях кода, которые подвержены высоким нагрузкам. За счет перечисления, объявленного с ключевым словом const
, исходный код будет легко читаемым, а конечный код — более производительным.
Тип enum
является уникальным для TypeScript, в JavaScript подобного типа не существует.
Когда стоит применять enum?
Может возникнуть вопрос - "Когда использовать enum и стоит ли это делать с учетом закрепившейся привычки работы со статическими классами и константами?".
Ответ очевиден — безусловно стоит применять тогда, когда нужна двухсторонняя ассоциация строкового ключа с его числовым или строковым значением (проще говоря, карта строковый ключ — числовое значение_числовой ключ — строковое значение_).
Кроме того, enum
лучше всего подходит для определения дискриминантных полей речь о которых пойдет позже.
Ну а тем, кто считает, что скомпилированная конструкция enum
отягощает их код и при этом они пользовались ранее транскомпилятором Babel
, то ответьте себе на вопрос: "Почему вы это делали, если он добавляет в сотню раз больше лишнего кода?". Рассуждение о том, что несколько лишних строк кода испортит или опорочит программу, является пустой тратой драгоценного времени.
Поэтому если есть желание использовать enum
, то делайте это. Мне не доводилось встречать приложения, в которых не было бы enum
, константных классов и просто модулей с константами одновременно. И это более чем нормально.