Hoe kun je aantonen dat de methoden van een abstracte klasse verplicht zijn om te worden overschreven?

In Android (Java/Kotlin) kan een abstracte klasse abstracte methoden bevatten, dat zijn methoden zonder implementatie die in de subklassen moeten worden overschreven. Als een subklasse deze methoden niet implementeert, wordt de code niet gecompileerd.

Voorbeeld in Java:

abstract class Animal {
    // Abstracte methode, verplicht om te overschrijven
    abstract void makeSound();
}

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

// Als je probeert een klasse te maken zonder makeSound() te implementeren, krijg je een compileerfout

Op deze manier verplicht het bestaan van een abstracte methode alle subklassen om deze te implementeren, wat polymorfisme en naleving van SOLID-principes garandeert.