Typenarrowing in TypeScriptExplained

23 of 23 rows

Techniek↕	Wat het vernauwt↕	Voorbeeld↕
Ingebouwde guards
⤢typeof	Vernauwt primitieven: string, number, boolean en meer.	if (typeof x === 'string') x.toUpperCase()
⤢instanceof	Vernauwt naar een instantie van een klasse of iets constructeerbaars.	if (e instanceof Error) e.message
⤢in	Vernauwt door te controleren of een property op de waarde bestaat.	if ('id' in obj) obj.id
⤢Array.isArray()	Vernauwt elke waarde naar een array; vernauwt een union naar zijn array-lid.	if (Array.isArray(x)) x.map(f)
Eigen guards
⤢x is Type	Een predicaatfunctie waarvan de return het argument vernauwt.	function isUser(x): x is User { return !!x.id }
⤢x is A | B	Een predicaat kan vernauwen naar een unie van typen, niet alleen naar één.	function isKey(x): x is string | number
⤢x is T & {…}	Een intersectie-predicaat houdt het inputtype en voegt er velden aan toe.	function hasId(x): x is x & { id: string }
⤢asserts x is Type	Een assertion-functie die gooit tenzij x van het type is.	function assertUser(x): asserts x is User
Discriminated unions
⤢kind / type tag	Vernauwt een unie op een gedeeld letterlijk veld, via switch of if.	type E = { kind: 'a'; a: number } | { kind: 'b'; b: string }
⤢switch (u.kind)	Elke case vernauwt naar één lid van de unie.	switch (u.kind) { case 'a': u.a }
⤢in as discriminant	Vernauwt een untagged unie wanneer een property op precies één lid bestaat.	if ('b' in u) u.b
⤢switch (true)	Elke case is een voorwaarde; de getroffen case vernauwt de waarde.	switch (true) { case typeof x === 'string': }
⤢assert never	De default-case wijst toe aan never en bewijst dat de switch volledig is.	default: { const x: never = u }
Gelijkheid en flow
⤢=== null / undefined	Verwijdert null en undefined na een gelijkheidscheck.	if (x === null) return; x.toFixed()
⤢truthiness	Verwijdert falsy-waarden (0, '', null, undefined, NaN).	if (!x) return; // x is defined here
⤢x?.y truthy	Een truthy geketende property bewijst dat de basiswaarde aanwezig is.	if (user?.active) user.name
⤢x!	Non-null assertion verwijdert null en undefined zonder check.	x!.toFixed(2)
⤢let x!: T	Definite assignment: verklaart dat x wordt toegekend voordat hij wordt gelezen.	let name!: string; init()
⤢control-flow analysis	Narrowing geldt binnen de tak en na vroege returns.	if (!arr) return; arr.map(...)
Gealiaseerd en uitgesteld
⤢aliased condition	Een const met een booleaanse waarde die een check vasthoudt, vernauwt overal waar hij wordt getest.	const isStr = typeof x === 'string'; if (isStr) …
⤢const capture	Een const-variabele houdt zijn narrowing binnen closures die hem vastleggen.	const s = get(); if (s) use(() => s.length)
⤢last assignment (5.4)	Sinds TS 5.4 houdt een let of parameter zijn narrowing in closures na zijn laatste toekenning.	let n: string | null = get(); if (n) use(() => n.length)
⤢narrowing unknown	unknown kan niet worden gebruikt tot een guard hem naar een echt type vernauwt.	if (typeof u === 'string') u.length