Discussion :

[cladsam]

Bonjour,

je n'arrive pas à comprendre comment une chose simple : comment lire une valeur de type int saisie au clavier et gérer les possible erreurs .
Un chose simple donc je demande à l'utilisateur de saisir une valeur.
Je lis cette valeur par un read_int ou read_line avec une conversion de type ensuite.Mais je n'arrive pas à gérer l'exception lorsque l'utilisateur tape n'importe quoi .

J'ai essayé (pour lire un nombre entier positif )

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
 let lecture_int = try 
            let b = read_int() in if b > 0 the (b,true) else (0,false) 
           with Failure -> (0,false);;

qui ne marche pas et également :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
let lecture_int = try 
            let b = read_int() in if b > 0 the (b,true) else (0,false) 
           with Failure("int_of_string") -> (0,false);;

Donc il y a clairement un truc que je ne comprends pas bien dans le mécanisme des exceptions.

Pourriez-vous m'aiguiller ?

Merci beaucoup

[Strab]

Pense à donner l'erreur ou dire pourquoi ça ne marche pas, c'est beaucoup plus facile de t'aider ainsi car il n'y a pas forcément besoin d'essayer

C'est du copier-coller le code que tu donnes ? Je demande car il manque un n a then, donc c'est normal que ça ne marche pas. A part ça le deuxième code devrait marcher, en tout cas il marche chez moi.

Qu'est-ce qui ne marche pas ?

Sinon, je pense que tu as compris pourquoi le premier code ne marche pas. SI tu veux rattraper toutes les exceptions, utilises

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
 
try
 
with Failure _ -> (* ... *) ;;

Comme dans un match.

[gorgonite]

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
let x = try read_int () 
     with Failure "int_of_string" -> 0

voilà un morceau de code qui fonctionne...

[InOCamlWeTrust]

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
 
let x = try read_int () 
     with Failure _ -> 0

On ne ne sait jamais : si le message d'erreur change entre deux versions d'OCaml, ou si on peut avoir plusieurs sources possibles d'erreur (donc plusieurs messages d'erreur), c'est mieux comme ça.

[gorgonite]

On ne ne sait jamais : si le message d'erreur change entre deux versions d'OCaml, c'est mieux comme ça.

pas d'accord, car on peut récupérer plus d'exception que voulu
(perso, je ne vois pas trop ce qui pourrait remonter d'autre, mais par principe je traite l'exception que je souhaite récupérer et je laisse passer les autres