Что означает нарушение принципа Подобия и как его избежать?

Нарушение принципа Подобия (Liskov Substitution Principle, LSP) происходит, когда подкласс не может заменить базовый класс без изменения корректности программы. Иными словами, объекты подкласса должны вести себя так, чтобы их можно было использовать вместо объектов базового класса без неожиданных эффектов.

Чтобы избежать нарушения LSP, нужно:

• Следить, чтобы подклассы не изменяли поведение методов базового класса так, чтобы оно стало несовместимым.
• Не сужать предусловия методов в подклассах и не расширять постусловия.
• Соблюдать контракт базового класса: если метод базового класса гарантирует определённое поведение, подкласс должен его поддерживать.

Пример нарушения LSP — класс Rectangle и подкласс Square, где Square переопределяет методы изменения ширины и высоты так, что поведение становится неожиданным при использовании через ссылку на Rectangle.