Что такое переопределение (overriding) в контексте программирования?

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

Основные характеристики переопределения:

• Сигнатура метода: Переопределяющий метод в подклассе должен иметь ту же самую сигнатуру (имя метода и список параметров) и тот же тип возвращаемого значения (или ковариантный тип) что и метод в суперклассе.
• Наследование: Переопределение возможно только в иерархиях наследования.
• Полиморфизм: Переопределение является одним из ключевых механизмов реализации полиморфизма во время выполнения (runtime polymorphism). Это означает, что какой именно метод будет вызван, определяется типом объекта во время выполнения программы, а не типом ссылки на этот объект.
• Видимость: Переопределяющий метод не может иметь более строгий модификатор доступа, чем переопределяемый метод в суперклассе.

Пример:

// Суперкласс
class Animal {
    public void makeSound() {
        // Общая реализация
        System.out.println("Any animal sound");
    }
}

// Подкласс
class Dog extends Animal {
    // Переопределение makeSound()
    @Override // Аннотация @Override не обязательна, но хорошая практика
    public void makeSound() {
        // Специфическая реализация для Dog
        System.out.println("Woof!");
    }
}

// Использование
class Main {
    public static void main(String[] args) {
        Animal myAnimal = new Animal();
        Animal myDogAsAnimal = new Dog(); // Полиморфная ссылка
        Dog myDog = new Dog();

        myAnimal.makeSound();      // Вызовет Animal.makeSound() -> Any animal sound
        myDogAsAnimal.makeSound(); // Вызовет Dog.makeSound() (благодаря переопределению и полиморфизму) -> Woof!
        myDog.makeSound();         // Вызовет Dog.makeSound() -> Woof!
    }
}