الخصائص الاختيارية
جزء من قسم مقدمة إلى Luau في رحلة Lua على Coddy — الدرس 39 من 73.
ليس كل مجال موجوداً دائمًا. في Lua، يتم قراءة مجال الجدول المفقود ببساطة على أنه nil — وهو أمر مرن، ولكنه أيضاً الطريقة التي تتسلل بها أخطاء مثل attempt to concatenate a nil value.
تتيح لك Luau التعبير عن ذلك صراحة في الهيكل: أضف ? بعد نوع المجال لتعيينه كـ اختياري (optional):
type User = {
name: string, -- مطلوب
email: string?, -- اختياري: string أو nil
}
local alice: User = {name = "Alice", email = "alice@luau.dev"}
local bob: User = {name = "Bob"} -- ✓ جيد، email اختياريلقد صادفت هذا من قبل مع المتغيرات: string? هي اختصار لـ string | nil. الفكرة نفسها تنطبق الآن على المجالات الفردية للهيكل.
نظرًا لأن المجال الاختياري قد يكون nil، يجب عليك التحقق قبل استخدامه. يعمل نمط Lua الكلاسيكي، وفي النمط الصارم (strict mode)، يقوم الفاحص بتضييق النوع داخل الفرع:
if bob.email then
print(`email: {bob.email}`) -- هنا email هو string
else
print("no email on file")
endكلمة اختياري تعني "قد يكون غائبًا" — ولا تعني "أي نوع". إذا كان email موجودًا، فيجب أن يظل سلسلة نصية (string).
التحدي
سهلأنشئ باسم نوع مستعار (type alias) باسم User يحتوي على:
nameمن نوعstring(مطلوب)emailمن نوعstring?(اختياري)
أنشئ مستخدمَين:
alice— الاسم"Alice"، البريد الإلكتروني"alice@luau.dev"bob— الاسم"Bob"، بدون بريد إلكتروني
أنشئ دالة printContact تأخذ User. إذا كان لدى المستخدم بريد إلكتروني تطبع [name] - [email]؛ وإلا تطبع [name] - no email.
ثم:
- استدعِ
printContact(alice) - استدعِ
printContact(bob) - اطبع نتيجة مقارنة
bob.email == nil
جرّب بنفسك
-- اكتب الكود هنا
-- 1) عرّف النوع User مع حقل email اختياري
-- 2) أنشئ alice (مع email) و bob (بدون)
-- 3) اكتب printContact مع فحص nil
-- 4) استدعِها لكلا المستخدمين، ثم اطبع bob.email == nil
يتضمن هذا الدرس اختبارًا قصيرًا. ابدأ الدرس للإجابة عليه وتتبّع تقدمك.
جميع دروس مقدمة إلى 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): نظرة أولى
المشكلة التي تحلها الأنواع المعممةدالة هوية معممةاستخدام دالة معممةالمصفوفات المعممةأسماء مستعارة للأنواع المعممةملخص: الدوال المعممة