Que signifie la lettre 'L' dans les principes SOLID pour la programmation orientée objet?

La lettre "L" dans les principes SOLID représente le principe de substitution de Liskov (Liskov Substitution Principle, LSP).

Ce principe stipule que les objets d'une sous-classe doivent pouvoir être utilisés à la place des objets de la classe de base sans compromettre la correction du programme. Autrement dit, si la classe B hérite de la classe A, alors les objets de la classe B doivent se comporter de manière à pouvoir être utilisés à la place des objets de la classe A sans erreurs inattendues ou changements de comportement.

Exemple de violation du LSP :

class Bird {
    func fly() {}
}

class Ostrich: Bird {
    override func fly() {
        fatalError("L'autruche ne peut pas voler")
    }
}

Ici, Ostrich hérite de Bird, mais ne peut pas implémenter correctement la méthode fly, ce qui viole le LSP.

Une conception correcte des classes aide à respecter ce principe, améliorant la fiabilité et la extensibilité du code.