مشروط اقسام اور اندازہ

مشروط قسمیں آپ کو وراثت کے رشتوں کی بنیاد پر غیر معمولی قسم کے فیصلوں کا اظہار کرنے کی اجازت دیتی ہیں۔ نحو جاوا اسکرپٹ کے ٹرنری آپریٹر سے ملتا ہے:

T extends U ? X : Y

اگر قسم T U کو تفویض کرنے کے قابل ہے، تو نتیجے میں آنے والی قسم X ہوگی، ورنہ یہ Y ہوگی۔

بنیادی مشروط اقسام

ایک مشروط قسم کمپائل کے وقت کسی حالت کا اندازہ کرتی ہے:

type IsNumber<T> = T extends number ? true : false;

type A = IsNumber<number>; // true
type B = IsNumber<string>; // false

لچکدار اور متحرک افادیت کی قسمیں تخلیق کرنے کے لیے جنرک کے ساتھ مل کر یہ پیٹرن انتہائی طاقتور ہے۔

infer کے ساتھ نکالنے کی قسم ٹائپ کریں

مشروط قسم کی extends شق کے اندر، ہم infer کلیدی لفظ استعمال کر سکتے ہیں تاکہ کمپائلر کے ذریعہ کسی قسم کے متغیر کا اندازہ لگایا جائے۔

مثال کے طور پر، اگر ہم کسی فنکشن کی واپسی کی قسم کو نکالنا چاہتے ہیں:

type GetReturnType<T> = T extends (...args: any[]) => infer R ? R : never;

type ExampleFunction = () => string;
type Return = GetReturnType<ExampleFunction>; // string

اس مثال میں، infer R TypeScript سے کہتا ہے کہ وہ خود بخود فنکشن کی واپسی کی قسم کا تعین کرے اور اسے مشروط کی مثبت شاخ میں R کے بطور دستیاب کرے۔

خود ہی آزمائیں۔

ورزش 1: IsString قسم

مشق 2: infer کے ساتھ ایک صف سے ایک قسم نکالنا