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

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

Роль принципа в разработке:

Обеспечивает надежность и предсказуемость поведения наследуемых классов.
Помогает создавать расширяемые и поддерживаемые системы.
Предотвращает неожиданные ошибки при замене базовых классов наследниками.

Пример:

class Bird {
    void fly() {
        System.out.println("Птица летит");
    }
}

class Sparrow extends Bird {
    // корректно наследует поведение
}

class Ostrich extends Bird {
    @Override
    void fly() {
        throw new UnsupportedOperationException("Страус не умеет летать");
    }
}

Здесь Ostrich нарушает принцип Лисков, так как не поддерживает поведение базового класса Bird (метод fly). Это может привести к ошибкам, если в коде ожидается, что все птицы умеют летать.

Объясните суть принципа Лисков и его роль в разработке программных систем