Vysvětlete, co znamená princip Liskovovy substituce a jak se uplatňuje v objektově orientovaném programování.

Princip Liskovovy substituce (Liskov Substitution Principle, LSP) je jedním z pěti principů SOLID v objektově orientovaném programování. Stanoví, že objekty podtřídy by měly být zaměnitelné s objekty nadtřídy bez změny správnosti programu.

Jednoduše řečeno, pokud třída B dědí od třídy A, pak by objekty třídy B měly být takové, že je lze použít místo objektů třídy A bez neočekávaných chyb nebo změn v logice.

Toho se dosahuje tím, že podtřída nesmí:

• Porušovat invariance nadtřídy.
• Zúžit předpoklady metod (požadovat přísnější vstupní data).
• Rozšiřovat postkonidice (dávat méně garantované výsledky).

Příklad:

class Bird {
    func fly() {
        print("Pták létá")
    }
}

class Sparrow: Bird {
    override func fly() {
        print("Vrabec létá")
    }
}

// Porušení LSP, pokud přidáme třídu Penguin, která neumí létat
class Penguin: Bird {
    override func fly() {
        fatalError("Pinguin neumí létat")
    }
}

V tomto příkladu Penguin porušuje LSP, protože jej nelze použít místo Bird bez chyb. Bylo by vhodnější definovat samostatné rozhraní pro létající ptáky.

Tímto způsobem LSP pomáhá vytvářet hierarchie tříd, které jsou snadno rozšiřitelné a udržovatelné, a vyhýbá se neočekávaným chybám při nahrazování objektů.