Qu’est-ce qu’un ensemble ?

Un ensemble est une collection de valeurs uniques : chaque valeur y figure une seule fois ou pas du tout. La question que tu poses à un ensemble est « cette valeur en est-elle membre ? ». Les badges qu’un joueur a obtenus, les niveaux déjà visités et les noms d’utilisateur déjà pris sont des ensembles.

Un tableau conserve chaque copie que vous ajoutez :

var pickups := ["sword", "shield", "sword"]
print(pickups.size()) # 3

GDScript n’a pas de type Set. À la place, tu utilises un dictionnaire : ses clés sont uniques, donc les clés sont les éléments de l’ensemble. Les valeurs ne sont pas utilisées et, par convention, chaque valeur est true :

var items := {"sword": true, "shield": true}
items["sword"] = true # déjà un élément : rien ne change
print(items.size()) # 2
print(items.keys()) # ["sword", "shield"]

keys() renvoie les éléments sous forme de tableau, dans l’ordre où ils ont été ajoutés pour la première fois. Un ensemble vide est un dictionnaire vide, {}.

Un littéral d’ensemble énumère chaque élément une seule fois. Écrire deux fois la même clé dans {} provoque une erreur qui arrête le programme avant son exécution.

Pour expliciter le type de l’ensemble, utilisez un dictionnaire typé : var badges: Dictionary[String, bool] = {}