استنتاج الأنواع في التطبيق العملي
جزء من قسم مقدمة إلى TypeScript في رحلة JavaScript على Coddy. الدرس 10 من 73.
عندما تقوم بتهيئة متغير بقيمة ما، يقوم TypeScript بفحص تلك القيمة ويقوم تلقائيًا بتعيين النوع المناسب:
let message = "Hello, World!"; // يستنتج TypeScript: string
let count = 42; // يستنتج TypeScript: number
let isActive = true; // يستنتج TypeScript: booleanيوفر استنتاج النوع هذا نفس مستوى أمان النوع الذي توفره التوضيحات الصريحة، ولكن بكود أنظف وأكثر قابلية للقراءة. ستظل TypeScript تكتشف أخطاء النوع إذا حاولت إعادة تعيين هذه المتغيرات لقيم غير متوافقة.
يعمل استنتاج النوع (Type inference) لأن TypeScript يحلل القيمة الأولية في لحظة التعيين. تخبر القيمة النصية TypeScript أن المتغير يجب أن يكون من النوع string، وتشير القيمة الرقمية إلى number، وهكذا.
التحدي
سهلقم بإنشاء ثلاثة متغيرات باستخدام استنتاج النوع (type inference) في TypeScript دون استخدام تعليقات توضيحية صريحة للنوع (explicit type annotations):
قم بالتصريح عن متغير باسم companyName وقم بتهيئته بالسلسلة النصية "TechCorp".
قم بالتصريح عن متغير باسم employeeCount وقم بتهيئته بالرقم 150.
قم بالتصريح عن متغير باسم isPublic وقم بتهيئته بالقيمة المنطقية false.
اطبع المتغيرات الثلاثة جميعها في وحدة التحكم (console) في أسطر منفصلة وبنفس ترتيب التصريح عنها.
سيقوم TypeScript تلقائياً باستنتاج الأنواع الصحيحة بناءً على القيم الأولية التي تخصصها لكل متغير.
جرّب بنفسك
// TODO: اكتب كودك هنا
// قم بالتصريح عن المتغيرات الثلاثة بقيمها الأولية
// تذكر استخدام استنتاج النوع في TypeScript (لا حاجة لتعريفات الأنواع الصريحة)
// اطبع جميع المتغيرات الثلاثة في وحدة التحكم (console)
اختبر نفسكيتضمن هذا الدرس اختبارًا قصيرًا. ابدأ الدرس للإجابة عليه وتتبّع تقدمك.
جميع دروس مقدمة إلى TypeScript
1البداية مع TS
ما هي TypeScript؟لماذا نستخدم TypeScript؟أول كود TypeScript لكعملية الـ Compilation والأخطاءملخص: مقدمة في TS4التعامل مع الدوال
تحديد أنواع المعاملات وقيم الإرجاعتحديد أنواع Arrow Functionsنوع الإرجاع 'void'المعاملات الاختيارية باستخدام '?'القيم الافتراضية للمعاملاتتحديد أنواع Rest Parametersتعريف أنواع الدوالملخص: بناء دوال محددة الأنواع
2الأنواع الأساسية
الأنواع الأساسية: str, num, booleanالنوع 'any': مخرج الهروبالنوع 'unknown'التعامل مع 'null' و 'undef'استنتاج الأنواع في التطبيق العمليتوضيحات الأنواع الصريحةمراجعة: تدريب على الأنواع الأساسية5الأنواع: الأسماء المستعارة، الاتحادات والتقاطعات
الأسماء المستعارة للأنواع الأساسية (Primitives)أنواع الاتحاد ('|')التعامل مع أنواع الاتحادالأنواع الحرفية (Literal Types)أنواع التقاطع ('&')دمج الأسماء المستعارة للأنواعملخص: تركيبات الأنواع المتقدمة3هياكل البيانات: المصفوفات و Tuple
المصفوفات محددة النوع (Typed Arrays)معدل 'readonly' للمصفوفاتما هو الـ Tuple؟تعريف والوصول إلى الـ Tuplesتفكيك الـ Tuples (Destructuring)الـ Tuples للقراءة فقط (Readonly)المصفوفات محددة النوع متعددة الأبعاداستخدام Spread Operator مع المصفوفاتملخص: المصفوفات و Tuples6تحديد أنواع الكائنات والواجهات
توصيف أنواع الكائنات المضمنة (Inline)الأسماء المستعارة للأنواع (Type Aliases) للكائناتمقدمة عن الواجهات (Interfaces)الواجهات (Interfaces) مقابل الأسماء المستعارة للأنواع (Type Aliases)الخصائص الاختيارية وخصائص القراءة فقط (Readonly)توسيع الواجهات والأنواعإضافة الدوال (Methods) إلى الواجهاتملخص: تحديد هياكل الكائناتتدرّب بنفسك: Playground لـ TypeScript