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

تقول الأنواع المتحدة (Unions) إن القيمة هي نوع واحد أو نوع آخر. أما **أنواع التقاطع (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: قم بتقاطع **أشكال الجداول** (أنواع الدوال) — وليس الأنواع الأولية (primitives). شيء مثل number & string لا معنى له، حيث لا يمكن لأي قيمة أن تكون الاثنين في وقت واحد. عندما تريد "هذا الشكل بالإضافة إلى ذلك الشكل"، فإن & هي أداة الك المناسبة.

في وقت التشغيل، بالطبع، تكون الـ Person مجرد جدول Lua عادي — التقاطع موجود فقط من أجل فاحص الأنواع.