الأنواع اللفظية (Literal Types)
جزء من قسم مقدمة إلى Luau في رحلة Lua على Coddy. الدرس 33 من 73.
تسمح الأنواع مثل string بأي سلسلة نصية، لكن أحيانًا لا تكون منطقية إلا بضع قيم محددة تمامًا. يستخدم نوع literal القيمة نفسها بوصفها النوع:
local mode: "dark" = "dark" -- يُسمح فقط بالسلسلة "dark"
local locked: true = true -- يُسمح فقط بالقيمة المنطقية trueبمفردها، تُعد الأنواع ذات القيمة الواحدة مجرد أمر طريف. ولكن عند دمجها مع unions، تصبح إحدى أكثر أدوات Luau فائدة: مجموعة مضبوطة بدقة من القيم allowed:
type Direction = "north" | "south" | "east" | "west"
type GameState = "menu" | "playing" | "paused" | "gameover"
local move: Direction = "north" -- ✓
local state: GameState = "playing" -- ✓
-- local bad: Direction = "diagonal" -- ✗ خطأ في النوع!والآن، سيُكتشف خطأ مطبعي مثل "nort" أو قيمة غير صالحة مثل "diagonal" أثناء التحرير، بينما مع string عادي ستمرّ هذه الأخطاء دون عائق وتتسبب في حدوث عطل وقت التشغيل، إذا كنت محظوظًا بما يكفي لملاحظتها.
تكون أنواع literal حساسة لحالة الأحرف ودقيقة: لا تتطابق "North" مع "north". تُعد String literals الحالة الشائعة، لكن literal من نوع boolean و(في إصدارات Luau الأحدث) literal من نوع number تعمل بالطريقة نفسها. يُستخدم هذا النمط، أي union من String literals، أيضًا بالطريقة التي تستبدل بها Luau تعداد اللغات الأخرى، كما سترى في فصل لاحق.
التحدي
سهلأنشئ ثلاثة أسماء مستعارة للنوع literal-union:
Direction="north" | "south" | "east" | "west"GameState="menu" | "playing" | "paused" | "gameover"Difficulty="easy" | "medium" | "hard"
صرّح باستخدام الأسماء المستعارة:
playerDirection: Direction="north"currentState: GameState="playing"selectedDifficulty: Difficulty="medium"
أنشئ function movePlayer(direction: Direction): string تُرجع "Moving [direction]"، وfunction updateGameState(state: GameState): string تُرجع "Game state: [state]".
اطبع، كل قيمة في سطر مستقل:
movePlayer(playerDirection)updateGameState(currentState)- قيمة
selectedDifficulty
جرّب بنفسك
-- اكتب الكود هنا
-- type Direction / GameState / Difficulty كاتحادات حرفية
-- أعلن playerDirection، currentState، selectedDifficulty
-- movePlayer(direction: Direction): string -> "Moving [direction]"
-- updateGameState(state: GameState): string -> "Game state: [state]"
-- اطبع النتائج الثلاث
يتضمن هذا الدرس اختبارًا قصيرًا. ابدأ الدرس للإجابة عليه وتتبّع تقدمك.
جميع دروس مقدمة إلى Luau
1البدء مع Luau
ما هي Luau؟لماذا نستخدم Luau؟أول كود لك بلغة Luauفحص الأنواع وأنماط الأخطاءملخص: مقدمة إلى Luau4العمل مع الدوال
تحديد أنواع المعاملات والقيم المرجعةتحديد أنواع الدوال المجهولةالدوال التي لا ترجع شيئاًالمعاملات الاختياريةالقيم الافتراضية للمعاملاتالدوال متغيرة المعاملاتتعريف أنواع الدوالملخص: الدوال محددة الأنواع7المشروع: مدير المهام مع أنواع البيانات
المشروع: هيكل المهامدالة لإضافة تفاصيل مهمة2الأنواع الأساسية
الأنواع الأساسية: num و str و boolالنوع 'any': مخرج الطوارئالنوع 'unknown'أنواع Nil والأنواع الاختياريةاستنتاج الأنواع في التطبيق العمليتوضيحات الأنواع الصريحةملخص: تدريبات على الأنواع الأساسية5الأسماء المستعارة، الأنواع المشتركة، والأنواع المتقاطعة
الأسماء المستعارة للأنواع الأوليةأنواع الاتحاد (Union Types)التعامل مع أنواع الاتحادالأنواع اللفظية (Literal Types)أنواع التقاطع (Intersection Types)دمج الأسماء المستعارة للأنواعملخص: تجميعات الأنواع المتقدمة3الجداول المحددة الأنواع: المصفوفات والخرائط
المصفوفات المحددة الأنواعإضافة العناصر وقراءتهاما هو نوع الخريطة (Map)؟التصريح عن الخرائط والوصول إليهاالتكرار على الجداولالجداول متعدده الأشكالالمصفوفات المحددة الأنواع متعددة الأبعادtable.unpack والوسائط المتغيرة (Varargs)ملخص: المصفوفات والخرائط6تحديد أشكال الجداول (Typing Table Shapes)
توضيحات أشكال الجداول المضمنةأسماء مستعارة للأنواع لأشكال الجداولالخصائص الاختياريةأشكال الجداول مقابل الجداول الحرةتوسيع أشكال الجداولإضافة الدوارل إلى أشكال الجداولSelf والدوال المسبوقة بنقطتين (Colon Methods)ملخص: تعريف أشكال الجداول9الأنواع المعممة (Generics): نظرة أولى
المشكلة التي تحلها الأنواع المعممةدالة هوية معممةاستخدام دالة معممةالمصفوفات المعممةأسماء مستعارة للأنواع المعممةملخص: الدوال المعممةتدرّب بنفسك: مترجم Lua عبر الإنترنت