Leggilo come: "se T corrisponde al pattern U[], associa U a qualunque sia il tipo dell'elemento, e restituiscilo." L'infer U dichiara un placeholder che il compilatore riempie abbinando.
// 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;
Puoi usare diversi infer in un pattern e persino ricorrere.
infer è il motore dietro i tipi built-in come ReturnType, Parameters, Awaited e InstanceType, e dietro la magia delle librerie che derivano i tipi di risposta dai fetcher o i props dai componenti.
Permette al codice dei tipi di "aprire" un tipo complesso e estrarre i pezzi interni — lo strumento più potente per scrivere tipi che si adattano ad altri tipi.