El Liskov Substitution Principle o Principio de Sustitución de Liskov (introducido por Barbara Liskov en 1987) establece que "los objetos de una superclase deberían ser reemplazables con objetos de sus subclases sin afectar la correctitud del programa".

En términos más simples... si usamos una clase, en alguna parte del código, y esa clase la extendemos (heredamos), tenemos que poder reemplazarla con cualquiera de las clases hijas, y el programa debe seguir siendo válido.

# ¿Sustitución y Correctitud?

• Sustitución: Reemplazar instancias de una clase base con instancias de subclases.
• Correctitud: El programa sigue funcionando como se esperaba después de la sustitución.

El Liskov Substitution Principle asegura que las clases base sean completamente sustituibles por sus clases derivadas, lo que significa que las subclases no deben cambiar el comportamiento esperado de la base.

# ¿Por qué es importante?

# Síntomas de que no se cumple

Podemos identificar cuándo no estamos respetando el Liskov Substitution Principle:

• Necesidad de verificar el tipo de una subclase antes de usar un método.
• Las subclases que lanzan excepciones en métodos que la clase base maneja.
• Los clientes de la clase base no pueden usar subclases sin conocer la diferencia.

Ejemplo

Imaginemos una aplicación que gestiona formas geométricas.

public class Rectangle {
    protected int width;
    protected int height;
    public void setWidth(int width) {
        this.width = width;
    }
    public void setHeight(int height) {
        this.height = height;
    }
    public int getArea() {
        return width * height;
    }
}
public class Square extends Rectangle {
    public void setWidth(int width) {
        this.width = this.height = width;
    }
    public void setHeight(int height) {
        this.width = this.height = height;
    }
}

public abstract class Shape {
    public abstract int getArea();
}
public class Rectangle extends Shape {
    private int width;
    private int height;
    // setters y getters
    public int getArea() { return width * height; }
}
public class Square extends Shape {
    private int side;
    public void setSide(int side) { this.side = side; }
    public int getArea() { return side * side; }
}