Comment static_cast peut-il être utilisé avec l'héritage virtuel?

Question

Il est donc impossible de downcaster en utilisant static_cast avec l'héritage virtuel, mais comment est-il possible de faire la upcast suivante:

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

... 

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

Disposition de la mémoire de l'objet:

[ derived part | base part ] 

Je sais que transtypage ascendant est considéré comme "safe", mais comment le compilateur peut-il connaître le décalage du sous-objet de base lors de la compilation, lorsque l'héritage est virtuel? Est-ce que le static_cast utilise le vtable?

Cela est particulièrement confus quand nous avons quelque chose comme ça (notez que ce n'est pas virtuel):

class Third : public Derived {...}; 

... 

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

Cette fois, j'utilisé la même static_cast ligne, mais le décalage du sous-objet Base est différent!

Disposition de la mémoire de l'objet:

[ derived part | third part | base part ] 

Alors, comment peut-il être déterminé au moment de la compilation, si elle dépend du type dynamique réelle de l'objet d points?

Answer 1

Lorsque vous avez un pointeur sur un Derived dans votre cas, il est clair que Base est à utiliser et vous pouvez convertir même implicitement le pointeur sur Derived à un pointeur vers Base! Si un ajustement d'adresse est nécessaire, le compilateur comprendra comment faire en utilisant un pointeur intégré, un vtable, ou autre chose: l'approche exacte n'est pas prescrite par la norme C++. Ce qui est fait exact dépend de l'ABI. Par exemple, pour le Itanium C++ ABI, il semble que les décalages des bases virtuelles soient stockés dans les tables virtuelles.