Кайда методту кайра жазуу (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();      // Animalдан sound() чакырат
        myDogAsAnimal.sound(); // Dogдан кайра аныкталган sound() чакырат (полиморфизмдин аркасында)
        myDog.sound();         // Dogдан кайра аныкталган sound() чакырат
    }
}

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()       # Animalдан sound() чакырат
my_dog_as_animal.sound()  # Dogдан кайра аныкталган sound() чакырат (полиморфизмдин аркасында)
my_dog.sound()          # Dogдан кайра аныкталган sound() чакырат

Кайра аныктоо ишке ашыруу учурунда полиморфизмге жетиш үчүн колдонулат, ал реалдуу объекттин түрүнө жараша ар кандай аракеттерди аткарууга мүмкүндүк берет, жана биз ата-энесинин классына шилтемени колдонуп жатабыз. Бул OOP негизги принциби болуп, ийкемдүү жана кеңейүүчү системдер түзүүгө жардам берет.