Вообщем понятно: создается таблица в которой хранятся смещения всех базовых объектов.
Сам же объект класса-наследника содержит указатель на эту таблицу.
Что же происходит теперь?

class C : public virtual A
{};
class D : public B, public C
{};