Обяснете какво означава принципът на Лисков за заместимост и как се прилага в обектно-ориентираното програмиране.

Принципът на подмяна на Лисков (Liskov Substitution Principle, LSP) е един от петте принципа SOLID в обектно-ориентираното програмиране. Той гласи, че обектите на подклас трябва да могат да бъдат взаимозаменяеми с обектите на базовия клас без да се променя коректността на програмата.

По-просто казано, ако класът B наследява от клас A, то обектите на клас B трябва да се държат така, че да могат да се използват вместо обектите на клас A без неочаквани грешки или промени в логиката.

Това се постига чрез гарантиране, че подкласът не:

• нарушава инвариантите на базовия клас.
• ограничава предусловията на методите (изисква по-строги входни данни).
• разширява постусловията (дава по-малко гарантиран резултат).

Пример:

class Bird {
    func fly() {
        print("Птицата лети")
    }
}

class Sparrow: Bird {
    override func fly() {
        print("Врабец лети")
    }
}

// Нарушение на LSP, ако добавим клас Penguin, който не може да лети
class Penguin: Bird {
    override func fly() {
        fatalError("Пингвинът не може да лети")
    }
}

В този пример Penguin нарушава LSP, тъй като не може да се използва вместо Bird без грешки. По-добре е да се дефинира отделен интерфейс за летящите птици.

По този начин LSP помага за създаването на йерархии от класове, които са лесни за разширяване и поддръжка, като избягва неочаквани грешки при замяната на обекти.