Come può essere usato static_cast con l'ereditarietà virtuale?

Question

quindi è impossibile per downcast utilizzando static_cast con l'ereditarietà virtuale, ma come è possibile effettuare le seguenti operazioni upcast:

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

... 

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

Struttura memoria dell'oggetto:

[ derived part | base part ] 

So che upcasting è considerato "sicuro", ma come può il compilatore conoscere l'offset del sottomodulo di base in fase di compilazione, quando l'ereditarietà è virtuale? Il static_cast utilizza lo vtable?

Ciò è particolarmente confusa quando abbiamo qualcosa di simile (si noti che non è virtuale):

class Third : public Derived {...}; 

... 

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

Questa volta ho usato la stessa linea static_cast, ma l'offset per il sub-oggetto Base è diverso!

Struttura memoria dell'oggetto:

[ derived part | third part | base part ] 

Così come può essere determinato al momento della compilazione, se dipende dal tipo dinamico effettivo dell'oggetto d punti?

Answer 1

Quando si ha un puntatore ad un Derived nel tuo caso, è chiaro che Base deve essere usato e si può anche convertire implicitamente il puntatore Derived a un puntatore a Base! Se è necessaria una modifica dell'indirizzo, il compilatore capirà come farlo usando il puntatore incorporato, un vtable o qualsiasi altra cosa: l'approccio esatto non è prescritto dallo standard C++. Ciò che è esatto dipende dall'ABI. Ad esempio, per lo Itanium C++ ABI sembra che gli offset per le basi virtuali siano archiviati nelle tabelle virtuali.