Welchen Typ für eine virtuelle Funktion hat eine Klasse, wenn ein Member-Destruktor ausgeführt wird?

Question

Ich habe diese Situation:

#include <iostream> 

struct B { virtual void f() { std::cout << "base"; } }; 

struct A { 
    ~A() { 
     b->f(); 
    } 

    B *b; 
}; 


struct Bd : B { 
    Bd():a{this}{ } 
    ~Bd() { } 
    virtual void f() { std::cout << "derived"; } 

    A a; 
}; 

int main() { 
    Bd d; 
} 

Ist sichergestellt, dass dieser Druck "abgeleitet"?

Answer 1

[class.cdtor]/4:

Member-Funktionen, einschließlich virtueller Funktionen ([class.virtual]), kann während des Baus oder der Zerstörung ([class.base.init]) aufgerufen werden. Wenn ist eine virtuelle Funktion, die direkt oder indirekt von einem Konstruktor oder von einem Destruktor bezeichnet, während des Baus oder der Zerstörung einschließlich des nicht-statische Datenelemente der Klasse, und dem Objekt, auf das die Anruf gilt, ist das Objekt (Nennen Sie es x) im Bau oder Zerstörung, die aufgerufene Funktion ist der letzte Overrider in der Klasse des Konstruktors oder Destruktors und nicht in einer Klasse mehr abgeleitete Klasse.

„Die Klasse“ hier in Rede ist Bd, so dass es die endgültige Übergehungseinrichtung von f() in Bd nennen soll, und druckt derived.

Answer 2

Ich habe keine Zeit, um es jetzt zu suchen, aber die Regel ist, dass ein virtueller Aufruf für ein Objekt, dessen Destruktor ausgeführt wird, an die Klasse geht, deren Destruktor gerade ausgeführt wird. So im Destruktor für Bd läuft der Destruktor für a, und der Aufruf b->f() ruft Bd::f.

Wenn a Mitglied B gewesen statt Bd, würde der Aufruf von B::f gehen, weil der Destruktor von a von B ‚s destructor laufen würde.

Wenn Sie es vorziehen, an Mechanismen zu denken (im Allgemeinen nicht), denken Sie an die vtable; Beim Eintragen in einen Destruktor setzt der Code den Zeiger auf die vtable des Destruktors, der gerade ausgeführt wird.