Hogyan lehet bizonyítani, hogy egy absztrakt osztály módszerei kötelezőek felülírásra?

Android (Java/Kotlin) esetén egy absztrakt osztály tartalmazhat absztrakt módszereket, amelyek olyan módszerek, amelyeknek nincs implementációjuk, és amelyeket kötelező felülírni az alosztályokban. Ha egy alosztály nem írja felül ezeket a módszereket, a kód nem fordul le.

Java példában:

abstract class Animal {
    // Kötelező felülírni az absztrakt módszert
    abstract void makeSound();
}

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

// Ha megpróbálsz egy olyan osztályt létrehozni, amely nem írja felül a makeSound() metódust, fordítási hiba lesz

Így az absztrakt módszer megléte kötelezi az összes alosztályt, hogy implementálják azt, biztosítva a polimorfizmust és a SOLID elvek betartását.