Таза виртуал ыкмытты кантип чакырырга болот?

Таза виртуалдык ыкмасын түздөн-түз базалык класс көрсөтүүчүсү аркылуу же ошол класстын объектисинен чакырууга болбойт, анткени ал базалык класста аныкталган эмес.

Бирок, таза виртуалдык ыкма туунду класстын конструктору же деструкторунан чакырылышы мүмкүн, анда ал ыкма ишке ашырылган. Бул учурда чакыруунун статикалык режимде уруксат берилет жана чакырылган класстын ишке ашырылышы болот.

Туунду класстын конструкторунан чакыруунун мисалы:

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

Бул мисалда, Derived классынын obj объектисин түзүүдө, 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;
}

Ошентип, таза виртуалдык ыкманы "чакыру" жалпы мааниде (объект же базалык класска көрсөтүүчү аркылуу, аныкталбаган) мүмкүн эмес. Чакыруу гана туунду класстын конструктору же деструкторунан, анын реализациясы менен, же полиморфизм аркылуу, туунду класстын объектисин түзүү аркылуу мүмкүн.