infer brukes inne i en conditional type for å fange (ekstrahere) en type fra innenfor en annen type til en ny typevariabel du deretter kan bruke. Det er mønstergjenkjenning for typer.
ts
<T> = T (infer U)[] ? U : ;
A = <[]>;
B = <[]>;
Les det som: "hvis T samsvarer med mønsteret U[], bind U til det som enn element-typen er, og returner den." infer U deklarerer en plassholder som kompilatoren fyller ved mønstergjenkjenning.
// 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;
Du kan bruke flere inferer i ett mønster og til og med rekursere.
infer er motoren bak innebygde typer som ReturnType, Parameters, Awaited og InstanceType, og bak bibliotekmagikk som utleder responstyper fra hentere eller egenskaper fra komponenter.
Det lar typekode "åpne" en kompleks type og trekke ut de indre delene — det kraftigste verktøyet for å skrive typer som tilpasser seg andre typer.
Et bibliotek av IT-intervjuspørsmål med detaljerte svar — fra Junior til Senior.
Doner