Ho letto che il principio di sostituzione di Liskov è violato se:
I requisiti sono rafforzati, o
Le post-condizioni sono indebolite
Ma non riesco ancora a capire come questi due punti violerebbero il principio di sostituzione di Liskov. Qualcuno può spiegare con un esempio. In particolare, come una delle condizioni di cui sopra potrebbe causare una situazione in cui un oggetto di sottoclasse non può essere sostituito con un oggetto di superclasse?