Notion de décomposition

Dans le temps, un programme informatique se présentait sous la forme d'un bloc de code monolithique énorme. Ce type de programmation est totalement dépassée, car le code est extrèmement difficile à comprendre et à modifier.

Nous devons donc veiller à décomposer le code en entité qui ont chacune une fonction bien précise, et qui communiquent entre elles.

Et c'est quoi le but ?

La décomposition réduit la complexité^{ref 1}, permet de travailler en équipes (chaque équipe se focalisant sur une partie bien précise du problème), et permet de modifier sans risque l'implémentation¹.

J'vois toujours pas...

OK, utilisons un exemple pour comprendre les principes de l'abstraction.

Nous allons réaliser un programme qui permet de chercher des films sur le disque dur, et d'afficher le résultat sous forme de page Web.

Nous pouvons rapidement dégager deux grandes actions de notre programme :

• Chercher les films.
• Afficher les résultats.

Différentes notions sont évoquées, ou implicites :

• Film
• Disque dur
• Fichiers
• Page Web

Comme nous avons au moins deux modules, nous pouvons grouper les actions similaires dans des classes² Recherche et Affichage.

Contents Haut

Abstraction par paramètres

Nous pouvons commencer par notre recherche de films. Qu'avons nous besoin de savoir ?

• A la fin, nous devons avoir une liste de films (fichiers).
• Nous devons dire où démarrer la recherche. Nous lui donnerons un dossier de départ.
• Pour le reste, peu importe comment se fait la recherche.

Nous allons donc définir la signature suivante  Liste chercherFilms(Dossier dossierDépart)³⁴

Examinons maintenant notre méthode :

• Liste⁴ est le type de retour. Cela signifie qu'après avoir exécuté notre méthode nous aurons une liste d'éléments.
• chercherFilms est le nom de notre méthode.
• Dossier est le type de paramètre que va reçevoir notre méthode. Nous devrons donc donner un dossier.
• dossierDépart est le nom du paramètre de type Dossier que nous devons fournir à la méthode.

Liste chercherFilms(Dossier dossierDepart){
	<instruction_s>
}
 
rien_en_retour test(){
	Dossier monDossier := "C:\\test";
	Liste resultat := chercherFilms(monDossier);
}

Abstraction par spécifications

L'abstraction par paramètres nous permet de prendre du recul par rapport aux données que nous fournirons à notre méthode, mais cela ne suffit pas pour respecter nos propos du début au niveau de la modularité. Nous devons donc veiller à masquer les différentes lignes de codes à l'intérieur de notre méthode.

Ho lui hé... Y veut pas partager son code!

Le but de masquer ce qui se passe au sein de la méthode n'est absolument pas la protection contre la copie (il existe des décompilateurs assez performants, et à moins d'utiliser des obfuscateurs⁷ il est très difficile de protéger efficacement le code source). En plus, je suis pleinement convaincu que le partage d'information et la mise à disposition du code source est le meilleur moyen de progresser rapidement, et de détecter plus facilement les bugs.

Le fait de masquer l'implémentation est une protection pour l'utilisateur⁸.

En effet, si ce dernier sait que la méthode chercherFilms utilise un tableau dans la classe Recherche pour éviter de rechercher à nouveau si il n'y a eu aucune modification, il peut être tenté d'utiliser ce tableau.

Si nous modifions le code de notre classe Recherche et que nous n'utilisons plus ce tableau, ou que nous le destinons à un autre usage, le code de la personne qui utilise notre classe ne fonctionne plus, ou entrave le bon fonctionnement de nos méthodes.

C'est pour cette raison, pour cette indépendance que nous fournit l'abstraction, que nous masquons les éléments internes (masquer la représentation).

Mais si je ne sais pas ce qui se passe dans ta méthode, comment je peux l'utiliser ?

C'est pour cette raison que nous devons spécifier dans quelles conditions utiliser la méthode, et ce qu'elle fait. Le fait de spécifier ces informations est la base de l'abstraction par spécification.

L'abstraction par spécification permet donc une compréhension rapide du code sans devoir regarder l'implémentation, et une indépendance d'implémentation puisque nous pouvons modifier la manière dont nous avons codé à l'intérieur (principe de modifiabilité), pour autant que nos spécifications soient respectées.

L'abstraction par spécification nous permet de coder rapidement et sans se tracasser de l'efficacité (mais en atteignant le but demandé), puis par après optimiser le code quand nous en aurons la possibilité.

Nous devrons veiller dans notre spécification de méthode à être indépendant de toute autre spécification, c'est le principe de localité. Le programmeur qui écrit une implémentation pour cette méthode ne doit avoir besoin que de cette spécification pour savoir ce qu'il peut et ce qu'il doit faire.

Nous verrons par la suite comment spécifier les conditions nécessaires (pré-conditions) et les conditions après traitement (post-conditions).

Contents Haut

Abstraction par les données

Une fois que la recherche est effectuée, la méthode nous renvoie une collection de films sous la forme d'un type Liste.

L'abstraction par type de données nous permet une indépendance au niveau de la manière de stocker les données (la représentation). Le fait de masquer cette représentation nous permet de la modifier par exemple en fonction de critères d'optimisation, sans les utilisateurs de notre code doivent modifier quoi que ce soit dans leur propre code.

Seules les méthodes (les constructeurs sont aussi des méthodes) doivent pouvoir accéder à la représentation⁹. Le moyen en Java pour interdire l'accès aux variables est le mot clé private¹⁰¹¹. C'est le principe d'encapsulation.

Un des avantages de travailler avec une abstraction par type de données est que ce type regroupe toute une série d'opérations que nous pouvons effectuer sur cette liste, et les comportements que nous pouvons en attendre.

Abstraction de l'itération

Comme nous utilisons le type abstrait de données Liste, nous pouvons utiliser toutes les fonctionnalités que ce type met à notre disposition, et parmi elles la possibilité d'énumérer les éléments que la liste contient.

Contents Haut

Résumé

Nous avons vu que l'abstraction en programmation peut prendre différentes formes, l'abstraction par paramètres, l'abstraction par spécification.

Nous avons aussi vu qu'il existait certaines techniques avancées comme l'abstraction procédurale, l'abstraction par les données et l'abstraction par hiérarchie de type, et enfin l'abstraction de l'itération, techniques que nous aborderons dans les pages suivantes.