Звуження типів у TypeScriptExplained

23 of 23 rows

Техніка↕	Що звужує↕	Приклад↕
Вбудовані guard'и
⤢typeof	Звужує примітиви: string, number, boolean та інші.	if (typeof x === 'string') x.toUpperCase()
⤢instanceof	Звужує до екземпляра класу або конструйованого типу.	if (e instanceof Error) e.message
⤢in	Звужує, перевіряючи наявність властивості на значенні.	if ('id' in obj) obj.id
⤢Array.isArray()	Звужує будь-яке значення до масиву; union — до його члена-масиву.	if (Array.isArray(x)) x.map(f)
Власні guard'и
⤢x is Type	Функція-предикат, чий результат звужує аргумент.	function isUser(x): x is User { return !!x.id }
⤢x is A | B	Предикат може звужувати до union'у типів, а не лише до одного.	function isKey(x): x is string | number
⤢x is T & {…}	Предикат-перетин зберігає вхідний тип і додає до нього поля.	function hasId(x): x is x & { id: string }
⤢asserts x is Type	Assertion-функція, яка кидає виняток, якщо x не є цим типом.	function assertUser(x): asserts x is User
Discriminated union'и
⤢kind / type tag	Звужує union за спільним literal-полем через switch або if.	type E = { kind: 'a'; a: number } | { kind: 'b'; b: string }
⤢switch (u.kind)	Кожен case звужує до одного члена union'у.	switch (u.kind) { case 'a': u.a }
⤢in as discriminant	Звужує union без тегу, коли властивість є лише в одного члена.	if ('b' in u) u.b
⤢switch (true)	Кожен case — умова; відповідний case звужує значення.	switch (true) { case typeof x === 'string': }
⤢assert never	Гілка default привласнює значення never, доводячи повноту switch.	default: { const x: never = u }
Рівність & потік
⤢=== null / undefined	Видаляє null та undefined після перевірки рівності.	if (x === null) return; x.toFixed()
⤢truthiness	Видаляє falsy-значення (0, '', null, undefined, NaN).	if (!x) return; // x is defined here
⤢x?.y truthy	Truthy-властивість у ланцюжку доводить наявність базового значення.	if (user?.active) user.name
⤢x!	Non-null assertion видаляє null та undefined без перевірки.	x!.toFixed(2)
⤢let x!: T	Definite assignment: оголошує, що x привласнюється до читання.	let name!: string; init()
⤢control-flow analysis	Звуження діє всередині гілки та після ранніх return.	if (!arr) return; arr.map(...)
Псевдоніми & відкладене
⤢aliased condition	Const-булеве значення з перевіркою звужує там, де його тестують.	const isStr = typeof x === 'string'; if (isStr) …
⤢const capture	Const-змінна зберігає звуження в замиканнях, що її захоплюють.	const s = get(); if (s) use(() => s.length)
⤢last assignment (5.4)	Починаючи з TS 5.4, let або параметр лишається звуженим у замиканнях після останнього привласнення.	let n: string | null = get(); if (n) use(() => n.length)
⤢narrowing unknown	unknown не можна використати, поки guard не звузить його до реального типу.	if (typeof u === 'string') u.length