Противоречит ли переопределение методов принципам программной инженерии?

Нет, переопределение методов (method overriding) — это фундаментальный механизм объектно-ориентированного программирования, который напрямую поддерживает ключевые принципы программной инженерии, такие как полиморфизм и принцип подстановки Барбары Лисков (LSP).

Как это работает: Дочерний класс предоставляет свою специфическую реализацию метода, уже объявленного в родительском классе, сохраняя его сигнатуру.

class Animal {
    public void makeSound() {
        System.out.println("Some generic animal sound");
    }
}

class Dog extends Animal {
    @Override
    public void makeSound() {
        System.out.println("Bark!");
    }
}

Почему это соответствует best practices:

1. Принцип открытости/закрытости (OCP): Код открыт для расширения (можно добавить новое поведение в подклассе), но закрыт для модификации (не нужно менять базовый класс или код, который от него зависит).
2. Полиморфизм: Позволяет обращаться к объектам разных классов через интерфейс базового класса, что делает код гибким и слабосвязанным.
3. Специализация: Позволяет уточнять или полностью заменять поведение для конкретных подтипов.

Ключевое условие (LSP): Переопределенный метод не должен нарушать контракт базового класса. Он может:

• Ослаблять предусловия (требовать меньше).
• Усиливать постусловия (гарантировать больше).
• Сохранять или возвращать более специфичный тип (ковариантность возвращаемого типа).

Риск возникает только при нарушении LSP, когда переопределение меняет ожидаемую семантику метода, что приводит к ошибкам и неожиданному поведению в коде, зависящем от базового класса.