Какие принципы ООП затрагивает или ограничивает принцип подстановки Лисков?

LSP ограничивает наследование поведенческим контрактом: объект подтипа должен заменять базовый тип без нарушения ожиданий клиента. Это основа безопасного полиморфизма, а не запрет переопределения методов.

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