1. Introduction

Sans refaire toute l’histoire des paradigmes des langages de programmation, il est tout de même intéressant de rappeller que :

• Les premiers langages étaient très « proche du métal » :
  • câbles ou interrupteurs,
  • langage machine,
  • assembleur,
  • …
• Des langages de plus haut niveau ont été conçus, visant à s’éloigner des contraintes matérielles pour se rapprocher de concepts plus abstraits :
  • Fortran,
  • C,
  • Basic,
  • …
• Notons que ce dernier a été beaucoup décrié. En effet, avec ses sauts d’exécution de ligne à ligne (GOTO), il était très facile de produire du code spaghetti.
• La programmation structurée apporte un progrès de ce côté, mais…
• l’arrivée de systèmes de gestion d’exceptions (SGE) est considérée par certain comme un recul.

2. Premières exceptions

Ouvrir une console Python et taper les instructions suivantes :

• 1/0
• [][0]
• …

Essayer de déclencher (ou lever) un maximum d’exceptions parmis celles listées ici. Vous copierez la liste en ajoutant l’instruction correspondante à droite de chaque exception.

BaseException
 +-- SystemExit
 +-- KeyboardInterrupt
 +-- GeneratorExit
 +-- Exception
      +-- StopIteration
      +-- ArithmeticError
      |    +-- FloatingPointError
      |    +-- OverflowError
      |    +-- ZeroDivisionError    1/0
...

Essayer aussi les instructions :

• raise Exception
• raise Exception()
• raise int

Dans les langages orientés objets, les exceptions sont bien sûr des objets. La structure hiérarchique des exceptions permet de grandes finesses lors de leur récupération.

3. Sur un exemple

3.1. Présentation

Les exceptions représentent le plus souvent un problème que le programme a rencontré à l’exécution (le compilateur a compilé sans rien détecter d’anormal, ou nous avons affaire à un langage de script). Et le SGE permet au programmeur d’aider son programme à s’en tirer tout seul.

Le programme que nous allons étudier propose une utilisation détournée du SGE, puisque le flot du programme est dirigé par les exceptions.

Notons que par soucis de simplification, nous avons gardé quelques if. Il aurait été en effet possible de remplacer les if par un système utilisant assertEqual et ses camarades.

3.2. Dissection

3.2.1. Exceptions propres au programme

Dans les langages orientés objets, les exceptions sont bien sûr des objets.

Un programme peut créer ses propres types d’exception et les placer judicieusement dans la hiérarchie existante.

BaseException
 +-- SystemExit
 +-- KeyboardInterrupt
 +-- GeneratorExit
 +-- Exception
      +-- PlusOuMoinsException
      |    +-- StopException
      |    +-- BravoException
      |    +-- TropException
      +-- StopIteration
      +-- ArithmeticError
      |    +-- FloatingPointError
      |    +-- OverflowError
      |    +-- ZeroDivisionError

3.2.2. Essaie de m’attraper

Le plus souvent, les langages utilisent les instructions try et catch.

En Python, c’est try et except (voir la documentation officielle).

try et catch peuvent ressembler à switch et case, mais le case peut avoir lieu plus haut dans les appels.

3.2.3. Déclencher une exception

raise permet de déclencher une exception existant dans le langage ou une exception propre au programme.

3.2.4. Rôle de la hiérarchie

Où est gérée l’exception TropException ?

3.2.5. Finalement

Les instructions après le finally seront toujours exécutées. Toujours ?

C’est en général ici que l’on ferme des fichiers, des connexions…

4. Mise en pratique

1. Choisir un langage autre que Python.
2. Trouver la syntaxe relative aux exceptions.
3. Trouver une liste des exceptions fournies par le langage.
4. En déclencher quelques-unes.
5. Implémenter le jeu du plus ou moins avec des exceptions.