infer bir conditional type içinde, başka bir tür içinden bir tür yakalama (çıkarma) yaparak daha sonra kullanabileceğiniz yeni bir tür değişkenine koymak için kullanılır. Türler için pattern-matching'tir.
<T> = T (infer U)[] ? U : ;
A = <[]>;
B = <[]>;
Şöyle okuyun: "Eğer T, U[] düzenine eşleşirse, U'yu element türünün ne olursa olsun buna bağlayın ve döndürün." infer U, derleyicinin eşleştirme yaparak doldurduğu bir yer tutucu bildirir.
// 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;
Bir düzende birden fazla infer kullanabilir ve hatta özyineleme yapabilirsiniz.
infer, ReturnType, Parameters, Awaited ve InstanceType gibi yerleşik türlerin arkasındaki motor ve fetcher'lardan yanıt türleri veya bileşenlerden prop'ları türeten kütüphane sihirinin arkasındadır.
Tür kodu "açma" yetkisi veriri karmaşık bir tür ve iç parçaları çıkarmaya — diğer türlere uyum sağlayan türler yazmanın en güçlü aracıdır.