Примитивные типы 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.