infer se koristi unutar conditional type kako bi se hvatila (ekstrahirala) tipska vrednost iz unutar drugog tipa u novu tipsku varijablu koju kasnije možete koristiti. To je pattern-matching za tipove.
<T> = T (infer U)[] ? U : ;
A = <[]>;
B = <[]>;
Čitaj kao: "ako se T podudara sa šablonom U[], prosledi U na tip elementa, i vrati ga." infer U deklarira placeholder koji kompajler popunjava podudaranjem.
// 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;
Možete koristiti nekoliko infer opreacija u jednom šablonu i čak rekurzivno.
infer je mehanizam iza ugrađenih tipova kao što su ReturnType, Parameters, Awaited, i InstanceType, i iza bibliotečne magije koja izvlači tipove odgovora iz hvatača podataka ili svojstava iz komponenti.
Omo omogućava tipskom kodu da "otvori" kompleksan tip i izvuče unutrašnje delove — najpotentnije sredstvo za pisanje tipova koji se prilagođavaju drugim tipovima.