צמצום טיפוסים ב-TypeScriptExplained

23 of 23 rows

טכניקה↕	מה היא מצמצמת↕	דוגמה↕
גארדים מובנים
⤢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()	מצמצם כל ערך למערך; מצמצם איחוד לחבר המערך שלו.	if (Array.isArray(x)) x.map(f)
גארדים מותאמים אישית
⤢x is Type	פונקציית predicate שהחזרתה מצמצמת את הארגומנט.	function isUser(x): x is User { return !!x.id }
⤢x is A | B	predicate יכול לצמצם לאיחוד של טיפוסים, לא רק לטיפוס בודד.	function isKey(x): x is string | number
⤢x is T & {…}	predicate הצטלבות שומר על טיפוס הקלט ומוסיף לו שדות.	function hasId(x): x is x & { id: string }
⤢asserts x is Type	פונקציית assertion שזורקת שגיאה אם x אינו הטיפוס.	function assertUser(x): asserts x is User
איחודים מובחנים
⤢kind / type tag	מצמצם איחוד לפי שדה literal משותף, דרך switch או if.	type E = { kind: 'a'; a: number } | { kind: 'b'; b: string }
⤢switch (u.kind)	כל case מצמצם לחבר אחד של האיחוד.	switch (u.kind) { case 'a': u.a }
⤢in as discriminant	מצמצם איחוד ללא תג כשמאפיין קיים על חבר אחד בלבד.	if ('b' in u) u.b
⤢switch (true)	כל case הוא תנאי; ה-case שהתאים מצמצם את הערך.	switch (true) { case typeof x === 'string': }
⤢assert never	ענף ברירת המחדל מקצה את הערך ל-never ובכך מוכיח שה-switch ממצה.	default: { const x: never = u }
שוויון וזרימה
⤢=== null / undefined	מסיר null ו-undefined אחרי בדיקת שוויון.	if (x === null) return; x.toFixed()
⤢truthiness	מסיר ערכי שקר (0, '', null, undefined, NaN).	if (!x) return; // x is defined here
⤢x?.y truthy	מאפיין משורשר truthy מוכיח שערך הבסיס קיים.	if (user?.active) user.name
⤢x!	הצהרת non-null מסירה null ו-undefined בלי בדיקה.	x!.toFixed(2)
⤢let x!: T	השמה ודאית: מצהירה ש-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 שומר על הצמצום שלו בתוך closures שתופסות אותו.	const s = get(); if (s) use(() => s.length)
⤢last assignment (5.4)	החל מ-TS 5.4, let או פרמטר שומרים על הצמצום בתוך closures אחרי ההשמה האחרונה שלהם.	let n: string | null = get(); if (n) use(() => n.length)
⤢narrowing unknown	אי אפשר להשתמש ב-unknown עד שגארד מצמצם אותו לטיפוס אמיתי.	if (typeof u === 'string') u.length