Почему хранилище для дубликата пустой базы не перекрывается указателем vtable?

Рассмотрим этот пример:

#include <iostream>

int main()
{
    struct A {};
    struct B : A {};
    struct C : A, B {};

    std::cout << sizeof(A) << '\n'; // 1
    std::cout << sizeof(B) << '\n'; // 1
    std::cout << sizeof(C) << '\n'; // 2, because of a duplicate base

    struct E : A {virtual ~E() {}};
    struct F : A, B {virtual ~F() {}};

    std::cout << sizeof(E) << '\n'; // 8, the base overlaps the vtable pointer
    std::cout << sizeof(F) << '\n'; // 16, but why?
}

^{(беги на кресте)}

Здесь вы можете видеть, что для struct Eпустого базового класса (размером 1 байт) используется то же хранилище, что и для указателя vtable, как и ожидалось.

Но для struct F, у которого есть дублирующаяся пустая база, этого не происходит. Что вызывает это?

Я получаю тот же результат на GCC, Clang и MSVC. Выше приведены результаты для x64, поэтому sizeof(void *) == 8.

Интересно, что для struct G : A, B {void *ptr;};GCC и Clang действительно выполняется EBO (размер 8), но MSVC нет (размер 16).

Потому что компилятор добавляет один байт после структуры A

F {vptr (8) + 0 членов от заполнения A + 1 (поскольку A пусто) +0 от b} = 9, тогда компилятор добавляет заполнение 7 байтов для выравнивания хранения структуры;

E {vptr (8) + 0 членов для A} = 8 Заполнение не требуется

от Microsoft

Каждый объект данных имеет требование выравнивания. Для структур, требование является крупнейшим из его членов. Каждому объекту назначается смещение, так что смещение% alignment-demand == 0

https://docs.microsoft.com/en-us/cpp/c-language/storage-and-alignment-of-structures?view=vs-2019

РЕДАКТИРОВАТЬ:

вот мое демо:

int main()
{
    C c;
    A* a = &c;
    B* b = &c;

    std::cout << sizeof(A) << " " << a << '\n'; 
    std::cout << sizeof(B) << " " << b << '\n'; 
    std::cout << sizeof(C) << " " << &c << '\n'; 

    E e;
    a = &e;
    std::cout << sizeof(E) <<" " << &e << " " << a << '\n'; 

    F f;
    a = &f;
    b = &f;
    std::cout << sizeof(F) << " " << &f << " " << a << " " << b << '\n';

}

вывод:

1 0000007A45B7FBB4
1 0000007A45B7FBB5
1 0000007A45B7FBB4
8 0000007A45B7FC18 0000007A45B7FC20
16 0000007A45B7FC38 0000007A45B7FC40 0000007A45B7FC41

как вы можете видеть, a & b никогда не пересекаются друг с другом, а vptr для множественного наследования имеет свое значение указателя

записка, скомпилированная VC2019 x64 build