infer digunakan di dalam conditional type untuk menangkap (mengekstrak) sebuah tipe dari dalam tipe lain ke dalam variabel tipe baru yang kemudian dapat Anda gunakan. Ini adalah pattern-matching untuk tipe.
<T> = T (infer U)[] ? U : ;
A = <[]>;
B = <[]>;
Bacanya sebagai: "jika T cocok dengan pola U[], ikat U ke tipe elemen apapun itu, dan kembalikan." infer U mendeklarasikan placeholder yang diisi kompiler dengan pencocokan.
// 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;
Anda dapat menggunakan beberapa infer dalam satu pola dan bahkan rekursi.
infer adalah mesin di balik tipe built-in seperti ReturnType, Parameters, Awaited, dan InstanceType, dan di balik keajaiban library yang menurunkan tipe response dari fetcher atau props dari komponen.
Ini memungkinkan kode tipe untuk "membuka" tipe kompleks dan menarik bagian-bagian dalam — alat paling powerful untuk menulis tipe yang beradaptasi dengan tipe lain.