peut ne pas correspondre à la bonne fonction

Question

Voici mes codes:

-record(user,{id,name,group,age}). 

adult_section(U=#user{}) when U#user.age >=18 -> "allowed"; 

adult_section(_) -> "no permission". 

il peut être travaillé avec:

>records_new:adult_section(#user{id=1,name='Ray',group=admin,age=10}). 
    output: "no permission" 

mais quand j'essaie ceci:

> records_new:adult_section(#user{}). 
    "allowed" 

Je n » t donner l'âge de l'utilisateur dans le deuxième ordre, pourquoi il peut être travaillé, pourquoi ne pas "no permission".

Answer 1

Depuis votre dossier n'a pas de valeur par défaut pour age, si vous créez l'enregistrement sans spécifier une valeur pour age, sa valeur par défaut à l'atome undefined.

1> #user{}. 
#user{id = undefined,name = undefined,group = undefined, 
     age = undefined} 

En Erlang, les atomes se comparent plus que des nombres entiers:

2> undefined > 18. 
true 
3> foo > 100000000. 
true 

Si vous spécifiez une valeur par défaut de l'âge d'être par exemple 0, votre fonction fonctionne comme prévu:

-record(user,{id,name,group,age = 0}). 

1> #user{}. 
#user{id = undefined,name = undefined,group = undefined, 
     age = 0} 
2> a:adult_section(#user{}). 
"no permission" 

Answer 2

Vous devriez regarder dans Dogbert answer. Son explication est sur place.

Je voudrais seulement ajouter que vous pourriez vous protéger contre une telle injection de «mauvaises données» en élargissant votre garde.

adult_section(U=#user{}) when 
    is_integer(U#user.age) andalso 
    U#user.age >=18 -> 
    "allowed";