Propriedades Opcionais

Nem todo campo está sempre presente. Em Lua, um campo ausente de uma tabela simplesmente é lido como nil, o que é flexível, mas também é assim que bugs como attempt to concatenate a nil value aparecem.

O Luau permite que uma estrutura declare isso explicitamente: adicione ? depois do tipo de um campo para marcá-lo como opcional:

type User = {
    name: string,   -- obrigatório
    email: string?, -- opcional: string ou nil
}

local alice: User = {name = "Alice", email = "alice@luau.dev"}
local bob: User = {name = "Bob"} -- ✓ tudo bem, email é opcional

Você já viu isso antes com variáveis: string? é uma forma abreviada de string | nil. Agora, a mesma ideia se aplica a campos individuais de uma estrutura.

Como um campo opcional pode ser nil, você precisa verificá-lo antes de usá-lo. O padrão clássico de Lua funciona e, no modo estrito, o verificador restringe o tipo dentro do ramo:

if bob.email then
    print(`email: {bob.email}`) -- aqui email é uma string
else
    print("no email on file")
end

Opcional significa “pode estar ausente”. Isso não significa “qualquer tipo”. Se email existir, ele ainda deverá ser uma string.