Πώς μπορούμε να αποδείξουμε ότι οι μέθοδοι μιας αφηρημένης κλάσης είναι υποχρεωτικό να υπερισχύσουν;

Στο Android (Java/Kotlin), μια αφηρημένη κλάση μπορεί να περιέχει αφηρημένες μεθόδους, δηλαδή μεθόδους χωρίς υλοποίηση που πρέπει να υπερκαλυφθούν στις υποκλάσεις. Αν μια υποκλάση δεν τις υλοποιήσει, ο κώδικας δεν θα μεταγλωττιστεί.

Παράδειγμα σε Java:

abstract class Animal {
    // Αφηρημένη μέθοδος, υποχρεωτική για υπερκάλυψη
    abstract void makeSound();
}

class Dog extends Animal {
    @Override
    void makeSound() {
        System.out.println("Γαβ-γαβ");
    }
}

// Αν προσπαθήσετε να δημιουργήσετε μια κλάση χωρίς να υλοποιεί το makeSound(), θα λάβετε σφάλμα μεταγλώττισης

Έτσι, η παρουσία μιας αφηρημένης μεθόδου αναγκάζει όλες τις υποκλάσεις να την υλοποιήσουν, διασφαλίζοντας πολυμορφισμό και τήρηση των αρχών SOLID.