Что означает принцип подстановки Барбары Лисков (Liskov Substitution)?

Что означает принцип подстановки Барбары Лисков (Liskov Substitution)?

• один из принципов ООП и SOLID
• объекты подклассов должны быть заменяемы объектами базовых классов без нарушения логики
• объекты производного класса должны без изменения поведения программы заменять экземпляры базового класса
• соблюдают инварианты и предусловия/постусловия, определённые методами базового класса
• не допускает нарушения поведения при наследовании
• гарантирует корректный полиморфизм
• имеет большое значение для расширяемости и поддерживаемости кода

Развёрнутый ответ

Ключевой ответ

Принцип подстановки Барбары Лисков (Liskov Substitution Principle, LSP) входит в пятёрку принципов SOLID. Согласно ему, экземпляры подкласса должны без проблем заменять объекты базового класса, не нарушая корректность поведения программы. То есть если класс S является наследником класса T, его экземпляры должны правильно работать во всех контекстах, где ожидается T, сохраняя исходную логику и контракт.

Ключевые моменты

• Соблюдение контракта: подкласс обязан сохранять поведение, которого ожидают от базового класса, включая предусловия, постусловия и инварианты. Подкласс не должен ужесточать предусловия или ослаблять постусловия.
• Поведенческая совместимость: подкласс обязан сохранять семантику методов базового класса; в противном случае клиентский код может столкнуться с неожиданным поведением.
• Поддержка полиморфизма: соблюдение LSP обеспечивает безопасную работу полиморфизма, благодаря чему код проще расширять и сопровождать.

Контекст практического применения

В практической разработке нарушение LSP нередко становится источником ошибок: расширение класса может нарушить уже работающую функциональность. Типичный пример — наследование от класса Rectangle, при котором подкласс Square изменяет предполагаемую логику изменения ширины и высоты, нарушая тем самым LSP. В современных проектах интерфейсы и иерархии следует строить так, чтобы подклассы расширяли поведение, а не нарушали его. Контрактное программирование и unit-тесты помогают проверять соблюдение LSP.