Prinsip Penggantian Liskov (LSP) menyatakan bahwa objek dari subtipe harus dapat diganti dengan tipe asas mereka tanpa melanggar kebenaran program. Jika kod berfungsi dengan Base, ia mesti berfungsi dengan sebarang Subclass — jangkaan tingkah laku yang sama, tidak ada kejutan.
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 pemanggil: menetapkan lebar dan tinggi secara bebas. Ia lulus ujian "is-a" dalam bahasa Inggeris tetapi melanggar 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)
Ini adalah kontravarian input, kovarian output — inti formal LSP.
Tinggalkan warisan: Square dan Rectangle kedua-duanya adalah Shape dengan area(), tetapi tidak satu pun adalah yang lain. Model tingkah laku, bukan taksonomi naif.
LSP adalah yang membuat polimorfisme selamat: tanpanya, setiap pemeriksaan if (x instanceof Square) merayap kembali, mengalahkan tujuan subtipe.
Ia mengubah semula reka bentuk warisan di sekitar kontrak tingkah laku, bukan perbendaharaan — sebab sebenar "memihak komposisi" wujud adalah kerana banyak hubungan is-a secara senyap melanggar LSP.