Verwendung einer generischen Funktion

Sie teilen identity nie mit, was T ist — die Typprüfung findet es selbst heraus. Das ist Typinferenz: Bei jedem Aufruf sieht sich Luau das Argument an und ermittelt T:

local word = identity("Luau")   -- T als string inferiert
local count = identity(12)      -- T als number inferiert
local flag = identity(false)    -- T als boolean inferiert

Jeder Aufruf ist unabhängig — T kann in einer Zeile ein string und in der nächsten eine number sein. Das abgeleitete Ergebnis ist genauso sicher wie eine handgeschriebene Annotation: word ist für die Typprüfung ein string, mit vollständiger Autovervollständigung und Fehlerprüfung.

Ein wichtiger Unterschied zu TypeScript: TS ermöglicht es Ihnen, den Typ an der Aufrufstelle mit identity<number>(5) zu erzwingen. Luau besitzt keine Typargumente an der Aufrufstelle — diese Zeile ist keine spezielle Syntax, daher liest Luau die spitzen Klammern als Kleiner-als-/Größer-als-Vergleiche und der Code schlägt fehl. Wenn Sie den Typ explizit angeben möchten, annotieren Sie stattdessen die Variable:

local count: number = identity(12)

Sie können die Inferenz mit einem bekannten Werkzeug bei der Arbeit beobachten: typeof gibt den Laufzeit-Typnamen eines Werts zurück, sodass print(typeof(identity(12))) number ausgibt — der Wert hat die generische Funktion völlig unverändert durchlaufen.