محدودسازی نوع در تایپ‌اسکریپتExplained

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	case پیش‌فرض به 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	ویژگی زنجیره‌ایِ درست، وجود مقدار پایه را اثبات می‌کند.	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	یک boolean از نوع const که شرطی را نگه می‌دارد، هر جا آزموده شود محدود می‌کند.	const isStr = typeof x === 'string'; if (isStr) …
⤢const capture	متغیر const محدودسازی‌اش را داخل closureهایی که آن را می‌گیرند حفظ می‌کند.	const s = get(); if (s) use(() => s.length)
⤢last assignment (5.4)	از TS 5.4 به بعد، let یا پارامتر بعد از آخرین تخصیصش، محدودسازی را در closureها نگه می‌دارد.	let n: string | null = get(); if (n) use(() => n.length)
⤢narrowing unknown	تا وقتی یک guard آن را به یک نوع واقعی محدود نکند، unknown قابل استفاده نیست.	if (typeof u === 'string') u.length