Какво е презаписване (Overriding) в програмирането…

Презаписването на метод (Overriding) е възможност на подклас да предостави собствена реализация на метод, който вече е дефиниран в неговия родителски клас. Подписът на презаписвания метод (име, брой и типове параметри) в подклас трябва да съвпада напълно с подписа на метода в родителския клас. Типът на връщаната стойност също трябва да бъде или същият, или да е ковариантен (подтип) на типа на връщане на метода в родителя.

Основни аспекти на презаписването:

Наследяване: Презаписването е възможно само в контекста на отношения на наследяване, където подкласът наследява метод от суперкласа.
Полиморфизъм: Презаписването е един от механизмите за реализиране на полиморфизма в време на изпълнение (runtime polymorphism). Това означава, че в зависимост от фактическия тип на обекта, който се извиква чрез препратка към типа на родителя, ще се изпълнява съответната реализация на метода (или от родителя, или от подклас).
Ключовата дума @Override: В някои езици (например Java) се използва анотацията @Override. Тя не е задължителна за правилната работа на презаписването, но се препоръчва за подобряване на четливостта на кода и за предотвратяване на грешки при компилация, ако методът не съответства на правилата за презаписване.
Достъп до метода на родителя: Вътре в презаписания метод на подклас често е необходимо да се извика реализацията на същия метод от родителския клас. За това се използва ключовата дума super (например, super.metod()).

Пример на Java:

// Родителски клас
class Animal {
    // Метод в родителския клас
    void makeSound() {
        System.out.println("Звярът издава звук");
    }
}

// Подклас, наследяващ от Animal
class Dog extends Animal {
    // Презаписване на метода makeSound()
    @Override
    void makeSound() {
        System.out.println("Га-в! Га-в!");
    }

    // Пример за извикване на метода на родителя
    void eat() {
        System.out.println("Кучето яде.");
        super.makeSound(); // Извикване на метода от родителския клас
    }
}

class Main {
    public static void main(String[] args) {
        Animal myAnimal = new Animal();
        Animal myDog = new Dog(); // Полиморфизъм

        myAnimal.makeSound(); // Ще изведе: Звярът издава звук
        myDog.makeSound();   // Ще изведе: Га-в! Га-в! (Извиква се презаписаният метод)

        Dog specificDog = new Dog();
        specificDog.eat(); // Ще изведе: Кучето яде. 
// Звярът издава звук
    }
}

Пример на Python:

# Родителски клас
class Animal:
    # Метод в родителския клас
    def make_sound(self):
        print("Звярът издава звук")

# Подклас, наследяващ от Animal
class Dog(Animal):
    # Презаписване на метода make_sound()
    def make_sound(self):
        print("Га-в! Га-в!")

    # Пример за извикване на метода на родителя
    def eat(self):
        print("Кучето яде.")
        super().make_sound() # Извикване на метода от родителския клас

# Демонстрация
my_animal = Animal()
my_dog = Dog() # Полиморфизъм

my_animal.make_sound() # Ще изведе: Звярът издава звук
my_dog.make_sound()   # Ще изведе: Га-в! Га-в!

specific_dog = Dog()
specific_dog.eat() # Ще изведе: Кучето яде. 
# Звярът издава звук

Презаписването се използва за адаптиране на поведението на базовия клас към особеностите на подкласa, като същевременно се запазва общият интерфейс. Това е ключов елемент на обектно-ориентираното проектиране.

Какво е презаписване (Overriding) в програмирането?