Comment peut-on démontrer que les méthodes d'une classe abstraite doivent être obligatoirement redéfinies?

En Android (Java/Kotlin), une classe abstraite peut contenir des méthodes abstraites, qui sont des méthodes sans implémentation, et qui doivent être redéfinies dans les sous-classes. Si une sous-classe ne les implémente pas, le code ne sera pas compilé.

Exemple en Java :

abstract class Animal {
    // Méthode abstraite, obligatoire à redéfinir
    abstract void makeSound();
}

class Dog extends Animal {
    @Override
    void makeSound() {
        System.out.println("Ouaf-ouaf");
    }
}

// Si vous essayez de créer une classe sans implémenter makeSound(), il y aura une erreur de compilation

Ainsi, la présence d'une méthode abstraite oblige toutes les sous-classes à l'implémenter, assurant le polymorphisme et le respect des principes SOLID.