Что такое принцип подстановки Барбары Лисков (LSP) и как его часто нарушают?

Question

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

YeaHub · Accepted Answer

Принцип подстановки Барбары ЛисковОпределение: Объекты подклассов должны быть взаимозаменяемы с объектами базового класса без изменения ожидаемого поведения.LSP защищает от неправильного наследования и помогает строить корректные и безопасные иерархии.Частые нарушения LSP1. Изменение поведения метода родителяКогда переопределённый метод делает что-то принципиально иное.class Sword : Weapon {...}
class BrokenSword : Weapon
{
    public override int Attack() => throw new Exception(); // нарушение
}
2. Добавление неожиданных ограниченийНапример, метод в дочернем классе начинает запрещать входные данные, которые родитель принимал.3. Неожиданные сайд-эффектыЕсли поведение становится нестабильным или непредсказуемым.4. Неправильное использование наследования вместо композицииЧасто случается, когда «is-a» заменяют «has-a».Примеры правильного и неправильного наследованияПравильно:class Fireball : Spell
{
    public override int GetDamage() => baseDamage + bonus;
}
Неправильно:class HealingSpell : Spell
{
    public override int GetDamage() => 0; // нарушает контракт Spell
}
Краткий выводLSP нужно применять, когда используется наследование. Если дочерний класс нарушает контракт родителя — лучше использовать композицию.