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

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

Новые блоги и статьи Все статьи Все блоги /
Установка Qt Creator для C и C++: ставим среду, CMake и MinGW без фреймворка Qt 8Observer8 05.04.2026 Среду разработки Qt Creator можно установить без фреймворка Qt. Есть отдельный репозиторий для этой среды: https:/ / github. com/ qt-creator/ qt-creator, где можно скачать установщик, на вкладке Releases:. . .	AkelPad-скрипты, структуры, и немного лирики.. testuser2 05.04.2026 Такая программа, как AkelPad существует уже давно, и также давно существуют скрипты под нее. Тем не менее, прога живет, периодически что-то не спеша дополняется, улучшается. Что меня в первую очередь. . .	Отображение реквизитов в документе по условию и контроль их заполнения Maks 04.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "ПланированиеСпецтехники", разработанного в конфигурации КА2. Данный документ берёт данные из другого нетипового документа. . .	Фото всей Земли с борта корабля Orion миссии Artemis II kumehtar 04.04.2026 Это первое подобное фото сделанное человеком за 50 лет. Снимок называют новым вариантом легендарной фотографии «The Blue Marble» 1972 года, сделанной с борта корабля «Аполлон-17». Новое фото. . .
Вывод диалогового окна перед закрытием, если документ не проведён Maks 04.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "СписаниеМатериалов", разработанного в конфигурации КА2. Задача: реализовать программный контроль на предмет проведения документа. . .	Программный контроль заполнения реквизитов табличной части документа Maks 02.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "СписаниеМатериалов", разработанного в конфигурации КА2. Задача: 1. Реализовать контроль заполнения реквизита. . .	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. Задача: при создании документов установить период списания автоматически. . .

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

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

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

Решение