Forklar Liskov Substitution Principle i dybden.

Question

Accepted Answer

**Liskov Substitution Principle (LSP)** sier at objekter av en subtype må være utskiftbare for bastypen deres **uten å bryte programmets korrekthet**. Hvis kode fungerer med en `Base`, må den fungere med enhver `Subclass` — samme oppførselsforventninger, ingen overraskelser.

## Kanonisk brudd: Square extends Rectangle

```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` *bryter kontrakten* som kallere stoler på: å sette width og height uavhengig. Det består testen "is-a" på engelsk, men **bryter LSP**.

## Hva LSP faktisk krever

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

Dette er **kontravarians av inndata, kovarians av utdata** — den formelle kjernen i LSP.

## Hvordan rette opp eksempelet

Dropp arven: `Square` og `Rectangle` er begge `Shape`er med en `area()`, men ingen er den andre. Modeller oppførsel, ikke naiv taksonomi.

## Hvorfor det betyr noe

LSP er det som gjør polymorfisme *trygg*: uten det, krysser hver `if (x instanceof Square)` sjekk tilbake inn, og ødelegger formålet med subtypering.

Det omformulerer inheritance-design rundt **oppførelsekontrakter**, ikke ordforråd — den virkelige grunnen til at "favor composition" eksisterer er at mange is-a-relasjoner stille bryter LSP.