Примитивные типы Number, String, Boolean, Symbol, BigInt¶

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

Важно¶

Помимо того, что система типов TypeScript включает в себя все существующие в JavaScript типы данных, некоторые из них подверглись более очевидному уточнению.

Типы данных, чьи идентификаторы начинаются с прописной буквы (Type), представляют собой объектные типы (ссылочные типы), описывающие одноимённые типы из JavaScript (Number, String, Boolean и т.д.). Проще говоря, типы, знакомые по JavaScript и начинающиеся с большой буквы, представляют собой конструкторы. В TypeScript подобные типы описаны с помощью глобальных интерфейсов (interface) и помимо того, что их можно расширять (extends) и реализовывать (implements), их также можно указывать в аннотации типа. Но сразу стоит сделать акцент на том, что указывать их в аннотации следует только тогда, когда подразумевается именно конструктор. Для остальных случаев существуют типы, идентификаторы которых начинаются со строчной буквы (type). Имена типов, начинающихся с маленькой буквы, являются зарезервированными ключевыми словами и представляют литералы примитивных значений, то есть непосредственно числа, строки и другие значения. Данные типы предназначены для указания в аннотациях, а не для использования в механизмах, как, например, наследование или расширение.

Number примитивный числовой тип¶

В TypeScript, как и в JavaScript, все производные от number являются 64-битными числами двойной точности с плавающей запятой.

Помимо того, что в TypeScript существует тип Number, представляющий собой конструктор одноименного типа из JavaScript, также существует тип number, представляющий собой примитивные значения числовых литералов.

let v1: number; // v1: number явно
let v2 = 5.6; // v2: number неявно

Напомню, что числа могут записываться в двоичной, восьмеричной, десятичной, шестнадцатеричной системе счисления.

let binary: number = 0b101;
let octal: number = 0o5;
let decimal: number = 5;
let hex: number = 0x5;

Помимо этого тип number неявно преобразуется в тип Number, но не наоборот.

let n: number = 5;
let N: Number = new Number(5);

N = n; // Ok
n = N; // Error -> Type 'Number' is not assignable to type 'number'.

В случаях, когда тип не указан явно, а в качестве значения ожидается результат вызова конструктора, вывод типов определяет принадлежность к типу конструктора, только если конструктор был вызван при помощи оператора new.

let v0 = Number(5); // let v0: number
let v1 = new Number(5); // let v1: Number

В TypeScript поведение типа Number идентично поведению одноимённого типа в JavaScript.

String примитивный строковый тип¶

Примитивный тип String представляет собой последовательность символов в кодировке Unicode UTF-16. Строки могут быть заключены в одинарные или двойные кавычки, а также в обратные апострофы (инициаторы так называемых шаблонных строк).

Помимо того, что в TypeScript существует тип String, описывающий одноименный конструктор из JavaScript, также существует тип string, представляющий собой примитивные значения строковых литералов.

let v1: string; // v1: string явно
let v2 = 'Bird'; // v2: string неявно
let v3: string = 'Fish'; // v3: string явно
let v4: string = `Animals: ${v2}, ${v3}.`; // v4: string явно

Тип string неявно преобразуется в тип String, но не наоборот.

let s: string = '';
let S: String = new String('');

S = s; // Ok
s = S; // Error -> Type 'String' is not assignable to type 'string'.

И, кроме этого, вывод типов выводит принадлежность к типу конструктора, только если он был вызван с помощью оператора new.

let v0 = String(''); // let v0: string
let v1 = new String(''); // let v1: String

В TypeScript поведение типа String идентично поведению одноимённого типа в JavaScript.

Boolean примитивный логический тип¶

Примитивный тип Boolean является логическим типом и представлен значениями "истина" true и "ложь" false.

Помимо того, что в TypeScript существует тип Boolean, представляющий собой одноименный конструктор из JavaScript, также существует тип boolean, представляющий собой примитивные значения логических литералов.

let isV1Valid: boolean; // явно
let isV2Valid = false; // неявно

Тип boolean неявно преобразуется в тип Boolean, что делает его совместимым с ним, но не наоборот.

let b: boolean = true;
let B: Boolean = new Boolean(true);

B = b; // Ok
b = B; // Error -> Type 'Boolean' is not assignable to type 'boolean'.

И, кроме этого, вывод типов выводит принадлежность к типу конструктора, только если он был вызван с помощью оператора new.

let v0 = Boolean(''); // let v0: boolean
let v1 = new Boolean(''); // let v1: Boolean

В TypeScript поведение типа Boolean идентично поведению одноимённого типа в JavaScript.

Symbol примитивный символьный тип¶

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

Помимо того, что в TypeScript существует тип Symbol, описывающий одноименный конструктор из JavaScript, также существует тип symbol, представляющий собой примитивные значения литералов.

let v1: symbol; // v1: symbol явно
let v2 = Symbol('animal'); // v2: symbol неявно

Тип symbol неявно преобразуется в тип Symbol, что делает его совместимым с ним, но не наоборот.

let s: symbol = Symbol.for('key');
let S: Symbol = Symbol.for('key');

S = s; // Ok
s = S; // Error -> Type 'Symbol' is not assignable to type 'symbol'.

Поскольку конструктор Symbol нельзя вызвать с помощью оператора new, вывод типов всегда будет определять принадлежность к типу symbol. И, кроме этого, вывод типов выводит принадлежность к типу конструктора, только если он был вызван с помощью оператора new.

let v0 = Symbol(''); // let v0: symbol

Тип symbol предназначен для аннотирования символьных литералов. В TypeScript поведение типа Symbol идентично поведению одноимённого типа в JavaScript.

BigInt примитивный числовой тип¶

BigInt — примитивный числовой тип, позволяющий безопасно работать с числами произвольной точности, в том числе значениями, выходящими за пределы, установленные типом Number. Примитивный тип BigInt указывается с помощью ключевого слова bigint.

let bigInt: bigint =
  BigInt(Number.MAX_VALUE) + BigInt(Number.MAX_VALUE);

Но стоит заметить, что на данный момент (конец 2018 года) из-за плохой поддержки типа BigInt TypeScript позволяет работать с ним лишь при установленной опции компилятора --target в значение ESNext.

Тип bigint предназначен для аннотирования числовых значений с произвольной точностью. В TypeScript поведение типа BigInt идентично поведению одноимённого типа в JavaScript.