מאפיינים אופציונליים

לא כל שדה תמיד קיים. ב-Lua, קריאה של שדה חסר בטבלה פשוט מחזירה nil, וזה גמיש, אבל כך גם באגים כמו attempt to concatenate a nil value עלולים להתגנב פנימה.

ב-Luau אפשר לציין זאת במפורש בהגדרת מבנה: מוסיפים ? אחרי טיפוס השדה כדי לסמן שהוא אופציונלי:

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 הבודק מצמצם את הטיפוס בתוך הענף:

if bob.email then
    print(`email: {bob.email}`) -- כאן email הוא מחרוזת
else
    print("no email on file")
end

אופציונלי פירושו "עשוי להיות חסר". אין פירושו "כל טיפוס". אם email קיים, הוא עדיין חייב להיות מחרוזת.