Programmation PYTHON - Zenk - Security - Repository

Programmation orientée objet
CHAPITRE 14
L’exemple ci-dessous implémente le principe de substitution de Liskov s’assurant
que l’objet passé à A est dérivé du type Base.
Substitution de Liskov en Python
#!/usr/bin/python
# -*- coding: utf8 -*-
class Base(object):
""" classe virtuelle pure """
def sous_calcul(self):
raise NotImplementedError
class A:
""" classe utilisatrice """
def __init__(self, sous_objet):
ifnot isinstance(sous_objet, Base):
raise TypeError("A ne travaille qu'avec Base ou dérivés")
self.sous_objet = sous_objet
def calcul(self):
return 1 + self.sous_objet.sous_calcul()
class B(Base):
""" classe B """
def sous_calcul(self):
return 1
class C(Base):
""" classe C """
def sous_calcul(self):
return 2
# Utilisation de A avec B ou C
print(A(B()).calcul())
print(A(C()).calcul())
Ce principe peut également être implémenté avec les ABC présentées au chapitre 9.
Implémentation avec ABC
>>> from abc import ABCMeta, abstractmethod
>>> class Base(object):
... __metaclass__ = ABCMeta
... @abstractmethod
... def sous_calcul(self):
... pass
489