¿Cómo se puede demostrar que los métodos de una clase abstracta son obligatorios para ser sobrescritos?

En Android (Java/Kotlin), una clase abstracta puede contener métodos abstractos, que son métodos sin implementación que deben ser sobrescritos en las subclases. Si una subclase no implementa estos métodos, el código no compilará.

Ejemplo en Java:

abstract class Animal {
    // Método abstracto, obligatorio de sobrescribir
    abstract void makeSound();
}

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

// Si intentas crear una clase sin implementar makeSound(), habrá un error de compilación

De esta forma, la presencia de un método abstracto obliga a todas las subclases a implementarlo, asegurando el polimorfismo y el cumplimiento de los principios SOLID.