Saf saf sanal yöntemi nasıl çağırılır?

Soyut bir yöntemi doğrudan temel sınıfa işaretçi aracılığıyla veya bu sınıfın nesnesiyle çağırmak mümkün değildir, çünkü temel sınıfta tanımlı değildir.

Ancak, saf sanal yöntem, türemiş sınıfın yapıcı veya yıkıcılarından çağrılabilir; bu sınıfta bu yöntemin bir uygulaması varsa. Bu durumda, çağrı statik modda çözülür ve çağrı yapılan sınıfın uygulaması çağrılır.

Türemiş sınıf yapıcısından çağrı örneği:

#include <iostream>

class Base {
public:
    virtual void pure_virtual_method() = 0; // Saf sanal yöntem
};

class Derived : public Base {
public:
    void pure_virtual_method() override {
        std::cout << "Derived'ta uygulama\n";
    }

    Derived() {
        // Türemiş sınıf yapıcısından saf sanal yöntem çağrısı
        pure_virtual_method();
    }
};

int main() {
    Derived obj; // Türemiş sınıf nesnesi oluşturuluyor, yapıcı çağrısı
    return 0;
}

Bu örnekte, Derived sınıfının nesnesi obj oluşturulduğunda, Derived yapıcısı çağrılır ve içinde pure_virtual_method() çağrılır. Derived sınıfında bu yöntemin bir uygulaması olduğu için, başarılı şekilde çağrılır.

Soyut temel sınıfın yapıcı veya yıkıcılarından saf sanal yöntemi çağırmak, tanımsız davranışa yol açar; çünkü temel sınıfın yapıcı veya yıkıcı çalışırken, vtable henüz tam olarak oluşturulmamış veya zaten yok edilmiştir ve türemiş sınıftaki ilgili uygulama erişilebilir değildir.

Ayrıca, Base::pure_virtual_method() gibi alan adı nitelendirmesi kullanılarak saf sanal yöntem, türemiş sınıfta çağrılabilir; ancak bu, yalnızca türemiş sınıfın saf sanal yöntem uygulamasında mümkündür ve temel sınıftaki uygulamayı çağırıyorsa (bu, saf sanal yöntemler için mümkün değildir) veya başka bir fonksiyon aracılığıyla saf sanal yöntem çağrılıyorsa (bu da tanımsız davranışa yol açar), veya temel sınıftaki aynı isimdeki sanal olmayan yöntemi çağırmak için yapılabilir.

Saf sanal yöntemle temsil edilen mantıkla etkileşimin doğru yolu, türemiş sınıf nesnesi oluşturarak ve bu mantığı temel sınıfa işaretçi veya referans aracılığıyla çağırmaktır (çok biçimlilik).

#include <iostream>

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

class Derived : public Base {
public:
    void pure_virtual_method() override {
        std::cout << "Polimorfizm yoluyla Derived'ta uygulama\n";
    }
};

int main() {
    Base* ptr = new Derived(); // Çok biçimli çağrı
    ptr->pure_virtual_method();
    delete ptr;
    return 0;
}

Bu nedenle, "saf sanal yöntemi çağırmak" genel anlamda (bir nesne veya temel sınıfa işaretçi aracılığıyla, tanımı olmayan) mümkün değildir. Yalnızca, türemiş sınıfın yapıcısı veya yıkıcısından, kendi uygulamasıyla çağrılabilir veya dolaylı olarak, çok biçimlilik kullanılarak, türemiş sınıf nesnesi oluşturularak yapılabilir.