Une fonction d'identité générique
Fait partie de la section Introduction à Luau du Journey Lua de Coddy. Leçon 62 sur 80.
Voici la fonction identité correctement définie, sous la forme d’une fonction générique :
local function identity<T>(value: T): T
return value
endLe <T> après le nom de la fonction déclare un paramètre de type : un espace réservé qui signifie « un certain type, déterminé à chaque appel ». Dans la signature, tu utilises T exactement comme un type réel : le paramètre est de type T, et la fonction renvoie un T.
Utiliser le même T pour l’entrée et la sortie, voilà toute l’astuce. Cela les lie. Appelle identity("hello") et le vérificateur détermine que T = string pour cet appel, donc le résultat est une string. Appelle identity(42) et T = number, donc le résultat est un number. Un seul corps de fonction, tous les types, rien n’est perdu.
T est simplement un nom conventionnel (abréviation de « Type ») : <Item> ou <Value> conviennent tout aussi bien. Et comme toujours en Luau, les chevrons n’existent que pour le vérificateur : à l’exécution, il s’agit de la simple fonction Lua function identity(value) return value end.
Défi
FacileÉcris une seule fonction qui renvoie n’importe quelle valeur en conservant son type.
- Écris
local function identity<T>(value: T): Tqui renvoievalue. - Déclare
local luckyNumber: number = identity(7)etlocal greeting: string = identity("Hello, Luau!"). - Affiche
luckyNumber, puisgreeting.
Appuie sur Run Code : la sortie affiche 7 et Hello, Luau!.
Essayez vous-même
-- 1) identity<T>(value: T): T
-- 2) luckyNumber et greeting issus des appels à identity
-- 3) afficher les deux
Toutes les leçons de Introduction à Luau
1Premiers pas avec Luau
Qu'est-ce que Luau ?Pourquoi utiliser Luau ?Votre premier code LuauVérification de type et modes d'erreurRécapitulatif : Introduction à Luau4Travailler avec les fonctions
Typer les paramètres et les valeurs de retourTyper les fonctions anonymesFonctions sans valeur de retourParamètres optionnelsValeurs par défaut des paramètresValeurs par défaut pour les booléensFonctions variadiquesDéfinir des types de fonctionsRécapitulatif : fonctions typées7Projet : gestionnaire de tâches typé
Projet : la structure d’une tâcheFonction pour ajouter une tâche
Fonction pour modifier le statut d’une tâcheFonction : lister les tâches par statutFonction : afficher le résumé des tâchesBoucle de commandes : ajouterBoucle de commandes : lister et terminerBoucle de commandes : résumé2Types fondamentaux
Nombre, chaîne de caractères et booléenLe type « any » : une échappatoireLe type « unknown »Types nil et optionnelsL’inférence de types en actionAnnotations de type explicitesRécapitulatif : exercices sur les types fondamentaux5Alias, unions et intersections
Alias de types pour les types primitifsTypes unionsTravailler avec les types unionsTypes littérauxTypes intersectionsCombinaison d'alias de typesRécapitulatif : Combinaisons de types avancées3Tables typées : tableaux et maps
Tableaux typésAjouter et lire des élémentsQu’est-ce qu’un type Map ?Déclarer et accéder aux mapsParcourir les tablesTables de formes mixtesLire une grilleConstruire une grilletable.unpackRécapitulatif : tableaux et maps6Typage des structures de tables
Annotations de structures en ligneAlias de types pour les structuresPropriétés optionnellesStructures vs tables libresExtension de structuresAjout de méthodes aux structuresMéthodes avec Self et deux-pointsRécapitulatif : Définir des structures de tables9Les génériques : Un premier aperçu
Le problème résolu par les génériquesUne fonction d'identité génériqueUtiliser une fonction génériqueLes tableaux génériquesLes alias de types génériquesRécapitulatif : Les fonctions génériquesEntraînez-vous par vous-même : Compilateur Luau en ligne