Чӣ тавр даъват кардани усули виртуалӣ тоза?

Неможливо викликати чистий віртуальний метод напряму через вказівник на абстрактний базовий клас або через об'єкт цього класу, оскільки він не має визначення в базовому класі.

Однак, чистий віртуальний метод може бути викликаний з конструктора або деструктора похідного класу, в якому цей метод має реалізацію. У цьому випадку виклик буде дозволений у статичному режимі, і буде викликана реалізація того класу, в якому відбувається виклик.

Приклад виклику з конструктора похідного класу:

#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;
}

Таким чином, "викликати чистий віртуальний метод" у поширеному розумінні (через об'єкт або вказівник на базовий клас, що не має визначення) неможливо. Виклик можливий лише з конструктора або деструктора похідного класу з його реалізацією, або опосередковано, через поліморфізм, створивши об'єкт похідного класу.