Array generici

I generici diventano davvero utili quando si usano le tabelle. Sai già scrivere array tipizzati come {number} o {string}. All'interno di una funzione generica, il tipo dell'elemento può essere semplicemente T e {T} significa «un array di qualunque tipo risulti essere T».

Ecco l'esempio classico: recuperare il primo elemento di un array qualsiasi:

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

Passa un {string} e il verificatore deduce T = string, quindi il risultato è una stringa. Passa un {number} e il risultato è un numero. Una sola funzione sostituisce un'intera famiglia di copie specifiche per tipo.

Osserva attentamente il tipo restituito: è T?, non T. Un array può essere vuoto e, in tal caso, items[1] è nil: il tipo opzionale che hai incontrato prima lo indica correttamente: «un T oppure nil». Il verificatore solleciterà chi chiama la funzione a gestire il caso nil prima di usare il risultato: è proprio il tipo di bug che vuoi individuare con un linguaggio tipizzato.