الخصائص الاختيارية

ليس كل field موجودًا دائمًا. في Lua، قراءة field مفقود من جدول تُرجع ببساطة nil، وهذا مرن، لكنه أيضًا ما يسمح بتسلّل أخطاء مثل attempt to concatenate a nil value.

يتيح Luau أن يصرّح shape بذلك صراحةً: أضف ? بعد نوع field لتمييزه بأنه optional:

type User = {
    name: string,   -- مطلوب
    email: string?, -- اختياري: string or nil
}

local alice: User = {name = "Alice", email = "alice@luau.dev"}
local bob: User = {name = "Bob"} -- ✓ جيد، email اختياري

لقد صادفت هذا من قبل مع المتغيرات: string? هو اختصار لـ string | nil. تنطبق الفكرة نفسها الآن على كل field على حدة داخل shape.

بما أن field من نوع optional قد تكون قيمته nil، يجب أن تتحقق قبل استخدامها. يعمل نمط Lua التقليدي، وفي الوضع الصارم يضيّق checker النوع داخل الفرع:

if bob.email then
    print(`email: {bob.email}`) -- هنا email هو string
else
    print("no email on file")
end

تعني optional «قد تكون غائبة». وهي لا تعني «أي نوع». إذا كانت email موجودة، فلا يزال يجب أن تكون من النوع string.