როგორ შეიძლება დავამტკიცოთ, რომ აბსტრაქტული კლასის მეთოდები აუცილებელია გადაწერილი იყოს?

Android (Java/Kotlin) ში, აბსტრაქტული კლასი შეიძლება შეიცავდეს აბსტრაქტულ მეთოდებს, რომლებიც მეთოდების გარეშეა და რომლებიც აუცილებელია გადახედოს ქვესაფრებში. თუ ქვესაფარი ამ მეთოდებს არ ახორციელებს, კოდი ვერ შეიკრიბება.

Java-ს მაგალითი:

abstract class Animal {
    // აბსტრაქტული მეთოდი, რომელიც აუცილებელია გადახედოს
    abstract void makeSound();
}

class Dog extends Animal {
    @Override
    void makeSound() {
        System.out.println("ჰაუ-ჰაუ");
    }
}

// თუ ცდილობთ შექმნათ კლასი, რომელიც არ ახორციელებს makeSound(), იქნება კომპილაციის შეცდომა

ამ გზით, აბსტრაქტული მეთოდის არსებობა ავალდებულებს ყველა ქვესაფარს მისი განხორციელება, რაც უზრუნველყოფს პოლიმორფიზმს და SOLID პრინციპების დაცვას.