Когда метод считается переопределённым (overriding)?

Метод считается переопределённым, когда в дочернем классе объявляется метод с той же сигнатурой (имя метода, количество и типы параметров в том же порядке), что и метод в родительском классе. При этом:

1. Метод в родительском классе не должен быть объявлен как final (или эквивалентным модификатором в других языках), запрещающим переопределение.
2. Уровень доступа переопределённого метода в дочернем классе не может быть более ограничивающим, чем у метода в родительском классе.
3. Переопределённый метод может возвращать тот же тип, что и метод в родительском классе, или ковариантный тип (подтип оригинального типа).
4. Переопределённый метод не может выбрасывать исключения, которые являются более общими (или несовместимыми), чем исключения, объявленные в родительском методе.
5. Статические методы не могут быть переопределены, только скрыты (hidden).

При вызове переопределённого метода через ссылку на родительский класс, но объект дочернего класса, выполняется версия метода из дочернего класса (полиморфизм).

// Пример на Java

class Parent {
    public void display() { // Метод в родительском классе
        System.out.println("Parent display");
    }

    // final void cannotOverride() { ... } // Этот метод нельзя переопределить
}

class Child extends Parent {
    @Override // Аннотация @Override помогает компилятору проверить, что метод действительно переопределяется
    public void display() { // Переопределенный метод - та же сигнатура
        System.out.println("Child display");
    }
}