Cum se poate demonstra că metodele unei clase abstracte sunt obligatorii pentru a fi suprascrise?

În Android (Java/Kotlin), o clasă abstractă poate conține metode abstracte, adică metode fără implementare, care trebuie suprascrise în subclase. Dacă o subclasă nu le implementează, codul nu va fi compilat.

Exemplu în Java:

abstract class Animal {
    // Metodă abstractă, obligatorie de suprascris
    abstract void makeSound();
}

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

// Dacă încerci să creezi o clasă fără să implementezi makeSound(), va apărea o eroare de compilare

Astfel, prezența unei metode abstracte obligă toate subclasele să o implementeze, asigurând polimorfismul și respectarea principiilor SOLID.