Liskov Substitution

Subtype harus bisa menggantikan base type-nya tanpa mengubah kebenaran program.

Masalahnya

Jika subclass meng-override perilaku dengan cara yang melanggar ekspektasi base class-nya, misalnya melempar error untuk operasi yang didukung base class atau mengembalikan hasil yang tak terduga, kode yang mengandalkan base type akan rusak saat diberi subtype tersebut.

Cara Kerja

›Subclass harus menghormati kontrak (precondition, postcondition, invariant) dari superclass-nya
›Method yang di-override harus menerima input setidaknya seluas method dasarnya dan mengembalikan output yang tidak lebih longgar
›Contoh pelanggaran klasik: Square extends Rectangle tetapi merusak independensi setWidth/setHeight
›Jika subtype tidak bisa sepenuhnya memenuhi kontrak base type, pertimbangkan ulang relasi inheritance-nya

Kapan Digunakan

✓Merancang hierarki class di mana subclass harus bisa langsung menggantikan induknya

✓Meninjau inheritance untuk mencari perilaku override yang mengejutkan

✓Memilih antara inheritance dan composition untuk relasi yang "hampir is-a"

Contoh di Dunia Nyata

🍎

iOS

Subclass UIView mana pun harus bekerja dengan benar di mana pun UIView diharapkan

🤖

Android

Subclass RecyclerView.ViewHolder mana pun harus berperilaku benar di dalam adapter

🌐

Web

Implementasi Storage mana pun (localStorage/sessionStorage) harus mendukung kontrak get/set/remove yang sama

Contoh Kode

Swift

// ❌ Violation: Penguin can't fly, breaking the Bird contract
// class Penguin: Bird { override func fly() { fatalError("can't fly") } }

// ✅ Fix: separate flying ability into its own protocol
protocol Bird {
    func eat()
}

protocol FlyingBird: Bird {
    func fly()
}

struct Sparrow: FlyingBird {
    func eat() { print("Sparrow eating") }
    func fly() { print("Sparrow flying") }
}

struct Penguin: Bird {
    func eat() { print("Penguin eating") }
    // no fly() — Penguin is not a FlyingBird, and that's fine
}

func feed(_ bird: Bird) { bird.eat() }
feed(Penguin())   // works correctly for any Bird