Mínigh an Prionsabal Ionadaíochta Liskov go mion.

Question

Accepted Answer

Deir an **Prionsabal Ionadaíochta Liskov (LSP)** go gcaithfidh rudaí de fhothéacs a bheith inrite ar fad ar a bhonntéacs **gan ionracas an chláir a bhristeadh**. Má oibríonn cód le `Base`, caithfidh sé a bheith ag feidhmiú le haon `Subclass` — ionchais iompair chéanna, gan aon iontas.

## Fáth ar bhraistint é

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

Brisíonn `Square` *an conradh* ar a bhraithíonn glaoch orthu: leithead agus airde a shocrú go neamhspleách. Tugann sé an tástáil Bhéarla « is-a » thaobh istigh ach **sárú an LSP**.

## Cad atá de dhith go fírinneach ar an LSP

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

Is é seo **contravaraince na n-ionchuir, covaraince na n-aschur** — croílár foirmiúil an LSP.

## Conas an sampla a shocrú

Léig don oidhreachta: tá `Square` agus `Rectangle` ina `Shape`s araon le `area()`, ach níl ceachtar ina cheile. Léirigh iompar, nach tacsanomaíochta simplí.

## Fáth ar bhraistint é

Is é an LSP an rud a dhéanann polaimorfism *slán* : gan é, bealach ar ais `if (x instanceof Square)` gach seiceáil i bhfolach, ag sárú croílár an fhothéigeadh.

Athsholáthar sé dearadh oidhreachta timpeall ar **chonarthaí iompair**, nach focabhair — is é an fíorfháth do « fabhraigh comhdhéanamh » ann ná gur sáruíonn go leor caidreamh is-a an LSP i gcoimeád.