Шаблоны, наследование и размер типа

@gray_fox · Регистрация: 21.04.2012

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

Суть вопроса в том, что имея два шаблона класса, унаследованных от общего предка, и инстанциируя "один другим"
имеем + n байт к размеру типа (по крайней мере на gcc). Надеюсь я понятно выразился) Вот пример:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
#include <iostream>
 
 
struct base {};
 
template<typename Type>
struct left : base {
 
   Type value;
};
 
template<typename Type>
struct right : base {
 
   Type value;
};
 
 
struct padding {
   char _padding_[32];
};
 
 
int main() {
   std::cout << "sizeof padding              = " << sizeof (padding)              << std::endl;
   std::cout << "sizeof left<padding>        = " << sizeof (left<padding>)        << std::endl;
   std::cout << "sizeof right<padding>       = " << sizeof (right<padding>)       << std::endl;
   std::cout << "sizeof left<right<padding>> = " << sizeof (left<right<padding>>) << std::endl;
   std::cout << "sizeof right<left<padding>> = " << sizeof (right<left<padding>>) << std::endl;
}

вывод

Code
1
2
3
4
5
sizeof padding              = 32
sizeof left<padding>        = 32
sizeof right<padding>       = 32
sizeof left<right<padding>> = 33
sizeof right<left<padding>> = 33

http://ideone.com/0VnYCB
Если не наследовать оба сразу, то эффект исчезает. Никак не соображу, в связи с чем это происходит.

Croessmah · 22.11.2012, 09:22

На студии 2012:
Название: Безымянный.jpg
Просмотров: 101

Размер: 13.2 Кб

@ForEveR · 22.11.2012, 09:35

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
#include <iostream>
 
 
struct base {};
 
template<typename Type>
struct left : base {
 
   Type value;
};
 
template<typename Type>
struct right : base {
 
   Type value;
}; 
 
struct padding {
   char _padding_[32];
}; 
 
int main() {
   std::cout << "sizeof left<base> = " << sizeof(left<base>) << std::endl;
   std::cout << "sizeof left<right<base>>    = " << sizeof(left<right<base>>) << std::endl;
   std::cout << "sizeof left<right<left<right<left<base>>>>> = " << sizeof(left<right<left<right<left<base>>>>>) << std::endl;
}

Bash
1
2
3
4
5
forever@pterois:~/My_pro1/cpp_pro$ g++ -o new new.cpp -std=c++0x 
forever@pterois:~/My_pro1/cpp_pro$ ./new 
sizeof left<base> = 2
sizeof left<right<base>>    = 3
sizeof left<right<left<right<left<base>>>>> = 6

Bash
1
2
3
4
5
forever@pterois:~/My_pro1/cpp_pro$ clang++ -o new new.cpp -std=c++0x 
forever@pterois:~/My_pro1/cpp_pro$ ./new 
sizeof left<base> = 2
sizeof left<right<base>>    = 3
sizeof left<right<left<right<left<base>>>>> = 6

Croessmah · 22.11.2012, 09:37

Добавил в класс base поле int, получилось 40 байт. Собственно 32+4+4 (GCC)

@gray_fox · 22.11.2012, 09:44 **[ТС]**

Croessmah, здесь вроде понятно, мне интересен случай именно с пустым базовым классом. Видимо, он для каждого "лишнего" базового класса добавляет по размеру выравнивания, и мне не понятно, зачем он это делает.

@ForEveR · 22.11.2012, 10:02

Croessmah, Можешь на MSVC проверить мой код и выложить результаты?

Croessmah · 22.11.2012, 10:05

Сообщение от ForEveR

Можешь на MSVC проверить мой код и выложить результаты?

@gray_fox · 22.11.2012, 10:10 **[ТС]**

Хм, с MSVС я бы и не наткнулся на это)

@ForEveR · 22.11.2012, 10:50

Видимо impl defined... Ибо нормальных ответов я не вижу даже на стеке, собственно нужно смотреть в реализацию и пытаться найти что делается для того, чтобы посчитать sizeof.

http://stackoverflow.com/quest... m-one-base

#pragma pack(1) предсказуемо выдает результат как в VS

Ответ второго товарища логичен и вполне может оказаться верным.

Croessmah · 22.11.2012, 10:56

Сообщение от ForEveR

чтобы посчитать sizeof.

либо как происходит "создание" класса, ведь это только если класс пустой проявляется.

@gray_fox · 22.11.2012, 11:39 **[ТС]**

Сообщение от ForEveR

