सशर्त प्रकार और अनुमान

सशर्त प्रकार आपको विरासत संबंधों के आधार पर गैर-तुच्छ प्रकार के निर्णय व्यक्त करने की अनुमति देते हैं। वाक्यविन्यास जावास्क्रिप्ट के टर्नरी ऑपरेटर जैसा दिखता है:

T extends U ? X : Y

यदि प्रकार T U को सौंपा जा सकता है, तो परिणामी प्रकार X होगा, अन्यथा यह Y होगा।

बुनियादी सशर्त प्रकार

एक सशर्त प्रकार संकलन समय पर एक शर्त का मूल्यांकन करता है:

type IsNumber<T> = T extends number ? true : false;

type A = IsNumber<number>; // true
type B = IsNumber<string>; // false

लचीले और गतिशील उपयोगिता प्रकार बनाने के लिए जेनरिक के साथ संयुक्त होने पर यह पैटर्न बेहद शक्तिशाली होता है।

infer के साथ एक्सट्रैक्शन टाइप करें

सशर्त प्रकार के extends खंड के अंदर, हम संकलक द्वारा अनुमानित प्रकार के चर को घोषित करने के लिए infer कीवर्ड का उपयोग कर सकते हैं।

उदाहरण के लिए, यदि हम किसी फ़ंक्शन का रिटर्न प्रकार निकालना चाहते हैं:

type GetReturnType<T> = T extends (...args: any[]) => infer R ? R : never;

type ExampleFunction = () => string;
type Return = GetReturnType<ExampleFunction>; // string

इस उदाहरण में, infer R टाइपस्क्रिप्ट को फ़ंक्शन के रिटर्न प्रकार को स्वचालित रूप से निर्धारित करने और इसे सशर्त की सकारात्मक शाखा में R के रूप में उपलब्ध कराने के लिए कहता है।

खुद कोशिश करना

अभ्यास 1: IsString प्रकार

अभ्यास 2: infer के साथ एक सरणी से एक प्रकार निकालना