Les tableaux génériques

Fait partie de la section Introduction à Luau du Journey Lua de Coddy — leçon 60 sur 73.

Les génériques deviennent particulièrement utiles lorsque des tables sont impliquées. Vous écrivez déjà des tableaux typés sous la forme {number} ou {string} — à l'intérieur d'une fonction générique, le type d'élément peut simplement être T, et {T} signifie « un tableau de tout ce que T s'avère ê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

Passez un {string} et le vérificateur déduit T = string, la valeur de retour est donc une chaîne. Passez un {number} et c'est un nombre. Une seule fonction remplace toute une famille de copies spécifiques à chaque type.

Regardez attentivement le type de retour : c'est T?, et non T. Un tableau peut être vide, et dans ce cas items[1] vaut nil — le type optionnel que vous avez découvert plus tôt le dit honnêtement : « un T, ou nil ». Le vérificateur incitera les appelants à gérer le cas nil avant d'utiliser le résultat, ce qui est exactement le genre de détection de bugs que vous attendez d'un langage typé.

Défi

Facile

Créez une fonction générique nommée first qui :

déclare un paramètre de type T
accepte un paramètre nommé items de type {T}
renvoie le premier élément, avec le type de retour T? (il vaut nil pour un tableau vide)

Créez ces tableaux typés :

fruits de type {string} avec "apple", "banana", "cherry"
scores de type {number} avec 10, 20, 30, 40
flags de type {boolean} avec false, true
empty de type {string} sans aucun élément

Affichez le résultat de l'appel à first avec chaque tableau, dans cet ordre, chacun sur sa propre ligne.

Essayez vous-même

-- Écrivez le code ici
-- 1) définir first<T>(items: {T}): T? retournant items[1]
-- 2) créer fruits: {string}, scores: {number}, flags: {boolean},
--    et un tableau {string} vide
-- 3) afficher first(...) de chaque tableau, dans cet ordre