Typenarrowing i TypeScriptExplained

23 of 23 rows

Teknikk↕	Hva den snevrer inn↕	Eksempel↕
Innebygde vakter
⤢typeof	Snevrer inn primitiver: string, number, boolean og flere.	if (typeof x === 'string') x.toUpperCase()
⤢instanceof	Snevrer inn til en instans av en klasse eller noe konstruerbart.	if (e instanceof Error) e.message
⤢in	Snevrer inn ved å sjekke at en egenskap finnes på verdien.	if ('id' in obj) obj.id
⤢Array.isArray()	Snevrer inn enhver verdi til en tabell; snevrer en union til sitt tabellmedlem.	if (Array.isArray(x)) x.map(f)
Egendefinerte vakter
⤢x is Type	En predikatfunksjon hvis returverdi snevrer inn argumentet.	function isUser(x): x is User { return !!x.id }
⤢x is A | B	Et predikat kan snevre inn til en union av typer, ikke bare til én enkelt.	function isKey(x): x is string | number
⤢x is T & {…}	Et snitt-predikat beholder inndatatypen og legger felter til den.	function hasId(x): x is x & { id: string }
⤢asserts x is Type	En assertjonsfunksjon som kaster med mindre x er typen.	function assertUser(x): asserts x is User
Diskriminerte unioner
⤢kind / type tag	Snevrer inn en union etter et felles literal-felt, via switch eller if.	type E = { kind: 'a'; a: number } | { kind: 'b'; b: string }
⤢switch (u.kind)	Hver case snevrer inn til ett medlem av unionen.	switch (u.kind) { case 'a': u.a }
⤢in as discriminant	Snevrer inn en umerket union når en egenskap bare finnes på ett medlem.	if ('b' in u) u.b
⤢switch (true)	Hver case er en betingelse; den treffende casen snevrer inn verdien.	switch (true) { case typeof x === 'string': }
⤢assert never	Default-casen tilordner til never og beviser at switchen er uttømmende.	default: { const x: never = u }
Likhet og flyt
⤢=== null / undefined	Fjerner null og undefined etter en likhetssjekk.	if (x === null) return; x.toFixed()
⤢truthiness	Fjerner falsy-verdier (0, '', null, undefined, NaN).	if (!x) return; // x is defined here
⤢x?.y truthy	En truthy kjedet egenskap beviser at basisverdien finnes.	if (user?.active) user.name
⤢x!	Ikke-null-assertjon fjerner null og undefined uten en sjekk.	x!.toFixed(2)
⤢let x!: T	Bestemt tilordning: erklærer at x tilordnes før den leses.	let name!: string; init()
⤢control-flow analysis	Narrowing gjelder inne i grenen og etter tidlige returer.	if (!arr) return; arr.map(...)
Aliasert og utsatt
⤢aliased condition	En const med boolsk verdi som holder en sjekk, snevrer inn overalt der den testes.	const isStr = typeof x === 'string'; if (isStr) …
⤢const capture	En const-variabel beholder sin narrowing inne i closures som fanger den.	const s = get(); if (s) use(() => s.length)
⤢last assignment (5.4)	Siden TS 5.4 beholder en let eller parameter sin narrowing i closures etter sin siste tilordning.	let n: string | null = get(); if (n) use(() => n.length)
⤢narrowing unknown	unknown kan ikke brukes før en vakt snevrer den inn til en reell type.	if (typeof u === 'string') u.length