Можете объяснить основной смысл принципа Барбары Лисков, касающегося подстановки в объектно-ориентированном программировании?

Принцип Барбары Лисков (Liskov Substitution Principle, LSP) гласит, что объекты подкласса должны без проблем заменять объекты базового класса без изменения правильности работы программы. Иными словами, если класс B наследует класс A, то везде, где используется объект A, можно подставить объект B, и программа должна работать корректно.

Это означает, что подкласс не должен нарушать ожидания, заложенные в базовом классе: он не должен изменять поведение методов так, чтобы это приводило к ошибкам или неожиданным результатам. Например, подкласс не должен уменьшать предусловия методов и не должен усиливать постусловия.

Пример на Python:

class Bird:
    def fly(self):
        print("Птица летит")

class Sparrow(Bird):
    def fly(self):
        print("Воробей летит")

class Ostrich(Bird):
    def fly(self):
        raise Exception("Страус не умеет летать")

# Нарушение LSP: Ostrich не может заменить Bird, так как метод fly ведет себя иначе

Здесь класс Ostrich нарушает принцип Лисков, так как не поддерживает поведение базового класса Bird.