Como se pode demonstrar que os métodos de uma classe abstrata são obrigatórios de serem sobrepostos?

No Android (Java/Kotlin), uma classe abstrata pode conter métodos abstratos, que são métodos sem implementação que devem ser sobrescritos nas subclasses. Se uma subclasse não os implementar, o código não será compilado.

Exemplo em Java:

abstract class Animal {
    // Método abstrato, obrigatório de sobrescrever
    abstract void makeSound();
}

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

// Se tentar criar uma classe sem implementar makeSound(), ocorrerá erro de compilação

Assim, a presença de um método abstrato obriga todas as subclasses a implementá-lo, garantindo polimorfismo e conformidade com os princípios SOLID.