TypeScript टाइप नैरोइंग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	ऐसा प्रेडिकेट फ़ंक्शन जिसका रिटर्न आर्ग्युमेंट को सीमित करता है।	function isUser(x): x is User { return !!x.id }
⤢x is A | B	प्रेडिकेट टाइपों के यूनियन तक सीमित कर सकता है, केवल एक टाइप तक नहीं।	function isKey(x): x is string | number
⤢x is T & {…}	इंटरसेक्शन प्रेडिकेट इनपुट टाइप बनाए रखता है और उसमें फ़ील्ड जोड़ता है।	function hasId(x): x is x & { id: string }
⤢asserts x is Type	ऐसा असर्शन फ़ंक्शन जो थ्रो कर देता है यदि x वह टाइप न हो।	function assertUser(x): asserts x is User
डिस्क्रिमिनेटेड यूनियन
⤢kind / type tag	साझा लिटरल फ़ील्ड के ज़रिए 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	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	नैरोइंग ब्रांच के अंदर और early 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