PRINCIPIO DE SUSTITUCIÓN DE LISKOV

Y asi seguimos con el siguiente principio la sustitución de Liskov propuesto por Bárbara Liskov el cual dicta:

Lo que queremos es algo parecido a la siguiente propiedad sustitutiva: Si por cada objeto O1 de tipo S hay un objeto O2 de tipo T tal que todos los programas P estan definidos en términos de T, el comportamiento de P no cambia cuando O1 es sustituido por O2 siendo S un subtipo de T.

En términos simples: Las clases subtipos deberían poder ser reemplazables por sus tipos base. Por lo que si en alguna parte del programa usamos alguna clase y esta es extendida podríamos poder utilizar cualquier clase hija en su lugar. hagamos una analogía para que quede aun mas claro imagina una clase Ave en la cual por alguna razón tendremos un método volar, a primera vista estaría bien, pues podríamos hacer una clase Alcon : Ave e implemetaria volar sin problemas; pero que pasa para una clase Pingüino : Ave entonces el método volar quedaría sin funcionalidad y tendríamos que llamarlo para bien sobre escribirlo y lanzar una excepción o simplemente dejarlo ahí.

Sin embargo para que puedas identificar que este principio no esta siendo respetado solo revisa: siguiendo el ejemplo de las aves de arriba podemos darnos cuenta que la clase Pingüino tendría el método volar y como este cumpliría con lo siguiente: Si un método sobrescrito no hace nada o lanza una excepción, es muy probable que estés violando el principio de sustitución de Liskov.