LSP — Substituição de Liskov

// VIOLACAO CLASSICA: o subtipo quebra a promessa do supertipo
class Retangulo {
  constructor(protected larg: number, protected alt: number) {}
  setLargura(l: number): void { this.larg = l; }
  setAltura(a: number): void { this.alt = a; }
  area(): number { return this.larg * this.alt; }
}

class Quadrado extends Retangulo {
  setLargura(l: number): void { this.larg = l; this.alt = l; } // muda a altura junto!
  setAltura(a: number): void { this.larg = a; this.alt = a; }
}

// Codigo escrito contra Retangulo, valido para qualquer Retangulo
function redimensionar(r: Retangulo): void {
  r.setLargura(5);
  r.setAltura(4);
  console.assert(r.area() === 20, "esperava 20, veio " + r.area());
}

redimensionar(new Retangulo(0, 0)); // ok: 20
redimensionar(new Quadrado(0, 0));  // FALHA: 16 — o quadrado nao e substituivel

// CORRECAO: nao ha relacao de subtipo; sao formas irmas e imutaveis
interface Forma { area(): number }
class Ret implements Forma {
  constructor(private l: number, private a: number) {}
  comLargura(l: number): Ret { return new Ret(l, this.a); }
  area(): number { return this.l * this.a; }
}
class Quad implements Forma {
  constructor(private lado: number) {}
  area(): number { return this.lado ** 2; }
}

# VIOLACAO CLASSICA: o subtipo quebra a promessa do supertipo
class Retangulo:
    def __init__(self, larg, alt):
        self._larg, self._alt = larg, alt
    def set_largura(self, l): self._larg = l
    def set_altura(self, a): self._alt = a
    def area(self): return self._larg * self._alt

class Quadrado(Retangulo):
    def set_largura(self, l): self._larg = self._alt = l  # muda a altura junto!
    def set_altura(self, a): self._larg = self._alt = a

# Codigo escrito contra Retangulo, valido para qualquer Retangulo
def redimensionar(r):
    r.set_largura(5)
    r.set_altura(4)
    assert r.area() == 20, f"esperava 20, veio {r.area()}"

redimensionar(Retangulo(0, 0))  # ok
# redimensionar(Quadrado(0))    # AssertionError: 16

# CORRECAO: formas irmas e imutaveis, sem relacao de subtipo
class Ret:
    def __init__(self, l, a): self._l, self._a = l, a
    def com_largura(self, l): return Ret(l, self._a)
    def area(self): return self._l * self._a

class Quad:
    def __init__(self, lado): self._lado = lado
    def area(self): return self._lado ** 2