Jelaskan Prinsip Substitusi Liskov secara mendalam.

Question

Accepted Answer

**Prinsip Substitusi Liskov (LSP)** menyatakan bahwa objek dari subtipe harus dapat digantikan dengan tipe dasarnya **tanpa merusak kebenaran program**. Jika kode bekerja dengan `Base`, maka harus bekerja dengan `Subclass` apa pun — ekspektasi perilaku yang sama, tanpa kejutan.

## Mengapa ini penting

```java
class Rectangle {
    protected int w, h;
    void setWidth(int w)  { this.w = w; }
    void setHeight(int h) { this.h = h; }
    int area() { return w * h; }
}

class Square extends Rectangle {       // "a square IS-A rectangle"... seemingly
    void setWidth(int w)  { this.w = w; this.h = w; }   // keep sides equal
    void setHeight(int h) { this.w = h; this.h = h; }
}

void resize(Rectangle r) {
    r.setWidth(5);
    r.setHeight(4);
    assert r.area() == 20;   // holds for Rectangle... FAILS for Square (area=16)
}
```

`Square` *melanggar kontrak* yang bergantung pada pemanggilnya: menetapkan lebar dan tinggi secara independen. Lolos uji "is-a" dalam bahasa Inggris tetapi **melanggar LSP**.

## Apa yang sebenarnya LSP minta

```text
A subtype must NOT:
  ✗ strengthen preconditions  (demand more than the base, e.g. reject valid inputs)
  ✗ weaken postconditions     (promise less than the base)
  ✗ break invariants the base guarantees
  ✗ throw new unexpected exceptions for previously valid calls
A subtype MAY:
  ✓ weaken preconditions (accept more)   ✓ strengthen postconditions (promise more)
```

Ini adalah **kontravarians dari masukan, kovarians dari keluaran** — inti formal LSP.

## Cara memperbaiki contohnya

Hilangkan warisan: `Square` dan `Rectangle` keduanya `Shape`s dengan `area()`, tetapi tidak ada yang satu sama lain. Modelkan perilaku, bukan taksonomi naif.

## Mengapa ini penting

LSP adalah yang membuat polimorfisme *aman*: tanpa itu, setiap pemeriksaan `if (x instanceof Square)` merayap kembali, mengalahkan tujuan subtipifikasi.

Ini membentuk kembali desain warisan di sekitar **kontrak perilaku**, bukan kosakata — alasan sebenarnya "lebih suka komposisi" ada adalah karena banyak hubungan "is-a" secara diam-diam melanggar LSP.