Il-Liskov Substitution Principle (LSP) jiddikjara li oġġetti ta' subtype jridu jkunu sostitwibli għall-tip bażi tagħhom mingħajr ma jinqasru l-korrettezza tal-programm. Jekk il-kodiċi jaħdem ma' Base, irid jaħdem ma' kwalunkwe Subclass — l-istess aspettattivi tal-imġieba, l-ebda sorpriżi.
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 jinqas il-kuntratt li j-telefonanti jiddependu fuqu: issettjar il-wisa' u l-għoli b'mod indipendenti. Jgħaddi t-test "is-a" bl-Ingliż iżda jinqas il-LSP.
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)
Dan huwa kontravarianza ta' inputs, kovarianza ta' outputs — il-qalba formali tal-LSP.
Aħðal ir-rijedija: Square u Rectangle huma t-tnejn Shape bi area(), iżda l-ebda waħda minnhom mhux l-oħra. Immudellja t-imġieba, mhux tassonomija ingenuwa.
Il-LSP huwa li jagħmel il-polimorfizmu sigur: mingħajrha, kull kontroll if (x instanceof Square) jerġa' jidħol, u jħarbat l-għan tal-subbtiping.
Igħarraf mill-ġdid id-disinn ta' rijedija madwar kuntratti tal-imġieba, mhux il-vokabularji — ir-raġuni vera għaliex "ippreferixxiż il-kompożizzjoni" teħtiex hija li ħafna relazzjonijiet is-a b'mod silenzi jinqasu l-LSP.