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