Bezpieczeństwo wartości nil w trybie ścisłym

Najczęstszym błędem powodującym awarię w Lua jest „attempt to index nil”: kod, który zakładał, że wartość istnieje, choć tak nie było. Odpowiedzią Luau jest dyscyplina nil: przy --!strict zwykły typ string nigdy nie może mieć wartości nil. Jeśli nil jest realną możliwością, typ musi to określać za pomocą ?:

--!strict
local nickname: string? = nil   -- ok: string OR nil
local username: string = nil    -- ✗ błąd typu w trybie strict

Ta dyscyplina działa w obie strony: jeśli masz wartość typu string?, tryb ścisły nie pozwoli użyć jej jako ciągu znaków, dopóki nie wykluczysz wartości nil. Standardowym narzędziem jest zwykłe porównanie, które zawęża typ tak samo jak sprawdzenie typeof:

local function shout(name: string?): string
    if name ~= nil then
        return string.upper(name) -- name jest tutaj ciągiem znaków
    end
    return "NOBODY"
end

Gdy nil oznaczałoby błąd, a nie prawidłowy przypadek, użyj assert: po assert(x ~= nil) kontroler typów traktuje x jako wartość inną niż nil do końca bieżącego zakresu, a podczas działania programu asercja powoduje awarię od razu, w miejscu błędnego założenia, zamiast gdzieś daleko stąd.

Korzyść jest taka, że kontroler typów wymusza obsłużenie każdej wartości, której „może brakować”, już podczas edycji kodu, a błąd wykonania po prostu nigdy się nie pojawia.