Detaljno objasnite Liskovov princip supstitucije.

Question

Accepted Answer

**Liskovov princip supstitucije (LSP)** navodi da objekti podtipa moraju biti zamjenjivi za svoj bazni tip **bez narušavanja ispravnosti programa**. Ako kod radi sa `Base`, mora raditi sa bilo kojom `Subclass` — ista ponašanja očekivanja, bez iznenađenja.

## Zašto je to važno

```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` *prekršava ugovor* na koji pozivači računaju: postavljanje širine i visine nezavisno. Prolazi test "is-a" na engleskom jeziku, ali **krši LSP**.

## Što LSP zapravo traži

```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)
```

Ovo je **kontravarianca ulaza, kovarianca izlaza** — formalna jezgra LSP-a.

## Kako ispraviti primjer

Odpadnite nasljeđivanje: `Square` i `Rectangle` su oboje `Shape`s s `area()`, ali niti jedno nije drugo. Modelirajte ponašanje, ne naivnu taksonomiju.

## Zašto je to važno

LSP je ono što čini polimorfizam *sigurnim*: bez njega, svaka `if (x instanceof Square)` provjera se provlači natrag, poništavajući svrhu subtipizacije.

Preobraza dizajn nasljeđivanja oko **ugovora ponašanja**, ne rječnika — pravi razlog zašto "favoriziraj kompoziciju" postoji je što mnogi "is-a" odnosi tiho krše LSP.