Как использовать static_cast с виртуальным наследованием?

Question

Так что невозможно обратное приведение с помощью static_cast с виртуальным наследованием, но как можно сделать следующий вентиляционный:

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

... 

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

макет памяти объекта:

[ derived part | base part ] 

Я знаю, что приведение к базовому типу считается «безопасно», но как компилятор может узнать смещение базового под-объекта во время компиляции, когда наследование виртуально? Использует ли static_castvtable?

Это особенно сбивает с толку, когда мы что-то вроде этого (обратите внимание, что это не виртуальные):

class Third : public Derived {...}; 

... 

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

На этот раз я использовал ту же самую static_cast линию, но смещение к Base подъобекта отличается!

Разметка памяти объекта:

[ derived part | third part | base part ] 

Так как это может быть определено во время компиляции, если это зависит от фактического динамического типа объекта d указывает на?

Answer 1

Если у вас есть указатель на Derived в вашем случае, это ясно, какой Base будет использоваться, и вы можете даже неявно преобразовать указатель на Derived к указателю Base! Если требуется какая-либо корректировка адреса, компилятор будет определять, как это сделать, используя встроенный указатель, таблицу vtable или что-то еще: точный подход не предписывается стандартом C++. То, что делается точно, зависит от ABI. Например, для Itanium C++ ABI кажется, что смещения виртуальных баз хранятся в виртуальных таблицах.