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

Ключевые характеристики:

Наследование: Переопределение возможно только в контексте наследования (родительский и дочерний классы).
Сигнатура: Метод в дочернем классе должен иметь ту же сигнатуру (имя, количество и типы параметров) и тип возвращаемого значения (или его ковариантный подтип), что и метод в родительском классе.
Доступность: Метод, который переопределяется, должен быть доступен для дочернего класса (обычно public, protected).
Полиморфизм: Переопределение является основой полиморфизма времени выполнения (runtime polymorphism), позволяя объектам дочернего класса реагировать на вызов метода по-своему, даже если к ним обращаются по ссылке на родительский класс.

Пример (Java):

// Родительский класс
class Animal {
    // Метод, который будет переопределен
    public void makeSound() {
        System.out.println("Animal makes a sound");
    }
}

// Дочерний класс
class Dog extends Animal {
    // Переопределение метода makeSound()
    @Override // Аннотация @Override необязательна, но рекомендуется
    public void makeSound() {
        System.out.println("Dog barks");
    }
}

Пример использования:

// Создаем объект Dog
Animal myDog = new Dog();
// Вызываем метод. Будет вызвана переопределенная версия из Dog
myDog.makeSound(); // Вывод: Dog barks

// Создаем объект Animal
Animal someAnimal = new Animal();
// Вызываем метод. Будет вызвана версия из Animal
someAnimal.makeSound(); // Вывод: Animal makes a sound

Когда происходит переопределение метода (overriding)?