Что означает принцип подстановки Лисков?

Question

Принцип подстановки Лисков говорит о том, что объект подкласса должен полностью заменять объект базового класса без изменения поведения программы. Если код работает с базовым типом, он должен так же корректно работать и с его наследником. Подкласс не должен усиливать ограничения или нарушать ожидаемую логику. Нарушение этого принципа приводит к неожиданным багам. Фактически это правило корректного наследования.

YeaHub · Accepted Answer

Liskov Substitution Principle (LSP) — объекты подклассов должны быть взаимозаменяемы с объектами базового класса без изменения корректности программы.Простыми словамиЕсли функция ожидает объект базового класса, она не должна «ломаться», когда получает объект наследника.Пример нарушенияclass Rectangle {
    var width: Double = 0
    var height: Double = 0
}

class Square: Rectangle {
    override var width: Double {
        didSet { height = width }
    }
}
Square нарушает ожидания Rectangle, изменяя поведение сеттеров.Почему это проблемалогика становится неочевиднойпоявляются скрытые ошибкиполиморфизм перестаёт работать корректноКак избегать нарушенийНе усиливать предусловияНе ослаблять постусловияНе менять смысл методов базового классаПрактика в iOSосторожно использовать наследование от UIKit-классовпредпочитать протоколы и композициюВыводLSP — это индикатор правильного наследования. Если наследник нельзя безопасно подставить вместо базового класса, значит архитектурное решение выбрано неверно.