Abstrakt sinfning usullari majburiy tarzda qayta yozilishi uchun qanday isbotlash mumkin?

Android (Java/Kotlin) da, abstrakt sinfda abstrakt usullarni, ya'ni amalga oshirilmagan usullarni o'z ichiga olishi mumkin, ular subklasslarda majburiy tarzda qayta yozilishi kerak. Agar subklass bu usullarni amalga oshirmasa, kod kompilyatsiya qilinmaydi.

Java misoli:

abstract class Animal {
    // Majburiy qayta yozilishi kerak bo'lgan abstrakt usul
    abstract void makeSound();
}

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

// Agar makeSound() ni amalga oshirmagan sinf yaratishga harakat qilsangiz, kompilyatsiya xatosi yuzaga keladi

Shunday qilib, abstrakt usul mavjudligi barcha subklasslarni uni amalga oshirishga majbur qiladi, bu polimorfizm va SOLID tamoyillariga rioya qilishni ta'minlaydi.