Virtuelle Tabelle in Polymorphismus

Question

Ich habe viele Beiträge gelesen und jeder sagt, dass virtuelle Tabelle pro Klasse ist, nicht pro Objekt und Objekt hat nur _vtpr Zeiger auf freigegebene vtable. Aber bitte betrachten Sie dieses Beispiel:

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

Hat obj1 und obj2 betrifft, dass eine einzigartige Basisklasse VTable? Ich glaube die Antwort ist nein, aber kannst du es bitte erklären? Und wenn beide Objekte sich auf dieselbe vtable beziehen, wie wird bestimmt, welche Methoden aufgerufen werden sollen? Zum Beispiel unterscheidet sich obj1-> func1 reference von obj2-> func1.

UPDATE:
welche Operationen ausgeführt werden, wenn Base * obj1 = new Der1; tun? Kann jemand einen Pseudocode für diese Aktionen schreiben?

Answer 1

Ich hoffe, die folgende Abbildung wird Ihnen helfen. Abgeleitete Klassen kopieren nur die virtuelle Tabelle der Basisklasse, aber sie können den entsprechenden Eintrag ändern. Der rote Teil zeigt, dass die gegebene Klasse den Eintrag in der v-Tabelle geändert hat. Wenn also die Instanz der abgeleiteten Klasse erstellt wird, wird die (für diese Klasse spezifische) modifizierte Tabelle berücksichtigt.

Es ist Sache des Compilers, wie die Duplizität der Basisklasse gehandhabt wird (wenn die Basisklasse eine große Anzahl von Funktionen hat - würde eine Kopie der gesamten virtuellen Funktionstabelle erhalten und würde die Einträge modifizieren?). IMO, Compiler wird einfach ganze Tabelle für jede abgeleitete Klasse kopieren, um Dinge einfach zu halten. Das Suchen der geeigneten Methode zum Anrufen wird dann einfach.