Кога се счита, че методът е презаписан?

Методът се счита за презаписан в следните случаи:

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

Пример на Java:

// Родителски клас
class SuperClass {
    // Метод, който може да бъде презаписан
    public void display() {
        System.out.println("Това е методът display на SuperClass.");
    }
}

// Наследяващ клас
class SubClass extends SuperClass {
    // Презаписан метод display
    @Override // Анотация за проверка на презаписването по време на компилация
    public void display() {
        System.out.println("Това е методът display на SubClass.");
    }
}

Пример на Python:

# Родителски клас
class SuperClass:
    # Метод, който може да бъде презаписан
    def display(self):
        print("Това е методът display на SuperClass.")

# Наследяващ клас
class SubClass(SuperClass):
    # Презаписан метод display
    def display(self):
        print("Това е методът display на SubClass.")

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

Важна разлика от overloading:

Overloading е декларацията на няколко метода с едно и също име в една и съща класа, но с различни сигнатури. Overriding е декларацията на метод в наследяващ клас с едно и също име и сигнатура като в родителския клас.