Кога се случва презаписването на метода (Overriding)…

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

Основните условия за преопределение:

Наследяване: Подкласът трябва да наследява от родителския клас.
Сигнатура на метода: Преопределеният метод в подклас трябва да има същата сигнатура (име на метода и списък с типове параметри, тяхната поредност и брой), като метода в родителския клас. В някои езици (например Java) също е необходимо съвпадение на типа на връщане или неговата ковариантност.
Модификатори за достъп: Модификаторът за достъп на преопределения метод в подклас не може да бъде по-ограничителен от този в родителския клас.
Не може да се преопределя: Статични (static), финални (final в Java, sealed в C#) и частни (private) методи, тъй като те не участват в полиморфизма чрез наследяване.

Пример на Java:

// Родителски клас
class Animal {
    public void sound() {
        // Стандартна реализация
        System.out.println("Животното издава звук");
    }
}

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

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

        myAnimal.sound();      // Извиква sound() от Animal
        myDogAsAnimal.sound(); // Извиква преопределения sound() от Dog (благодарение на полиморфизма)
        myDog.sound();         // Извиква преопределения sound() от Dog
    }
}

Пример на Python:

# Родителски клас
class Animal:
    def sound(self):
        # Стандартна реализация
        print("Животното издава звук")

# Подклас, който преопределя метода sound()
class Dog(Animal):
    def sound(self):
        # Специфична реализация за Dog
        print("Кучето лае")

# Използване
my_animal = Animal()
my_dog_as_animal = Dog() # Полиморфизъм
my_dog = Dog()

my_animal.sound()       # Извиква sound() от Animal
my_dog_as_animal.sound()  # Извиква преопределения sound() от Dog (благодарение на полиморфизма)
my_dog.sound()          # Извиква преопределения sound() от Dog

Преопределението се използва за постигане на време на изпълнение полиморфизъм, позволявайки изпълнението на различни действия в зависимост от реалния тип на обекта, въпреки че използваме препратка към родителския клас. Това е ключов принцип на ООП за създаване на гъвкави и разширяеми системи.

Кога се случва презаписването на метода (Overriding)?