Este principio indica que las subclases nunca deben violentar la definición del tipo de las clases base.
Muchos podrían pensar que toda herencia cumple el principio Liskov, no obstante no siempre es así; ejemplo de un código que no cumple este principio se encuentra abajo.
Este patrón se basa en clases abstractas, por lo tanto no existe la manera que se violente el principio.
Al implementar una interfaz o heredar de una clase abstracta hace que las clases hijas nunca violenten la definición de las clases bases y pueden ser tratados como el mismo tipo de la base, por lo tanto no se violenta el principio.
No hay comentarios:
Publicar un comentario