infer ایک conditional type کے اندر استعمال ہوتا ہے ایک قسم کو پکڑنے (نکالنے) کے لیے دوسری قسم کے اندر سے ایک نئی قسم کی متغیر میں جو آپ بعد میں استعمال کر سکتے ہیں۔ یہ اقسام کے لیے pattern-matching ہے۔
<T> = T (infer U)[] ? U : ;
A = <[]>;
B = <[]>;
اسے یوں پڑھیں: "اگر T نمونہ U[] سے میل کھاتا ہے، U کو جو بھی عنصر کی قسم ہو اس سے منسلک کریں، اور واپس دیں۔" infer U ایک پوشیدہ مقام کا اعلان کرتا ہے جسے کمپائلر ملاتے ہوئے بھرتا ہے۔
// 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;
آپ ایک نمونہ میں کئی infers استعمال کر سکتے ہیں اور یہاں تک کہ دوبارہ بھی کر سکتے ہیں۔
infer اندرونی اقسام جیسے ReturnType، Parameters، Awaited، اور InstanceType کے پیچھے کا انجن ہے، اور لائبریری کی جادو کے پیچھے جو جواب کی اقسام حاصل کرتا ہے fetchers سے یا props اجزاء سے۔
یہ قسم کے کوڈ کو "کھولنے" کی اجازت دیتا ہے ایک پیچیدہ قسم اور اندرونی حصے نکالنے کے لیے — دوسری اقسام سے موافق اقسام لکھنے کے لیے سب سے طاقتور ذریعہ۔