On May 7, 4:02 am, James Kanze <james.ka...@gmail.com> wrote:
>
> En gros, la dérivée ne doit pas
> imposer des préconditions plus contraignantes, et doit garantir
> des postconditions au moins aussi fortes que la base.

Je ne veux pas "hijacker" le sujet mais juste une remarque a propos de
cette affirmation.
C'est qquechose qu'on entend souvent et qui est dit et repete quand on
parle de contrat / interface
et qu'on evoque differentes implementations de ce contrat dans le
temps.

Par contre, c'est quelquechose qui m'a toujours plus ou moins derange
(bien que je l'utilise
de cette facon) car j'ai l'impression que tolerer des preconditions
moins contraignantes
et / ou des postconditions plus contraignantes brise le contrat d'une
certaine facon. Je n'ai
jamais encore pu accepter cette affirmation de but en blanc, peut etre
parce qu'il me manque
un element, je ne sais pas ...

Si je vais dans une chaine de restos qui exige que j'apporte mon vin,
et que j'ai l'habitude d'aller dans
un resto de cette chaine qui a choisi d'avoir une carte de vin et donc
de me lever la contrainte
d'aller chercher mon vin moi meme; puis que d'un coup je change de
resto
et que, contre toute attente, lui refuse ... me semble que c'est moi
qui ait brise le contrat initial non?
LSP se trouve plutot mal en point dans ce temps la,

Alex