Çfarë bën fjala kyçe `infer`?

Question

Accepted Answer

`infer` përdoret brenda një **conditional type** për të *kapur* (nxjerrë) një tip nga brenda një tipi tjetër në një ndryshore të ri tipi që mund ta përdorni më pas. Është përputhje e modeleve për llojet. ```ts // Extract the element type of an array type ElementOf = T extends (infer U)[] ? U : never; type A = ElementOf; // string type B = ElementOf; // number ``` Lexojeni si: "nëse `T` përputhet me modelin `U[]`, lidhni `U` me çfarëdo që është lloji i elementit dhe kthejeni atë." `infer U` shpall një zëvendësues që përmbledhësi e mbush nëpërmjet përputhjes së modeleve. ## Nxjerra e zakonshme nga bota reale ```ts // the resolved type of a Promise type Awaited2 = T extends Promise ? R : T; type R = Awaited2>; // User // a function's return type (this is how ReturnType is built) type MyReturn = T extends (...args: any[]) => infer R ? R : never; type X = MyReturn<() => number>; // number // a function's first parameter type FirstArg = T extends (a: infer A, ...rest: any[]) => any ? A : never; ``` ## Infer të shumtë dhe rekursiv ```ts type UnwrapBoth = T extends Promise ? UnwrapBoth : // recurse to unwrap nested promises T extends (infer E)[] ? E : T; ``` Mund të përdorni disa `infer` në një model dhe madje edhe rekursion. ## Pse ka rëndësi `infer` është motori prapa tipeve të ndërtuar si `ReturnType`, `Parameters`, `Awaited` dhe `InstanceType`, dhe prapa magjisë të bibliotekave që nxjerr llojet e përgjigjeve nga fetcher-ët ose props nga komponentët. Ejo i lejon kodit të tipeve të "hapë" një tip kompleks dhe të nxjerrë pjeset e brendshme — mjeti më i fuqishëm për të shkruar llojet që përshtaten me llojet e tjerë.