Sécurité contre les valeurs nulles en mode strict

Fait partie de la section Introduction à Luau du Journey Lua de Coddy. Leçon 71 sur 73.

Le plantage Lua le plus courant est « tentative d’indexation de nil » : du code qui supposait qu’une valeur existait alors que ce n’était pas le cas. La réponse de Luau est la discipline de nil : avec --!strict, un simple string ne peut jamais être nil. Si nil est une possibilité réelle, le type doit l’indiquer avec ? :

--!strict
local nickname: string? = nil   -- ok : string OU nil
local username: string = nil    -- ✗ erreur de type en mode strict

Cette discipline fonctionne dans les deux sens : avec un string?, le mode strict ne vous laissera pas l’utiliser comme une chaîne tant que vous n’aurez pas écarté nil. L’outil standard est une simple comparaison, qui effectue une restriction de type tout comme une garde typeof :

local function shout(name: string?): string
    if name ~= nil then
        return string.upper(name) -- name est string ici
    end
    return "NOBODY"
end

Lorsque nil serait un bug plutôt qu’un cas valide, utilisez assert : après assert(x ~= nil), le vérificateur considère que x n’est pas nil pour le reste de la portée et, à l’exécution, l’assertion provoque rapidement un plantage, au point où l’hypothèse erronée s’est produite, plutôt que bien plus loin.

Le bénéfice : le vérificateur vous oblige à gérer chaque valeur « potentiellement manquante » pendant que vous modifiez le code, et l’erreur d’exécution ne se produit tout simplement jamais.

Défi

Facile

Traitez les champs du profil utilisateur qui pourraient être manquants. Commencez votre fichier par --!strict.

getDisplayName(fullName: string?): string : renvoie fullName s'il n'est pas nil, sinon Anonymous User.
formatEmail(email: string?): string : renvoie l'adresse e-mail en minuscules (string.lower) si elle n'est pas nil, sinon No email provided.
getUserInfo(name: string?, email: string?): string : utilise les deux fonctions et renvoie Name: [processed name], Email: [processed email].

Imprimez ensuite, chacun sur sa propre ligne :

getDisplayName("John Smith")
getDisplayName(nil)
formatEmail("ALICE@EXAMPLE.COM")
formatEmail(nil)
getUserInfo("Bob Johnson", "bob@test.com")
getUserInfo(nil, nil)
getUserInfo("Sarah Wilson", nil)

Essayez vous-même

--!strict
-- Écrire le code ici
-- 1) getDisplayName(fullName: string?): string — nil-check, fallback "Anonymous User"
-- 2) formatEmail(email: string?): string — string.lower or "No email provided"
-- 3) getUserInfo(name: string?, email: string?): string — combiner les deux
-- 4) afficher les sept appels de test de la tâche