Kaip iškviesti gryną virtualiąją metodą?

Tiesiogiai iškviesti gryną virtualų metodą per bazinio klasės rodyklę ar per šios klasės objektą neįmanoma, nes jis neturi apibrėžimo bazinioje klasėje.

Tačiau, grynas virtualus metodas gali būti iškviestas iš paveldėtos klasės konstruktoriaus ar destruktoriaus, kurioje šis metodas turi įgyvendinimą. Tokiu atveju, iškvietimas bus leidžiamas statiniame režime, ir bus iškviesta to klases įgyvendinimas, kurioje įvyksta iškvietimas.

Pavyzdys iškvietimo iš paveldėtos klasės konstruktoriaus:

#include <iostream>

class Base {
public:
    virtual void pure_virtual_method() = 0; // Grynas virtualus metodas
};

class Derived : public Base {
public:
    void pure_virtual_method() override {
        std::cout << "Įgyvendinimas Derived klasėje\n";
    }

    Derived() {
        // Gryno virtualaus metodo iškvietimas iš paveldėtos klasės konstruktoriaus
        pure_virtual_method();
    }
};

int main() {
    Derived obj; // Paveldėtos klasės objektas, kviečiantis konstruktorių
    return 0;
}

Šiame pavyzdyje, kuriant Derived klasės obj objektą, bus iškviestas Derived konstruktorius, kuriame įvyksta pure_virtual_method() iškvietimas. Kadangi Derived klasėje yra šio metodo įgyvendinimas, jis bus sėkmingai iškviestas.

Bandant iškviesti gryną virtualų metodą iš bazinio klasės konstruktoriaus ar destruktoriaus, kuriame jis deklaruotas, įvyks neapibrėžtas elgesys, nes tuo metu bazinio klasės vtable dar nėra visiškai sukonstruotas arba jau sunaikintas, ir atitinkamas įgyvendinimas paveldėtoje klasėje nėra pasiekiamas.

Taip pat galima iškviesti gryną virtualų metodą iš paveldėtos klasės, naudodami Base::pure_virtual_method() kvalifikaciją, tačiau tai įmanoma tik iš įgyvendinimo gryno virtualaus metodo paveldėtoje klasėje, jei jis iškviečia bazinės klasės įgyvendinimą (ko nėra gryname virtualiame metode), arba kitą funkciją, kuri iškviečia gryną virtualų metodą (kas taip pat sukelia neapibrėžtą elgesį), arba norint iškviesti ne virtualų metodą su tokiu pačiu pavadinimu iš bazinės klasės.

Tinkamas būdas dirbti su gryno virtualaus metodo logika yra sukurti paveldėtos klasės objektą ir iškviesti šią logiką per bazinės klasės rodyklę ar nuorodą (polimorfizmas).

#include <iostream>

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

class Derived : public Base {
public:
    void pure_virtual_method() override {
        std::cout << "Polimorfiškai įgyvendinta Derived klasėje\n";
    }
};

int main() {
    Base* ptr = new Derived(); // Polimorfinis iškvietimas
    ptr->pure_virtual_method();
    delete ptr;
    return 0;
}

Taigi, "iškvietti gryną virtualų metodą" bendrine prasme (per objektą ar bazinės klasės rodyklę, neturinčią apibrėžimo) neįmanoma. Iškvietimas galimas tik iš paveldėtos klasės konstruktoriaus ar destruktoriaus su jos įgyvendinimu, arba netiesiogiai, naudojant polimorfizmą, sukuriant paveldėtos klasės objektą.