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

Метод считается переопределённым в следующих случаях:

1. Он объявлен в дочернем классе.
2. Имеет то же имя, что и метод в родительском классе.
3. Имеет ту же сигнатуру (количество и типы параметров) и порядок параметров.
4. Имеет тип возвращаемого значения, совместимый с типом возвращаемого значения метода родительского класса (ковариантность, если применимо).
5. Имеет тот же или более широкий модификатор доступа, чем метод родительского класса (в большинстве объектно-ориентированных языков).
6. Родительский метод объявлен как виртуальный, абстрактный или интерфейсный (в языках, требующих явного указания возможности переопределения, например C# с ключевым словом virtual).

Пример на Java:

// Родительский класс
class SuperClass {
    // Метод, который может быть переопределён
    public void display() {
        System.out.println("This is SuperClass display method.");
    }
}

// Дочерний класс
class SubClass extends SuperClass {
    // Переопределённый метод display
    @Override // Аннотация для проверки переопределения на этапе компиляции
    public void display() {
        System.out.println("This is SubClass display method.");
    }
}

Пример на Python:

# Родительский класс
class SuperClass:
    # Метод, который может быть переопределён
    def display(self):
        print("This is SuperClass display method.")

# Дочерний класс
class SubClass(SuperClass):
    # Переопределённый метод display
    def display(self):
        print("This is SubClass display method.")

Ключевым моментом является сохранение имени и сигнатуры метода, но изменение его поведения в дочернем классе.

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