В чем заключается принцип подстановки Лисков?

Принцип подстановки Лисков (Liskov Substitution Principle, LSP) — принцип организации подтипов в объектно-ориентированном программировании, предложенный Барбарой Лисков в 1987 году. ru.wikipedia.org

Суть принципа: объекты в программе должны быть взаимозаменяемыми экземплярами их базовых типов, не нарушая корректность программы. tproger.ru

Другими словами, код, который работает с базовым типом, должен работать и с любым его подтипом, не вызывая ошибок или неожиданного поведения. tproger.ru

Некоторые особенности принципа:

• Классы-наследники не должны противоречить базовому классу. solidbook.vercel.app Например, они не могут предоставлять интерфейс, который уже базового. solidbook.vercel.app
• Поведение наследников должно быть ожидаемым для функций, которые используют базовый класс. solidbook.vercel.app
• Подтипы не могут добавлять новые методы для изменения данных базового типа. ru.hexlet.io
• Методы подкласса не могут генерировать никаких дополнительных исключений, кроме тех, которые сами являются подклассами исключений, генерируемых методами надкласса. ru.wikipedia.org

Принцип подстановки Лисков помогает чётче сформулировать иерархию классов, определить функционал для базовых и производных классов и избежать возможных проблем при применении полиморфизма. metanit.com