Типы в TypeScript: string, number, boolean и другие

Типы TypeScript описывают, какое значение может хранить переменная. Тип пишут после двоеточия, let name: string, и компилятор отвергает любой код, который кладёт туда значение не того вида. Базовые типы это семь примитивов JavaScript плюс объектные типы для массивов и объектов.

let title: string = "TypeScript";
let version: number = 7;
let isStrict: boolean = true;
let big: bigint = 9007199254740993n;
let id: symbol = Symbol("id");
let nothing: null = null;
let notSet: undefined = undefined;

let scores: number[] = [90, 72, 85];
let user: { name: string; age: number } = { name: "Ada", age: 36 };

console.log(title, version, isStrict, big, id);
console.log(nothing, notSet);
console.log(scores, user);

Аннотации проверяются во время компиляции и затем удаляются. Запускается обычный JavaScript.

Примитивные типы

Имена типов пишутся строчными буквами. typeof во время выполнения возвращает те же слова для большинства из них, поэтому typeof x === "number" и есть способ проверить примитивный тип значения, пока программа работает.

Аннотации типов

Аннотация это : Type после переменной, параметра или списка параметров функции. Важнее всего аннотации у параметров: TypeScript не может угадать, что передаст вызывающий код.

function describe(name: string, age: number, admin: boolean): string {
    return `${name} (${age})${admin ? " [admin]" : ""}`;
}

let label: string = describe("Ada", 36, true);
console.log(label); // Ada (36) [admin]

// Without an annotation, TypeScript infers the type from the value:
let count = 10; // count: number
count = count + 1;
console.log(count); // 11

Если переменная инициализируется в той же строке, аннотация обычно лишняя: у let count = 10 уже тип number. Правила, когда тип можно не писать, описаны на странице вывод типов.

Неверный тип это ошибка компиляции

Присвойте значение не того типа, и компилятор остановится до того, как что-либо запустится:

// This does not compile: a string is not a number.
let port: number = 8080;
port = "3000";
console.log(port);

Компилятор выводит:

index.ts(3,1): error TS2322: Type 'string' is not assignable to type 'number'.

Исправление: преобразовать значение, port = Number("3000"), или поменять аннотацию, если переменная действительно должна хранить текст.

number: целочисленного типа нет

JavaScript хранит любое число как 64-битное значение с плавающей точкой, поэтому в TypeScript есть единственный тип number. Целые числа точны до Number.MAX_SAFE_INTEGER (2 ** 53 - 1). Дальше используйте bigint.

let price: number = 19.99;
let quantity: number = 3; // also number: no int type

console.log(Number.isInteger(quantity)); // true
console.log(Number.isInteger(price));    // false
console.log(Math.trunc(7 / 2));          // 3 (integer division)
console.log(0.1 + 0.2);                  // 0.30000000000000004

console.log(Number.MAX_SAFE_INTEGER);     // 9007199254740991
console.log(Number.MAX_SAFE_INTEGER + 2); // 9007199254740992 (wrong)

let exact: bigint = 9007199254740991n + 2n;
console.log(exact); // 9007199254740993n

// @ts-expect-error: bigint and number cannot be mixed
const mixed = () => exact + 1;
console.log(exact + BigInt(1), Number(exact)); // 9007199254740994n 9007199254740992

bigint и number не смешиваются: exact + 1 это ошибка компиляции (TS2365: Operator '+' cannot be applied to types 'bigint' and '1'., где '1' это литеральный тип значения 1), а если бы код всё же запустился, то ещё и TypeError во время выполнения. Явно преобразуйте одну из сторон через BigInt(1) или Number(exact), помня, что Number округляет значения за пределами безопасного диапазона.

Тип, который принимает только целые числа, TypeScript для произвольных значений выразить не может. Проверяйте через Number.isInteger там, где значение попадает в программу.

boolean

У boolean ровно два значения, true и false. Значения, которые просто truthy (1, "yes"), булевыми не являются, поэтому превращайте их в булево через Boolean(x) или x !== 0.

let loggedIn: boolean = false;
const items: string[] = ["a", "b"];

const hasItems: boolean = items.length > 0;
const hasName: boolean = Boolean("Ada");

console.log(loggedIn, hasItems, hasName); // false true true

null и undefined

При включённом strict (по умолчанию начиная с TypeScript 6.0) null и undefined это отдельные типы, они не входят ни в string, ни в number, ни в какой другой тип. Переменная, которая может быть пустой, говорит об этом через объединение:

let nickname: string | undefined;
console.log(nickname); // undefined

nickname = "Ace";
console.log(nickname.toUpperCase()); // ACE

let middleName: string | null = null;
console.log(middleName ?? "(none)"); // (none)

Чтение свойства значения, которое может быть undefined, остаётся ошибкой компиляции, пока вы его не проверите. Проверки, ?. и ?? описаны на странице null и undefined.

Массивы и объекты вкратце

Всё, что не примитив, относится к объектным типам. Три формы, которые встречаются первыми:

let tags: string[] = ["ts", "js"];               // array of strings
let point: { x: number; y: number } = { x: 1, y: 2 }; // object with two number properties
let greet: (name: string) => string = (n) => `hi ${n}`; // function type

У каждой есть своя страница: массивы, кортежи (массивы фиксированной длины), объектные типы и типы функций.

string, number, boolean против String, Number, Boolean

Имена с заглавной буквы это типы объектов-обёрток JavaScript (new String("x")), а не обычных значений. В аннотациях пишите имена строчными буквами.

// This does not compile: String (the wrapper) is not string (the primitive).
const wrapped: String = "text";
const plain: string = wrapped;
console.log(plain);

index.ts(3,7): error TS2322: Type 'String' is not assignable to type 'string'.
  'string' is a primitive, but 'String' is a wrapper object. Prefer using 'string' when possible.

Замените String на string в первой строке, и блок запустится. То же относится к Number, Boolean, Symbol и BigInt. (Object особый случай: он принимает почти любое значение, включая примитивы; см. объектные типы.)

Другие встроенные типы

Ещё несколько типов встречаются рано. У каждого своя страница.