Kako dokazati da su metode apstraktne klase obavezne za prepisivanje?

U Android (Java/Kotlin), apstraktna klasa može sadržavati apstraktne metode, koje su metode bez implementacije koje moraju biti prepisane u podklasama. Ako podklasa ne implementira ove metode, kod se neće kompajlirati.

Primer u Javi:

abstract class Animal {
    // Apstraktna metoda, obavezna za prepisivanje
    abstract void makeSound();
}

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

// Ako pokušate da kreirate klasu bez implementacije makeSound(), dobićete grešku pri kompajliranju

Na ovaj način, prisustvo apstraktne metode obavezuje sve podklase da je implementiraju, obezbeđujući polimorfizam i poštovanje SOLID principa.