Kā var pierādīt, ka abstraktās klases metodes ir obligātas pārdefinēt?

Android (Java/Kotlin) abstraktā klasē var būt abstrakti metodes, tas ir metodes bez realizācijas, kuras obligāti jāpārdefinē apakšklasēs. Ja apakšklase šīs metodes neievieš, kods nesavāksies.

Piemērs Java:

abstract class Animal {
    // Abstrakta metode, obligāti jāpārdefinē
    abstract void makeSound();
}

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

// Ja mēģināsiet izveidot klasi bez makeSound() realizācijas, tiks parādīta kompilācijas kļūda

Tādējādi, abstraktās metodes klātbūtne prasa, lai visas apakšklases to realizētu, nodrošinot polimorfismu un SOLID principu ievērošanu.