Как можно продемонстрировать, что методы абстрактного класса обязательны для переопределения?

В Android (Java/Kotlin) абстрактный класс может содержать абстрактные методы — методы без реализации, которые обязательно должны быть переопределены в подклассах. Если подкласс не реализует эти методы, код не скомпилируется.

Пример на Java:

abstract class Animal {
    // Абстрактный метод, обязательный для переопределения
    abstract void makeSound();
}

class Dog extends Animal {
    @Override
    void makeSound() {
        System.out.println("Гав-гав");
    }
}

// Если попытаться создать класс без реализации makeSound(), будет ошибка компиляции

Таким образом, наличие абстрактного метода заставляет все подклассы реализовать этот метод, обеспечивая полиморфизм и соблюдение принципов SOLID.