Translate

Exception

Les exceptions sont juste des variants un peu spéciales, "lancées" dans cas exceptionnels (n'en abusez pas !).

Utilisation

let getItem = (theList) =>
  if (callSomeFunctionThatThrows()) {
    /* return the found item here */
  } else {
    raise(Not_found)
  };

let result =
  try (getItem([1, 2, 3])) {
  | Not_found => 0 /* Default value if getItem throws */
  };

Notez que ce qui précède est juste à des fins de démonstration. En réalité, vous retourneriez une option(int) directement depuis getItem et éviteriez complètement try.

Vous pouvez directement match les exceptions while en obtenant une autre valeur de retour d'une fonction :

switch (List.find((i) => i === theItem, myItems)) {
| item => print_endline(item)
| exception Not_found => print_endline("No such item found!")
};

Vous pouvez créer vos propres exceptions comme vous le feriez avec une variant (les exceptions doivent également avoir leur première lettre en majuscule).

exception InputClosed(string);
...
raise(InputClosed("the stream has closed!"));

Conseils & astuces

Lorsque vous avez des variants ordinaires, vous n'avez pas souvent besoin d'exceptions. Par exemple, au lieu d'en lancer une lorsque item ne peut être trouvé dans une collection, essayez de renvoyer un option(item) (None dans le cas d'espèce) à la place.

Décisions de conception

Le point ci-dessus semble contredire ce qui se passe dans la librairie standard OCaml. Les fonctions éminentes dans des modules tels que List et String semblent lancer des exceptions trop souvent. Ceci est en partie un héritage historique, et partiellement une attention extrême à la performance. OCaml natif/Reason sont extrêmement performants. Le générateur d'exceptions a été conçu pour être très léger, moins gourmant que l'allocation et le retour d'une option par exemple. Ce n'est malheureusement pas le cas pour JavaScript.

Les alternatives de librairies standard plus récentes sont généralement livrées avec des fonctions retournant des options plutôt que lançant des exceptions. Par exemple, List.find à l'option en retour contrairement à List.find_opt, qui ne le throw pas.

Les exceptions sont en fait de simples variantes. Pour être encore plus précis, ils appartiennent tous à un seul type de variante, appelé exn. C'est une variante extensible, ce qui signifie que vous pouvez y ajouter de nouveaux constructeurs, tels que InputClosed ci-dessus. exception Foo est juste un sucre syntaxique pour ajouter un constructeur à exn.

← ExternalObjet →