Verwendung von Literal Union Enums

Literal-Unionen spielen ihre Stärken bei Funktionsparametern aus. Typisierst du einen Parameter mit der Union, garantiert der Prüfer, dass die Funktion nur mit einem gültigen Mitglied aufgerufen wird:

type Direction = "up" | "down" | "left" | "right"

local function move(direction: Direction)
    print(`Moving {direction}...`)
end

move("left")  -- ✓
move("north") -- ✗ Typfehler: kein Direction

Behandle die Mitglieder innerhalb der Funktion vollständig mit einer if/elseif-Kette. Da der Typ die Eingabe auf vier Werte beschränkt, deckt die Prüfung von drei Werten und die Behandlung des letzten durch else alle Fälle ab:

local function describe(direction: Direction): string
    if direction == "up" then
        return "Going upward"
    elseif direction == "down" then
        return "Going downward"
    elseif direction == "left" then
        return "Turning left"
    else
        return "Turning right"
    end
end

Ein Haken: Zeichenfolgen, die von außerhalb kommen, etwa von io.read(), haben den einfachen Typ string, weil der Prüfer nicht wissen kann, was ein Benutzer eingibt. Der Cast-Operator :: von Luau schafft Abhilfe: value :: Type weist den Prüfer an, den Wert als diesen Typ zu behandeln. Die Lektion zu Typzusicherungen gegen Ende dieses Abschnitts behandelt Casts ausführlich; fürs Erste genügt eine Zeile:

local direction = io.read() :: Direction

Ein Cast ist ein Versprechen, keine Prüfung; zur Laufzeit wird die Eingabe nicht überprüft. Produktionscode würde sie zuerst validieren; hier ermöglicht der Cast typisierten Funktionen, Benutzereingaben sauber anzunehmen.