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

@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++ - ну как всегда...)

Новые блоги и статьи Все статьи Все блоги /
Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Programma_Boinc 28.12.2025 Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Налог на собак: https:/ / ********/ gallery/ V06K53e Финансовый отчет в Excel: https:/ / ********/ gallery/ bKBkQFf Пост отсюда. . .	Кто-нибудь знает, где можно бесплатно получить настольный компьютер или ноутбук? США. Programma_Boinc 26.12.2025 Нашел на реддите интересную статью под названием Anyone know where to get a free Desktop or Laptop? Ниже её машинный перевод. После долгих разбирательств я наконец-то вернула себе. . .	Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы, точка. Programma_Boinc 23.12.2025 Рецензия / Мнение/ Перевод Нашел на реддите интересную статью под названием The Thinkpad X220 Tablet is the best budget school laptop period . Ниже её машинный перевод. Thinkpad X220 Tablet —. . .	PhpStorm 2025.3: WSL Terminal всегда стартует в ~ and_y87 14.12.2025 PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .	Как объединить две одинаковые БД Access с разными данными VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.
Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro	Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .	От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .	Поиск "дружественных имён" СОМ портов Argus19 22.11.2025 Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .	Сколько Государство потратило денег на меня, обеспечивая инсулином. Programma_Boinc 20.11.2025 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .

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

Croessmah Неэпический 18144 / 10728 / 2066 Регистрация: 27.09.2012 Сообщений: 27,026 Записей в блоге: 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