Yinelenen boş bir taban için depolama neden vtable işaretçisiyle çakışmıyor?

Bu örneği düşünün:

#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?
}

^{(godbolt üzerinde koş)}

Burada struct E, boş temel sınıf (1 bayt büyük) için beklendiği gibi vtable işaretçisiyle aynı depolamayı kullandığını görebilirsiniz.

Ancak struct F, yinelenen boş bir tabana sahip olduğu için , bu gerçekleşmez. Buna ne sebep olur?

Aynı sonucu GCC, Clang ve MSVC'de de alıyorum. Yukarıdaki sonuçlar x64 içindir sizeof(void *) == 8.

İlginçtir, struct G : A, B {void *ptr;};GCC ve Clang için EBO (boyut 8'dir), ancak MSVC yapmaz (boyut 16'dır).

Derleyici, A yapısından sonra bir bayt dolgu eklediğinden

F {vptr (8) + A + 1 dolgudan 0 üye (A boş olduğu için) b} = 9'dan +0 sonra derleyici, yapının depolanmasını hizalamak için 7 bayt dolgu ekler;

E {vptr (8) + A için 0 üye} = 8 Dolgu gerekmez

Microsoft'tan

Her veri nesnesinin bir hizalama gereksinimi vardır. Yapılar için gereklilik üyelerin en büyüğüdür. Her nesneye bir ofset ayrılır, böylece ofset% hizalama-gereksinimi == 0

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

DÜZENLE:

İşte benim demo:

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';

}

çıktı:

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

a & b'nin asla birbiriyle örtüşmediğini ve birden fazla kalıtımda vptr ile her birinin kendi işaretçi değeri olduğunu görebilirsiniz

VC2019 x64 derlemesi tarafından derlenen not