এটি এভাবে পড়ুন: "যদি T প্যাটার্ন U[] এর সাথে মেলে, তাহলে U কে যাই হোক উপাদান type এর সাথে bind করুন, এবং এটি ফেরত দিন।" infer U একটি placeholder ঘোষণা করে যা compiler 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;
আপনি একটি প্যাটার্নে একাধিক infer ব্যবহার করতে পারেন এবং এমনকি recurse করতে পারেন।
infer হল built-in types যেমন ReturnType, Parameters, Awaited, এবং InstanceType এর পিছনের ইঞ্জিন, এবং library magic এর পিছনে যা fetchers থেকে response types বা components থেকে props derive করে।
এটি type code কে একটি জটিল type "খুলে" দেয় এবং অভ্যন্তরীণ অংশগুলি pull out করে — অন্যান্য types এর সাথে খাপ খায় এমন types লেখার জন্য সবচেয়ে শক্তিশালী tool।
বিস্তারিত উত্তরসহ IT ইন্টারভিউ প্রশ্নের একটি লাইব্রেরি — জুনিয়র থেকে সিনিয়র পর্যন্ত।
দান করুন