Когда происходит переопределение метода (Overriding)?

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

Основные условия для переопределения:

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

Пример на Java:

// Родительский класс
class Animal {
    public void sound() {
        // Реализация по умолчанию
        System.out.println("Animal makes a sound");
    }
}

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

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("Animal makes a sound")

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

# Использование
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

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