Kā izsaukt tīru virtuālo metodi?

Tieši izsaukt tīru virtuālo metodi caur bāzes klases norādi ar abstraktu metodi vai caur šīs klases objektu nav iespējams, jo tas nav definēts bāzes klasē.

Tomēr, tīrs virtuālais metodes var tikt izsaukts no būvētāja vai destruktora īpašas klases, kurā šī metode ir realizēta. Šādā gadījumā izsaukums tiks atļauts statiskajā režīmā, tiks izsaukta tā klases realizācija, kurā notiek izsaukums.

Piemērs, kā izsaukt no īpašas klases būvētāja:

#include <iostream>

class Base {
public:
    virtual void pure_virtual_method() = 0; // Tīrs virtuālais metodes
};

class Derived : public Base {
public:
    void pure_virtual_method() override {
        std::cout << "Realizācija īpašajā klasē\n";
    }

    Derived() {
        // Tīras virtuālās metodes izsaukums no būvētāja
        pure_virtual_method();
    }
};

int main() {
    Derived obj; // Izveido īpašas klases objektu, kas izsauc būvētāju
    return 0;
}

Šajā piemērā, izveidojot obj objekta no Derived klases, tiks izsaukts Derived būvētājs, kurā notiek pure_virtual_method() izsaukums. Tā kā šī metode ir realizēta Derived klasē, tā tiks veiksmīgi izsaukta.

Mēģinot izsaukt tīru virtuālo metodi no būvētāja vai destruktora abstraktas bāzes klases, kurā tā ir deklarēta, notiks neparedzēta uzvedība (undefined behavior), jo būvētāja vai destruktora laikā vtable vēl nav pilnībā uzbūvēta vai jau ir sabrukusi, un atbilstošā realizācija īpašajā klasē nav pieejama.

Tāpat var izsaukt tīru virtuālo metodi no īpašas klases, izmantojot kvalifikāciju (Base::pure_virtual_method()), bet tas ir iespējams tikai realizācijas laikā, ja šī metode ir realizēta īpašajā klasē, kas izsauc bāzes klases realizāciju (kas tīram virtuālam metodes nav), vai citas funkcijas, kas savukārt izsauc tīru virtuālo metodi (kas arī noved pie neparedzētas uzvedības), vai arī, lai izsauktu nevirtuālo metodi ar tādu pašu nosaukumu no bāzes klases.

Pareizais veids, kā sadarboties ar tīru virtuālo metodi, ir izveidot īpašas klases objektu un izsaukt šo funkcionalitāti caur norādi vai rādītāju uz bāzes klasi (polimorfisms).

#include <iostream>

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

class Derived : public Base {
public:
    void pure_virtual_method() override {
        std::cout << "Realizācija īpašajā klases caur polimorfismu\n";
    }
};

int main() {
    Base* ptr = new Derived(); // Polimorfisks izsaukums
    ptr->pure_virtual_method();
    delete ptr;
    return 0;
}

Tādējādi, "tīras virtuālās metodes izsaukšana" kopējā nozīmē (caur objektu vai norādi uz bāzes klasi, kurai nav definīcijas) nav iespējama. Izsaukums ir iespējams tikai no būvētāja vai destruktora īpašas klases ar tās realizāciju, vai netieši, izmantojot polimorfismu, izveidojot īpašas klases objektu.