J'ai lu que le principe de substitution de Liskov est violé si:
Les conditions préalables sont renforcées, ou
Les postconditions sont affaiblies
Mais je ne sais pas encore comment ces deux points violeraient le principe de substitution de Liskov. Quelqu'un peut-il expliquer avec un exemple. Plus précisément, comment l'une des conditions ci-dessus entraînerait-elle une situation dans laquelle un objet de sous-classe ne peut pas être substitué à un objet de super-classe?