Polimorfizmde sanal tablo

Question

Çok sayıda gönderi okudum ve herkesin söylediğine göre, sanal tablo nesne başına değil, nesne ve nesnenin yalnızca paylaşılan vtable için _vtpr işaretçisi var. Ama bu örneği düşünün lütfen:

class Base 
{ 
public: 
    virtual void func1(void) {} 
    virtual void func2(void) {} 
private: 
    int dummy; 
}; 

class Der1 : public Base 
{ 
public: 
    virtual void func1(void) {} 
private: 
    int dummy; 
}; 

class Der2 : public Base 
{ 
public: 
    virtual void func2(void) {} 
private: 
    int dummy; 
}; 

int main(void) 
{ 
    Base * obj1 = new Der1; 
    Base * obj2 = new Der2; 
} 

obj1 ve obj2 o bir benzersiz Taban sınıf vtable ile ilgilidir mu? Cevabın hayır olduğuna inanıyorum ama açıklayabilir misiniz? Ve eğer bu nesnelerin her ikisi de aynı vtable ile ilişkiliyse, hangi yöntemlerin çağrılması gerektiği nasıl belirlenir? Örneğin, obj1-> func1 başvurusu obj2-> func1'den farklıdır.

GÜNCELLEME: Base * obj1 = new Der1; yaparken
ne gibi faaliyetleri yürütür? Birisi bu eylemler için bir sözde kod yazabilir mi?

Answer 1

Umarım aşağıdaki örnek size yardımcı olacaktır. Türetilmiş sınıflar yalnızca temel sınıfın sanal tablosunu kopyalar, ancak uygun girişi değiştirebilirler. Kırmızı kısım, verilen sınıfın v-tabloda girişi değiştirdiğini gösterir. Bu nedenle, türetilmiş sınıf örneği oluşturulduğunda, değiştirilen tablo (bu sınıfa özgü) dikkate alınır.

Derleyicinin taban sınıfının ne kadarının işlendiğine bağlıdır (temel sınıf çok sayıda işlev içeriyorsa - tüm sanal işlev tablonun kopyasına sahipse ve girişleri değiştirir mi?). IMO, derleyici işleri basitleştirmek için her türetilmiş sınıf için tüm tabloyu kopyalayacaktır. Aramak için uygun yöntemin aranması basitleşir. C++ standardında vtable tanımı tanımlanmadı