Как да извикаме чист виртуален метод?

Не е възможно да се извика директно чист виртуален метод чрез указател към базов клас с абстрактен метод или чрез обект на този клас, тъй като той няма дефиниция в базовия клас.

Въпреки това, чист виртуален метод може да бъде извикан от конструктора или деструктора на производен клас, в който този метод има реализация. При това извикването ще бъде разрешено в статичен режим и ще бъде извикана реализацията на класа, в който се извършва извикването.

Пример за извикване от конструктора на производен клас:

#include <iostream>

class Base {
public:
    virtual void pure_virtual_method() = 0; // Чист виртуален метод
};

class Derived : public Base {
public:
    void pure_virtual_method() override {
        std::cout << "Реализация в Derived\n";
    }

    Derived() {
        // Извикване на чист виртуален метод от конструктор на производен клас
        pure_virtual_method();
    }
};

int main() {
    Derived obj; // Създаване на обект на производен клас, който извиква конструктора
    return 0;
}

В този пример, при създаването на обекта obj на класа Derived, ще бъде извикан конструкторът Derived, в който се извиква pure_virtual_method(). Тъй като в класа Derived има реализация на този метод, той ще бъде успешно извикан.

При опит да се извика чист виртуален метод от конструктор или деструктор на абстрактен базов клас, в който е обявен, ще настъпи нарушение на изпълнението (undefined behavior), тъй като към момента на изпълнение на конструктора или деструктора vtable на базовия клас все още не е напълно построена или вече е разрушена, и съответната реализация в производния клас не е достъпна.

Също така, може да се извика чист виртуален метод от производен клас, използвайки квалификацията на областта на видимост (Base::pure_virtual_method()), но това е възможно само от реализация на чист виртуален метод в производния клас, ако той извиква реализацията от базовия клас (което за чист виртуален метод не е валидно), или друга функция, която по същество извиква чист виртуален метод (което също води до неопределено поведение), или за извикване на невиртуален метод със същото име от базовия клас.

Правилният начин за взаимодействие с логиката, представена от чист виртуален метод, е създаването на обект на производен клас и извикването на тази логика чрез указател или препратка към базовия клас (полиморфизъм).

#include <iostream>

class Base {
public:
    virtual void pure_virtual_method() = 0;
};

class Derived : public Base {
public:
    void pure_virtual_method() override {
        std::cout << "Реализация в Derived чрез полиморфизъм\n";
    }
};

int main() {
    Base* ptr = new Derived(); // Полиморфно извикване
    ptr->pure_virtual_method();
    delete ptr;
    return 0;
}

Така, "да се извика чист виртуален метод" в общоприетия смисъл (чрез обект или указател към базов клас, който няма дефиниция) е невъзможно. Извикването е възможно само от конструктора или деструктора на производния клас с неговата реализация, или косвено, чрез полиморфизъм, като се създаде обект на производен клас.