Programmation PYTHON - Zenk - Security - Repository

488
Techniques avancées
QUATRIÈME PARTIE
L’objectif originel de Simula était de fournir aux chercheurs une bibliothèque de
classes de simulation discrète, qui pouvait être modifiée dans des classes dérivées
pour mettre au point un fonctionnement particulier.
D’autres techniques complémentaires ont été introduites par la suite, dans les années
soixante-dix, par des langages comme SmallTalk, qui vont influencer fortement
Python, à savoir :
l’héritage multiple ;
les classes virtuelles pures ;
les métaclasses ;
le garbage collecting.
Typage, classification et encapsulation
La programmation orientée objet détermine que les systèmes sont définis par des
entités appelées objets, et que chacun de ces objets possède des caractéristiques définies
dans un type d’objet.
Typage de Liskov
Selon la théorie des types de Liskov, un type détermine un ensemble de caractéristiques
que partageront les objets appartenant à ce type.
Ces caractéristiques prennent la forme de méthodes et de valeurs pour l’objet et sont
définies par une classe. Cette classe contient le code à proprement parler et tout objet
de ce type est appelé instance de classe.
Liskov stipule en outre qu’il est possible de créer une sous-classification par le biais
de l’héritage, présenté ci-après.
Enfin, cette classification introduit un mécanisme de substitution lorsque deux classes
partagent des caractéristiques communes : substituer une classe par une autre sans que
le code utilisateur ne soit impacté est appelé principe de substitution de Liskov.
Principe de substitution de Liskov
Prenons l’exemple d’une classe A, qui utilise dans sa méthode calcul(), la méthode
sous_calcul() d’une classe B. Cette dépendance fonctionnelle rend A tributaire
de B. B peut implémenter d’autres méthodes sans que cela ne gêne A car la seule
chose qui intéresse A est la méthode sous_calcul().
En d’autres termes, remplacer B par une classe C qui fournisse aussi une méthode
sous_calcul() ne dérangera pas A, qui y trouve son compte.
Cette dépendance peut donc être remontée dans une abstraction commune à B et C.