Видимо impl defined...

Да, похоже на то. Свою связанную с этим проблему (вроде бы) решил с помощью CRTP.

Добавлено через 41 минуту
Думаю, товарищ со stackoverflow прав. При невиртуальном наследовании мы должны иметь доступ ко всем экземлярам базового класса, и у каждого должен быть свой адрес. Адрес первого совпадает с наследуемым, для остальных выделяется по sizeof allignment. Comeau online поступает так же, как gcc и clang, так что MSVC++ - ну как всегда...)

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .	SDL3 для Web (WebAssembly): Идентификация объектов на Box2D v3 - использование userData и событий коллизий 8Observer8 02.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-collision-events-sdl3-c. zip https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11680&d=1772460536 Одним из. . .	Реалии Hrethgir 01.03.2026 Нет, я не закончил до сих пор симулятор. Эта задача сложнее. Не получилось уйти в плавсостав, но оно и к лучшему, возможно. Точнее получалось - но сварщиком в палубную команду, а это значит, в моём. . .	Ритм жизни kumehtar 27.02.2026 Иногда приходится жить в ритме, где дел становится всё больше, а вовлечения в происходящее — всё меньше. Плотный график не даёт вниманию закрепиться ни на одном событии. Утро начинается с быстрых,. . .
SDL3 для Web (WebAssembly): Сборка библиотек: SDL3, Box2D, FreeType, SDL3_ttf, SDL3_mixer и SDL3_image из исходников с помощью CMake и Emscripten 8Observer8 27.02.2026 Недавно вышла версия 3. 4. 2 библиотеки SDL3. На странице официальной релиза доступны исходники, готовые DLL (для x86, x64, arm64), а также библиотеки для разработки под Android, MinGW и Visual Studio. . . .	SDL3 для Web (WebAssembly): Реализация движения на Box2D v3 - трение и коллизии с повёрнутыми стенами 8Observer8 20.02.2026 Содержание блога Box2D позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .	Конвертировать закладки radiotray-ng в m3u-плейлист damix 19.02.2026 Это можно сделать скриптом для PowerShell. Использование . \СonvertRadiotrayToM3U. ps1 <path_to_bookmarks. json> Рядом с файлом bookmarks. json появится файл bookmarks. m3u с результатом. # Check if. . .	Семь CDC на одном интерфейсе: 5 U[S]ARTов, 1 CAN и 1 SSI Eddy_Em 18.02.2026 Постепенно допиливаю свою "многоинтерфейсную плату". Выглядит вот так: https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11617&stc=1&d=1771445347 Основана на STM32F303RBT6. На борту пять. . .

Croessmah Неэпический 18149 / 10731 / 2067 Регистрация: 27.09.2012 Сообщений: 27,035 Записей в блоге: 1
	22.11.2012, 09:22
	На студии 2012: 2

Croessmah Неэпический 18149 / 10731 / 2067 Регистрация: 27.09.2012 Сообщений: 27,035 Записей в блоге: 1
	22.11.2012, 09:37
	Добавил в класс base поле int, получилось 40 байт. Собственно 32+4+4 (GCC) 1

@gray_fox What a waste! 1610 / 1302 / 180 Регистрация: 21.04.2012 Сообщений: 2,733
	22.11.2012, 09:44 [ТС]
	Croessmah, здесь вроде понятно, мне интересен случай именно с пустым базовым классом. Видимо, он для каждого "лишнего" базового класса добавляет по размеру выравнивания, и мне не понятно, зачем он это делает. 0

@ForEveR В астрале 8049 / 4806 / 655 Регистрация: 24.06.2010 Сообщений: 10,562
	22.11.2012, 10:02
	Croessmah, Можешь на MSVC проверить мой код и выложить результаты? 0

@gray_fox What a waste! 1610 / 1302 / 180 Регистрация: 21.04.2012 Сообщений: 2,733
	22.11.2012, 10:10 [ТС]
	Хм, с MSVС я бы и не наткнулся на это) 0

@ForEveR В астрале 8049 / 4806 / 655 Регистрация: 24.06.2010 Сообщений: 10,562
	22.11.2012, 10:50
	Видимо impl defined... Ибо нормальных ответов я не вижу даже на стеке, собственно нужно смотреть в реализацию и пытаться найти что делается для того, чтобы посчитать sizeof. http://stackoverflow.com/quest... m-one-base #pragma pack(1) предсказуемо выдает результат как в VS Ответ второго товарища логичен и вполне может оказаться верным. 1