Izskaidrojiet, ko nozīmē Liskova aizvietošanas princips un kā tas tiek piemērots objektorientētajā programmēšanā.

Liskova aizvietošanas princips (Liskov Substitution Principle, LSP) ir viens no pieciem SOLID principiem objektorientētajā programmēšanā. Tas nosaka, ka apakšklases objektiem jābūt aizvietojamiem ar pamata klases objektiem, nemainot programmas pareizību.

Vienkārši sakot, ja klase B manto no klases A, tad B klases objektiem jāuzvedas tā, lai tos varētu izmantot vietā ar A klases objektiem bez negaidītām kļūdām vai loģikas izmaiņām.

Tas tiek panākts, nodrošinot, ka apakšklase:

• Nepažešo pamata klases invariants.
• Neierobežo metožu priekšnosacījumus (prasot stingrākus ievades datus).
• Nepaplašina post- nosacījumus (sniedz mazāk garantētus rezultātus).

Piemērs:

class Bird {
    func fly() {
        print("Putns lido")
    }
}

class Sparrow: Bird {
    override func fly() {
        print("Vārna lido")
    }
}

// LSP pārkāpums, ja pievieno klasi Penguin, kas nevar lidot
class Penguin: Bird {
    override func fly() {
        fatalError("Pingvīns nevar lidot")
    }
}

Šajā piemērā Penguin pārkāpj LSP, jo to nevar izmantot vietā ar Bird bez kļūdām. Labāk būtu izveidot atsevišķu saskarni lidojošiem putniem.

Tādējādi LSP palīdz izveidot klases hierarhijas, kas ir viegli paplašināmas un uzturamas, izvairoties no negaidītām kļūdām, aizvietojot objektus.