Kaip galima įrodyti, kad abstraktaus klasės metodai yra privalomi perrašyti?

Android (Java/Kotlin) abstrakčioje klasėje gali būti abstraktūs metodai, tai yra metodai be įgyvendinimo, kuriuos privaloma perrašyti pogrupiuose. Jei pogrupis jų neįgyvendina, kodas nesukompiliuos.

Pavyzdys Java:

abstract class Animal {
    // Abstraktus metodas, privalomas perrašyti
    abstract void makeSound();
}

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

// Jei bandysite sukurti klasę be makeSound() įgyvendinimo, gausite kompiliacijos klaidą

Taip, abstraktaus metodo buvimas priverčia visas pogrupius jį įgyvendinti, užtikrinant polimorfizmą ir SOLID principų laikymąsi.