Ce que je trouve bien dans la gestion des exceptions dans Eiffel est que justement ce sont ... des exceptions !
Une exception est un évènement anormal et pas autre chose. Et c'est ce que propose justement Eiffel ; les évènements anormaux sont le résultat d'une rupture du contrat entre l'appelant et l'appelé (post-conditions, pré-conditions, ou invariants).
Dans les autres langages, les exceptions ont tendance à être utilisées pour traiter même des flots d'exécution normaux ! Ce qui rend les choses difficiles à lire et surtoût à maintenir. Par exemple, les cas d'erreurs dans un programme, lorsqu'ils ont été spécifiés, sont des cas normaux et non des exceptions. Une exception ne devrait traiter que les ... exceptions, c'est à dire des cas qui ne devraient pas arriver, qui n'ont pas été prévus dans la spécification du programme ... que ces cas soient identifiés ou non lors de la conception.
Bien sûr, tout n'est pas rose dans la gestion des exceptions dans Eiffel. Il pourrait être amélioré en ajoutant au langage le support des symboles et donc, il pourrait, par exemple, attacher l'identification d'une exception donnée par un symbole unique.
[^] # Re: Goûtez-y !
Posté par Miguel Moquillon (site web personnel) . En réponse à la dépêche EiffelStudio devient un logiciel libre. Évalué à 6.
Une exception est un évènement anormal et pas autre chose. Et c'est ce que propose justement Eiffel ; les évènements anormaux sont le résultat d'une rupture du contrat entre l'appelant et l'appelé (post-conditions, pré-conditions, ou invariants).
Dans les autres langages, les exceptions ont tendance à être utilisées pour traiter même des flots d'exécution normaux ! Ce qui rend les choses difficiles à lire et surtoût à maintenir. Par exemple, les cas d'erreurs dans un programme, lorsqu'ils ont été spécifiés, sont des cas normaux et non des exceptions. Une exception ne devrait traiter que les ... exceptions, c'est à dire des cas qui ne devraient pas arriver, qui n'ont pas été prévus dans la spécification du programme ... que ces cas soient identifiés ou non lors de la conception.
Bien sûr, tout n'est pas rose dans la gestion des exceptions dans Eiffel. Il pourrait être amélioré en ajoutant au langage le support des symboles et donc, il pourrait, par exemple, attacher l'identification d'une exception donnée par un symbole unique.