Откуда взялись дополнительные 4 байта?

Question

[Eugene-123]

Откуда взялись дополнительные 4 байта?

struct Something {
    int some_field {};
    virtual void SomeMethod() {}
};

int main() {
    // Размер и выравнивание vptr
    std::cout << "sizeof(void*) = " << sizeof(void*) << std::endl;
    std::cout << "alignof(void*) = " << alignof(void*) << std::endl;

    // Размер и выравнивание поля
    std::cout << "sizeof(int) = " << sizeof(int) << std::endl;
    std::cout << "alignof(int) = " << alignof(int) << std::endl;

    // Размер и выравнивание структуры
    std::cout << "sizeof(Something) = " << sizeof(Something) << std::endl;
    std::cout << "alignof(Something) = " << alignof(Something) << std::endl;

    return 0;
}

Пишет:

sizeof(void*) = 8
alignof(void*) = 8
sizeof(int) = 4
alignof(int) = 4
sizeof(Something) = 16 ???
alignment(Something) = 8

Не понятно откуда еще 4 байта взялось, ведь размер vptr 8 байт, а поля some_filed - 4 байта, т.е.: 8 + 4 = 12 != 16. Если это связано с выравниванием, то все равно не понятно, ведь int размещается на адресах кратных 4, там не должно быть padding'a.
P.S. Компилятор msys64\...\clang.exe. Компиляция в режиме Debug.

Comments

[Евгений Шатунов]

Eugene-123 , в типе Something первые 8 байт отданы на vtable, следующие 4 байта - на int some_field. Там без padding-а, все верно. Итого получается 12 байт.
Выравнивание типа Something равно 8 байт, т.к. в его составе есть указатель vtable.
Размер полей в 12 байт не кратен выравниванию на 8 байт, поэтому размер типа выводится как 16 байт.
Дело в том, что размер типа всегда должен быть кратен выравниванию типа.

[Eugene-123]

Евгений Шатунов, Эта кратность соблюдается для того чтобы можно было корректно размещать элементы в массиве структур Something?

[Евгений Шатунов]

Eugene-123, не просто для этого, а прежде всего для того чтобы получить правильно выравненный адрес на конец экземпляра.
Это качество размера сильно упрощает процессы подсчета размера и смещения, например, в стеке. Когда у тебя все размеры типов сформированы с учетом выравнивания, получение правильного адреса начала следующего экземпляра иного типа с учетом его, потенциально другого, собственного выравнивания может быть выполнено всего за одну операцию.

Answer 1

[Василий Банников]

12 байт не кратно 8, по тому компилятор добавил ещё 4 байта, чтобы выровнять до 16.