Come si può dimostrare che i metodi di una classe astratta sono obbligatori da sovrascrivere?

In Android (Java/Kotlin), una classe astratta può contenere metodi astratti, ovvero metodi senza implementazione che devono essere necessariamente sovrascritti nelle sottoclassi. Se una sottoclasse non li implementa, il codice non verrà compilato.

Esempio in Java:

abstract class Animal {
    // Metodo astratto, obbligatorio da sovrascrivere
    abstract void makeSound();
}

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

// Se si tenta di creare una classe senza implementare makeSound(), ci sarà un errore di compilazione

In questo modo, la presenza di un metodo astratto obbliga tutte le sottoclassi a implementarlo, garantendo il polimorfismo e il rispetto dei principi SOLID.