Les tableaux génériques

Les génériques deviennent vraiment utiles dès qu’on utilise des tables. Tu écris déjà des tableaux typés sous la forme {number} ou {string}. Dans une fonction générique, le type des éléments peut simplement être T, et {T} signifie « un tableau de ce que T se révélera être ».

Voici l’exemple classique : récupérer le premier élément de n’importe quel tableau :

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

Passe un {string} et le vérificateur déduit T = string, donc le résultat est une chaîne de caractères. Passe un {number} et le résultat est un nombre. Une seule fonction remplace toute une famille de copies spécifiques à chaque type.

Examine attentivement le type de retour : c’est T?, et non T. Un tableau peut être vide, auquel cas items[1] vaut nil : le type optionnel que tu as rencontré plus tôt l’indique clairement : « un T, ou nil ». Le vérificateur incitera les appelants à gérer le cas nil avant d’utiliser le résultat, ce qui permet précisément de détecter les erreurs comme on l’attend d’un langage typé.