Verwendung einer generischen Funktion

Du sagst identity nie, was T ist: Der Prüfer findet es selbst heraus. Das ist Typinferenz: Bei jedem Aufruf betrachtet Luau das Argument und löst T auf:

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

Jeder Aufruf ist unabhängig: T kann in einer Zeile ein String und in der nächsten eine Zahl sein. Das inferierte Ergebnis ist genauso sicher wie eine von Hand geschriebene Annotation: Für den Prüfer ist word ein string, mit vollständiger Autovervollständigung und Fehlerprüfung.

Ein wichtiger Unterschied zu TypeScript: TS erlaubt es dir, den Typ an der Aufrufstelle mit identity<number>(5) zu erzwingen. Luau hat keine Typargumente an der Aufrufstelle. Diese Zeile ist keine spezielle Syntax, daher liest Luau die spitzen Klammern als Vergleiche „kleiner als“/„größer als“, und der Code schlägt fehl. Wenn du den Typ explizit angeben möchtest, annotiere stattdessen die Variable:

local count: number = identity(12)

Du kannst die Inferenz mit einem vertrauten Werkzeug bei der Arbeit beobachten: typeof gibt den Laufzeit-Typnamen eines Werts zurück, daher gibt print(typeof(identity(12))) number aus: Der Wert hat die generische Funktion vollständig unverändert durchlaufen.