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

Алексей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, понятно, что толщина - вещь относительная. Ну, теперь примерно понятно, откуда она добавляется (речь не про полезную нагрузку, конечно же)

Новые блоги и статьи Все статьи Все блоги /
Программный контроль заполнения реквизита табличной части документа Maks 02.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "СписаниеМатериалов", разработанного в конфигурации КА2. Задача: реализовать контроль заполнения реквизита "ПричинаСписания". . .	wmic не является внутренней или внешней командой Maks 02.04.2026 Решение: DISM / Online / Add-Capability / CapabilityName:WMIC~~~~ Отсюда: https:/ / winitpro. ru/ index. php/ 2025/ 02/ 14/ komanda-wmic-ne-naydena/	Программная установка даты и запрет ее изменения Maks 02.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "СписаниеМатериалов", разработанного в конфигурации КА2. Задача: при создании документов установить период списания автоматически. . .	Вывод данных в справочнике через динамический список Maks 01.04.2026 Реализация из решения ниже выполнена на примере нетипового справочника "Спецтехника" разработанного в конфигурации КА2. Задача: вывести данные из ТЧ нетипового документа. . .
Программное заполнения текстового поля в реквизите формы документа Maks 01.04.2026 Алгоритм из решения ниже реализован на нетиповом документе "ВыдачаОборудованияНаСпецтехнику" разработанного в конфигурации КА2, в дополнении к предыдущему решению. На форме документа создается. . .	К слову об оптимизации kumehtar 01.04.2026 Вспоминаю начало 2000-х, университет, когда я писал на Delphi. Тогда среди программистов на форумах активно обсуждали аккуратную работу с памятью: нужно было следить за переменными, вовремя. . .	Идея фильтра интернета (сервер = слой+фильтр). Hrethgir 31.03.2026 Суть идеи заключается в том, чтобы запустить свой сервер, о чём я если честно мечтал давно и давно приобрёл книгу как это сделать. Но не было причин его запускать. Очумелые учёные напечатали на. . .	Модель здравосоХранения 6. ESG-повестка и устойчивое развитие; углублённый анализ кадрового бренда anaschu 31.03.2026 В прикрепленном документе раздумья о том, как можно поменять модель в будущем

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

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

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

Решение