أنواع الاتحاد (Union Types)
جزء من قسم مقدمة إلى Luau في رحلة Lua على Coddy — الدرس 31 من 73.
في بعض الأحيان لا يكون type واحد كافياً. قد يصل معرّف المستخدم كـ "user123" أو كـ 42. في Lua العادية كنت تتأمل الخير فقط؛ لكن Luau تمنحك أنواع union (union types) — العلامة | تقرأ كـ "أو":
local userId: number | string
userId = "user123" -- ✓ يُسمح بـ string
userId = 42 -- ✓ يُسمح بـ number
userId = true -- ✗ type error: boolean ليس في الـ unionيمكن للـ variable أن يحمل أي عضو من الـ union — وهؤلاء فقط. هذا هو الاختلاف الجوهري عن any: تظل الـ union صارمة بشأن ما هو مسموح به مع إعطائك المرونة التي تحتاجها.
تعتبر الـ types من نوع union مفيدة بشكل خاص لـ parameter الـ function التي تقبل صيغ إدخال متعددة:
function printId(id: number | string): ()
print(id)
end
printId(42) -- يعمل مع رقم
printId("user123") -- يعمل مع سلسلةأنت تعرف بالفعل string? — لقد كانت هذه أول union لك! هي ببساطة اختصار لـ string | nil. في الدرس القادم ستتعلم كيفية العمل بأمان مع قيمة union بمجرد حصولك عليها.
التحدي
سهلأنشئ دالة باسم printId تأخذ id: number | string وتقوم بطباعته — مع نوع إرجاع صريح ().
قم بالتصريح عن متغير status من نوع string | number، وتهيئته بقيمة "active".
ثم، بالترتيب:
- استدعِ
printId(42) - استدعِ
printId("user123") - اطبع
status - أعد تعيين
statusإلى200واطبعه مرة أخرى
أربعة أسطر من المخرجات الإجمالية.
جرّب بنفسك
-- اكتب الكود هنا
-- printId(id: number | string): ()
-- local status: string | number = "active"
-- استدعِ printId(42)، printId("user123")،
-- اطبع status، أعد التعيين إلى 200، اطبع مرة أخرى
يتضمن هذا الدرس اختبارًا قصيرًا. ابدأ الدرس للإجابة عليه وتتبّع تقدمك.
جميع دروس مقدمة إلى 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): نظرة أولى
المشكلة التي تحلها الأنواع المعممةدالة هوية معممةاستخدام دالة معممةالمصفوفات المعممةأسماء مستعارة للأنواع المعممةملخص: الدوال المعممة