Τι είναι η υπερισχύ (Overriding) στον προγραμματισμό…

Ο υπερισχύων (Overriding) είναι η δυνατότητα μιας υποκλάσης να παρέχει τη δική της υλοποίηση μιας μεθόδου που έχει ήδη οριστεί στην υπερκλάση της. Η υπογραφή της υπερισχύουσας μεθόδου (όνομα, αριθμός και τύποι παραμέτρων) στην υποκλάση πρέπει να ταιριάζει πλήρως με την υπογραφή της μεθόδου στην υπερκλάση. Ο τύπος επιστροφής πρέπει επίσης να είναι είτε ο ίδιος είτε να είναι κανονικά συμβατός (covariant) με τον τύπο επιστροφής της μεθόδου στην υπερκλάση.

Βασικές πτυχές του overriding:

Κληρονομικότητα: Το overriding είναι εφικτό μόνο στο πλαίσιο σχέσεων κληρονομικότητας, όπου η υποκλάση κληρονομεί μια μέθοδο από την υπερκλάση.
Πολυμορφισμός: Το overriding αποτελεί έναν από τους μηχανισμούς υλοποίησης του χρόνου εκτέλεσης (runtime polymorphism). Αυτό σημαίνει ότι, ανάλογα με τον πραγματικό τύπο του αντικειμένου, που καλείται μέσω αναφοράς στον τύπο της υπερκλάσης, θα εκτελεστεί η αντίστοιχη υλοποίηση της μεθόδου (είτε από την υπερκλάση είτε από την υποκλάση).
Λέξη-κλειδί @Override: Σε ορισμένες γλώσσες (π.χ., Java), χρησιμοποιείται η διακριτική @Override. Δεν είναι υποχρεωτικό για τη σωστή λειτουργία του overriding, αλλά συστήνεται για βελτίωση της αναγνωσιμότητας του κώδικα και αποφυγή σφαλμάτων κατά τη μεταγλώττιση, αν η μέθοδος δεν πληροί τους κανόνες overriding.
Πρόσβαση στη μέθοδο της υπερκλάσης: Μέσα στη overridden μέθοδο της υποκλάσης, συχνά απαιτείται να καλέσετε την υλοποίηση της ίδιας μεθόδου από την υπερκλάση. Για αυτό χρησιμοποιείται η λέξη-κλειδί super (π.χ., super.method()).

Παράδειγμα σε 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() # Θα εμφανίσει: Ο σκύλος τρώει. 
# Το ζώο κάνει ήχο

Το overriding χρησιμοποιείται για την προσαρμογή της συμπεριφοράς της βασικής κλάσης στις ιδιαιτερότητες της υποκλάσης, διατηρώντας ταυτόχρονα το γενικό interface. Αυτό αποτελεί βασικό στοιχείο του αντικειμενοστραφούς σχεδιασμού.

Τι είναι η υπερισχύ (Overriding) στον προγραμματισμό;