Wie kann static_cast mit virtueller Vererbung verwendet werden?

Question

So ist es unmöglich, mit static_cast mit virtueller Vererbung niedergeschlagenen, aber wie ist es möglich, die folgende upcast zu tun:

class Base {...}; 
class Derived : public virtual Base {...}; 

... 

Derived *d = new Derived(); 
Base *b = static_cast<Base*>(d); 

Speicherlayout des Objekts:

[ derived part | base part ] 

Ich weiß, dass Upcasting betrachtet "Sicher", aber wie kann der Compiler den Offset zum Basisunterobjekt zur Kompilierungszeit kennen, wenn die Vererbung virtuell ist? Verwendet die static_cast die ?

Dies ist besonders verwirrend, wenn wir so etwas wie diese haben (beachten Sie, dass es nicht virtuell ist):

class Third : public Derived {...}; 

... 

Derived *d = new Third();   // non-virtual upcast, no offset will be added 
Base *b = static_cast<Base*>(d); 

Dieses Mal habe ich die gleiche static_cast Linie verwendet, aber der Offset zum Base Unterobjekt ist anders!

Speicherlayout des Objekts:

[ derived part | third part | base part ] 

Wie kann es bei der Kompilierung festgelegt werden, wenn es auf dem tatsächlichen dynamischen Typ des Objekts abhängt d Punkte?

Answer 1

Wenn Sie einen Zeiger auf ein Derived in Ihrem Fall haben, ist es klar, welche Base verwendet werden soll, und Sie können sogar implizit die Zeiger auf Derived auf einen Zeiger auf Base konvertieren! Wenn eine Adressanpassung erforderlich ist, wird der Compiler herausfinden, wie dies unter Verwendung eines eingebetteten Zeigers, einer V-Tabelle oder was auch immer geschieht: Der genaue Ansatz ist nicht durch den C++ - Standard vorgeschrieben. Was genau gemacht wird, hängt von der ABI ab. Zum Beispiel für die Itanium C++ ABI scheint es, dass die Offsets für virtuelle Basen in den virtuellen Tabellen gespeichert sind.