infer हा conditional type च्या अंदर वापरला जातो जेणेकरून एक प्रकार दुसऱ्या प्रकारातून कॅप्चर (निकाल) करायचा आणि नवीन प्रकार व्हेरिएबलमध्ये ठेवायचा जो आपण नंतर वापरु शकतो. हा प्रकारांसाठी pattern-matching आहे.
<T> = T (infer U)[] ? U : ;
A = <[]>;
B = <[]>;
हे वाचा: "जर T हा U[] या नमुन्याशी जुळत असेल, तर U ला element type शी बांधा, आणि परत करा." infer U एक placeholder घोषित करते जो compiler हा pattern matching करून भरतो.
// the resolved type of a Promise
type Awaited2<T> = T extends Promise<infer R> ? R : T;
type R = Awaited2<Promise<User>>; // User
// a function's return type (this is how ReturnType is built)
type MyReturn<T> = T extends (...args: any[]) => infer R ? R : never;
type X = MyReturn<() => number>; // number
// a function's first parameter
type FirstArg<T> = T extends (a: infer A, ...rest: any[]) => any ? A : never;
type UnwrapBoth<T> =
T extends Promise<infer U> ? UnwrapBoth<U> : // recurse to unwrap nested promises
T extends (infer E)[] ? E : T;
आपण एका नमुन्यामध्ये अनेक infer वापरु शकता आणि अगदी पुनरावर्ती करू शकता.
infer हा ReturnType, Parameters, Awaited, आणि InstanceType सारख्या built-in प्रकारांच्या मागे आणि library magic च्या मागे असलेला इंजिन आहे जो response types fetchers किंवा components मधून props निर्माण करतो.
हे type code ला एक जटिल प्रकार "उघडण्यास" आणि अंतर्गत तुकडे काढून घेण्यास परवानगी देते — इतर प्रकारांशी जुळणारे प्रकार लिहिण्यासाठी सर्वात शक्तिशाली साधन.