infer digunakan di dalam conditional type untuk menangkap (mengekstrak) jenis dari dalam jenis lain ke dalam pembolehubah jenis baru yang kemudian dapat Anda gunakan. Ini adalah pattern-matching untuk jenis.
<T> = T (infer U)[] ? U : ;
A = <[]>;
B = <[]>;
Bacanya sebagai: "jika T cocok dengan pola U[], ikat U ke jenis elemen apa pun, dan kembalikan." infer U mendeklarasikan placeholder yang compiler isi dengan pattern matching.
// 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 melakukan rekursi.
infer adalah mesin di balik tipe bawaan seperti ReturnType, Parameters, Awaited, dan InstanceType, dan di balik keajaiban perpustakaan yang menurunkan jenis respons dari fetchers atau props dari komponen.
Itu memungkinkan kode jenis untuk "membuka" jenis kompleks dan mengeluarkan bagian-bagian dalam — alat paling kuat untuk menulis jenis yang beradaptasi dengan jenis lain.