Размер класса при виртуальном наследовани

Алексей1153 · Регистрация: 11.10.2019

Студворк — интернет-сервис помощи студентам

почему при виртуальном наследовании потомок так толстеет?
https://onlinegdb.com/A6bG0XPGo

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
#include <iostream>
class A
{
    int i{};
};
 
class B : virtual A {};
 
class C : virtual A {};
 
class D : B, C {};
 
int main ()
{
    std::cout<<"sizeof(int)="<<sizeof(int)<<'\n';
    std::cout<<"sizeof(A)="  <<sizeof(A)<<'\n';
    std::cout<<"sizeof(B)="  <<sizeof(B)<<'\n';
    std::cout<<"sizeof(C)="  <<sizeof(C)<<'\n';
    std::cout<<"sizeof(D)="  <<sizeof(D)<<'\n';
}

sizeof(int)=4

sizeof(A)=4

sizeof(B)=16

sizeof(C)=16

sizeof(D)=24

без виртуального наследования результат ожидаемый:

sizeof(int)=4

sizeof(A)=4

sizeof(B)=4

sizeof(C)=4

sizeof(D)=8

-----------------

предполагаю, что дело в этой фиче

All virtual base subobjects are initialized before any non-virtual base subobject, so only the most derived class calls the constructors of the virtual bases in its member initializer list:

то есть, какие-то дополнительные таблицы появляются? (По аналогии с виртуальными функциями)

@Curry · 22.10.2024, 09:39

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
#include <iostream>
class  __attribute__ ((packed)) A
{
    int i{};
};
 
 
class  __attribute__ ((packed)) B : virtual A {};
 
class  __attribute__ ((packed)) C : virtual A {};
 
class  __attribute__ ((packed)) D : B, C {};
 
int main ()
{
    std::cout<<"sizeof(int)="<<sizeof(int)<<'\n';
    std::cout<<"sizeof(A)="  <<sizeof(A)<<'\n';
    std::cout<<"sizeof(B)="  <<sizeof(B)<<'\n';
    std::cout<<"sizeof(C)="  <<sizeof(C)<<'\n';
    std::cout<<"sizeof(D)="  <<sizeof(D)<<'\n';
}

так мне как то более понятно.

Code
1
2
3
4
5
sizeof(int)=4
sizeof(A)=4
sizeof(B)=12 -- +8, добавился указатель на таблицу виртуальных функций
sizeof(C)=12 -- то же
sizeof(D)=20 -- +16, два указателя на две таблицы

Алексей1153 · 22.10.2024, 09:47 **[ТС]**

Curry, но в моём примере нет виртуальных функций

Более того, если в A добавить их (например, виртуальный деструктор) то размер ещё увеличится (но тут то уже понятно, почему)

@Curry · 22.10.2024, 10:01

Сообщение от Алексей1153

но в моём примере нет виртуальных функций

да, вы правы. Однако, добавляются указатели на что то. Попробовал в onlinegdb.com указать флаги -g0 -O3, эффекта нет, хотя надо бы проверить на оффлайн компиляторе которого нет под рукой. Может это указатели на отладочную информацию по классу?

@TheCalligrapher · 22.10.2024, 11:08

Сообщение от Алексей1153

так толстеет?

Как "толстеет"? Добавьте в свои классы полезных полей - и вот уже "толстение" станет намного меньшим в процентном соотношении. А пустые классы да - они "толстеют" быстро...

Расположение виртуальной базы невозможно определить на стадии компиляции. Поэтому понятно, что виртуальная база - это база, которая будет доступна через некое значение времени выполнения, хранимое в объекте: через указатель или через смещение. Или через разделяемую между объектами одного класса таблицу смещений, указатель на которую будет храниться в объекте. Или еще как.

Но как ни верти, в каждый объект добавится что-то размером с "адрес". Это мы и наблюдаем.

Сообщение от Алексей1153

предполагаю, что дело в этой фиче

Это фича свидетельствует лишь о том, что внутри класса D будет существовать лишь один экземпляр базы A. То есть эта фича объясняет, почему класс D получился таким "худым" (меньше по размеру, чему B и C в сумме).

Добавьте внутрь своего класса A, скажем, массив размером 1024 байта. И вот уже при виртуальном наследовании класс D получается размером примерно в 1 кбайт, а при обычном наследовании - в 2 кбайта. А вы говорите "толстеет при виртуальном наследовании"... Не наоборот ли?

Неясно, как вы в этой фиче увидели связь со своим вопросом про "толстые" классы.

Алексей1153 · 22.10.2024, 12:00 **[ТС]**

TheCalligrapher, понятно, что толщина - вещь относительная. Ну, теперь примерно понятно, откуда она добавляется (речь не про полезную нагрузку, конечно же)

Новые блоги и статьи Все статьи Все блоги /
сукцессия микоризы: основная теория в виде двух уравнений. anaschu 11.01.2026 https:/ / rutube. ru/ video/ 7a537f578d808e67a3c6fd818a44a5c4/	WordPad для Windows 11 Jel 10.01.2026 WordPad для Windows 11 — это приложение, которое восстанавливает классический текстовый редактор WordPad в операционной системе Windows 11. После того как Microsoft исключила WordPad из. . .	Classic Notepad for Windows 11 Jel 10.01.2026 Old Classic Notepad for Windows 11 Приложение для Windows 11, позволяющее пользователям вернуть классическую версию текстового редактора «Блокнот» из Windows 10. Программа предоставляет более. . .	Почему дизайн решает? Neotwalker 09.01.2026 В современном мире, где конкуренция за внимание потребителя достигла пика, дизайн становится мощным инструментом для успеха бренда. Это не просто красивый внешний вид продукта или сайта — это. . .
Модель микоризы: классовый агентный подход 3 anaschu 06.01.2026 aa0a7f55b50dd51c5ec569d2d10c54f6/ O1rJuneU_ls https:/ / vkvideo. ru/ video-115721503_456239114	Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ФедосеевПавел 06.01.2026 Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ВВЕДЕНИЕ Введу сокращения: аналоговый ПИД — ПИД регулятор с управляющим выходом в виде числа в диапазоне от 0% до. . .	Модель микоризы: классовый агентный подход 2 anaschu 06.01.2026 репозиторий https:/ / github. com/ shumilovas/ fungi ветка по-частям. коммит Create переделка под биомассу. txt вход sc, но sm считается внутри мицелия. кстати, обьем тоже должен там считаться. . . .	Расчёт токов в цепи постоянного тока igorrr37 05.01.2026 / * Дана цепь постоянного тока с сопротивлениями и источниками (напряжения, ЭДС и тока). Найти токи и напряжения во всех элементах. Программа составляет систему уравнений по 1 и 2 законам Кирхгофа и. . .

Алексей1153 фрилансер 6449 / 5643 / 1129 Регистрация: 11.10.2019 Сообщений: 15,023
	22.10.2024, 09:47 [ТС]
	Curry, но в моём примере нет виртуальных функций Более того, если в A добавить их (например, виртуальный деструктор) то размер ещё увеличится (но тут то уже понятно, почему) 1

Алексей1153 фрилансер 6449 / 5643 / 1129 Регистрация: 11.10.2019 Сообщений: 15,023
	22.10.2024, 12:00 [ТС]
	TheCalligrapher, понятно, что толщина - вещь относительная. Ну, теперь примерно понятно, откуда она добавляется (речь не про полезную нагрузку, конечно же) 0

Размер класса при виртуальном наследовани

Решение