Generische Arrays

Generics werden besonders nützlich, sobald Tabellen ins Spiel kommen. Du schreibst typisierte Arrays bereits als {number} oder {string}. Innerhalb einer generischen Funktion kann der Elementtyp einfach T sein, und {T} bedeutet „ein Array mit beliebigen Werten, als die sich T herausstellt“.

Hier ist das klassische Beispiel: das erste Element eines beliebigen Arrays abrufen:

local function first<T>(items: {T}): T?
    return items[1]
end

Übergib ein {string}, und der Checker leitet T = string ab, sodass das Ergebnis ein String ist. Übergib ein {number}, und das Ergebnis ist eine Zahl. Eine Funktion ersetzt eine ganze Reihe typspezifischer Kopien.

Schau dir den Rückgabetyp genau an: Er ist T?, nicht T. Ein Array kann leer sein, und dann ist items[1] nil: Der optionale Typ, dem du zuvor begegnet bist, sagt das ganz offen: „ein T oder nil“. Der Checker weist Aufrufer darauf hin, den Fall nil zu behandeln, bevor sie das Ergebnis verwenden – genau so fängt eine typisierte Sprache Fehler ab.