أنواع التقاطع (Intersection Types)

تعني الأنواع الاتحادية أن القيمة من نوعٍ ما أو من نوعٍ آخر. أما أنواع التقاطع فتشير إلى العكس: تجمع علامة العطف & أشكال الجداول في نوع يتضمن كل الحقول الموجودة في كل جزء:

type HasName = { name: string }
type HasAge = { age: number }

type Person = HasName & HasAge

-- يجب أن يحتوي Person على كلا الحقلين
local user: Person = {
    name = "Alice",
    age = 25,
}

إذا حذفت age، فسيُصدر المدقّق تحذيرًا: التقاطع يعني «و»، وليس اختيار أحدهما دون الآخر. يتيح لك هذا إنشاء أشكال كبيرة من أجزاء صغيرة قابلة لإعادة الاستخدام: عرّف أنواعًا مخصصة لجوانب منفصلة، ثم اجمعها معًا عند الحاجة:

type HasEmail = { email: string }

type Employee = HasName & HasAge & HasEmail

ملاحظة مهمة عن Luau: استخدم التقاطع مع أشكال الجداول (وأنواع الدوال)، لا مع الأنواع البدائية. تعبير مثل number & string لا معنى له، إذ لا يمكن لأي قيمة أن تكون من النوعين معًا. عندما تريد «هذا الشكل بالإضافة إلى ذاك الشكل»، فإن & هي أداتك.

أما وقت التشغيل، فـPerson ليس سوى جدول Lua عادي، بالطبع: لا يوجد التقاطع إلا لدى المدقّق.