Principio de sustitución de Liskov

Principio de sustitución de Liskov

Principio de sustitución de Liskov es un principio de la programación orientada a objetos. y puede definirse como: Cada clase quehereda de otra puede usarse como su padre sin necesidad de conocer las diferencias entre ellas. En lenguaje mas formal: si S es un subtipo de T, entonces los objetos detipo T en un programa de computadora pueden ser sustituidos por objetos de tipo S (es decir, los objetos de tipo S pueden sustituir objetos de tipo T), sin alterarninguna de las propiedades deseables de ese programa (la corrección, la tarea que realiza, etc.) Más formalmente, El Principio de Sustitución de Liskov (LSP) es unadefinición particular de una relación de subtipificación, llamada tipificación (fuerte) del comportamiento, que fue introducido inicialmente por Barbara Liskov en una conferenciamagistral en 1987 titulada La Abstracción de Datos y Jerarquía.1 Se refiere más a una relación semántica que a una relación sintáctica, ya que sólo tiene la intención degarantizar la interoperabilidad semántica de tipos en una jerarquía, los tipos de objeto en particular. Liskov y Jeannette Wing formularon el principio de maneraconjunta en un artículo en el año 1994 de la siguiente manera:

Sea q (x) una propiedad comprobable acerca de los objetos x de tipo T. Entonces q (y) debe ser verdad paralos objetos y del tipo S donde S, es un subtipo de T.

En el mismo artículo, Liskov y Wing detallan que su concepto de comportamiento de subtipos es una extensión de lalógica de Hoare, que tiene una cierta semejanza con el diseño por contrato de Bertrand Meyer, ya que considera la interacción de subtipos con pre y postcondiciones.