Ar galite paaiškinti SOLID principo L ir jo reikšmę programavimo projekte?

SOLID principo L yra Liskovo pakeitimo principas (Liskov Substitution Principle, LSP). Jis teigia, kad pogrupio objektai turi būti keičiami su pagrindinio klases objektais be programos teisingumo pažeidimo.

Paprasčiau tariant, jei klasė B paveldi iš klasės A, bet kur, kur naudojamas A objektas, jis gali būti pakeistas B objektu, ir programa turi veikti teisingai, nekeisdama savo elgesio.

Projektavimo reikšmė:

• Užtikrina teisingą paveldėjimą ir polimorfizmą.
• Padeda išvengti netikėtų klaidų funkcionalumo plėtimo metu.
• Skatina kurti lankstesnes ir išplečiamas architektūras.

Pavyzdys C++:

class Bird {
public:
    virtual void fly() {
        // skrydžio įgyvendinimas
    }
};

class Sparrow : public Bird {
    // zylė gali skristi, viskas tvarkoje
};

class Ostrich : public Bird {
public:
    void fly() override {
        throw std::logic_error("Strutis negali skristi");
    }
};

Čia Ostrich pažeidžia LSP, nes pogrupis nepalaiko pagrindinio klasės elgesio. Geriau suprojektuoti hierarchiją kitaip, pvz., išskiriant sąsają skraidantiems paukščiams.