لغوی قسمیں اور دعوے

TypeScript متغیرات کی ممکنہ قدروں کو کم کرنے اور جب ضروری ہو تو کمپائلر کو مزید مخصوص اقسام کو پہچاننے پر مجبور کرنے کے لیے جدید ٹولز فراہم کرتا ہے۔

لغوی اقسام

ایک لغوی قسم ایک قطعی، واحد قدر کی نمائندگی کرتی ہے (مثال کے طور پر، ایک مخصوص تار یا نمبر)۔ وہ عام طور پر یونین کی اقسام کے ساتھ مل جاتے ہیں:

type TrafficLight = 'red' | 'yellow' | 'green';
let light: TrafficLight;

light = 'red'; // OK
light = 'blue'; // Error: "blue" is not assignable to TrafficLight

قسم کے دعوے (as)

بعض اوقات آپ کے پاس کسی قسم کے بارے میں معلومات ہوتی ہیں جو ٹائپ اسکرپٹ کو مرتب کرنے کے وقت معلوم نہیں ہوتی۔ ان صورتوں میں، آپ as کلیدی لفظ کا استعمال کرتے ہوئے قسم کا دعویٰ استعمال کر سکتے ہیں:

const myCanvas = document.getElementById('main_canvas') as HTMLCanvasElement;

دعویٰ مرتب کرنے والے کو بتاتا ہے: "مجھ پر بھروسہ کریں، میں جانتا ہوں کہ یہ عنصر ایک HTMLCanvasElement ہے"۔ یہ رن ٹائم پر کوئی چیک یا کاسٹ نہیں کرتا ہے۔ یہ صرف ٹائپ چیکر کی مدد کرتا ہے۔

Const کے دعوے (as const)

جب ہم const کے ساتھ کسی آبجیکٹ یا صف کا اعلان کرتے ہیں، TypeScript پھر بھی اس کی اندرونی خصوصیات میں ترمیم کرنے کی اجازت دیتا ہے۔ آخر میں as const کو شامل کرنے سے، پورا ڈھانچہ منجمد اور صرف پڑھنے کے لیے بنایا جاتا ہے، تمام خصوصیات کو ان کی قطعی لغوی قسموں میں تبدیل کرتے ہوئے:

const colors = ['red', 'green', 'blue'] as const;
// colors[0] = "yellow"; // Error: array is read-only

سانچہ لغوی اقسام

تمثیل کی لغوی قسمیں JavaScript ٹیمپلیٹ کے تاروں کے اوپر بنی ہیں، لیکن قسم کی پوزیشنوں میں استعمال ہوتی ہیں۔ وہ ایک سے زیادہ لغوی اقسام کو یکجا کرنے کی اجازت دیتے ہیں:

type Size = 'small' | 'large';
type Color = 'red' | 'blue';

// Creates the union: "small-red" | "small-blue" | "large-red" | "large-blue"
type ItemId = `${Size}-${Color}`;

تمثیل لغوی اقسام میں سٹرنگ یوٹیلیٹیز

TypeScript Template Literal Types کے اندر حروف کو جوڑتوڑ کرنے کے لیے خصوصی افادیت کی اقسام فراہم کرتا ہے:

• Capitalize<StringType>: سٹرنگ کے پہلے حرف کو بڑا کرتا ہے۔
• Uncapitalize<StringType>: سٹرنگ کے پہلے حرف کو غیر کیپیٹلائز کرتا ہے۔
• Uppercase<StringType>: پورے سٹرنگ کو بڑے حروف میں تبدیل کرتا ہے۔
• Lowercase<StringType>: پوری سٹرنگ کو چھوٹے حروف میں تبدیل کرتا ہے۔

type ActionType = 'click' | 'hover';

// Generates: "onClick" | "onHover"
type EventHandlers = `on${Capitalize<ActionType>}`;

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

مشق 1: سمت لٹریل یونین

مشق 2: JSON.parse پر دعوی

مشق 3: واقعات کے لیے لفظی سانچہ

مشق 4: کیپٹلائز کے ساتھ تمثیل لٹریل ٹائپ