Как представляется моя структура с перечислением в памяти?

Типы, которые тут используются:
Как эта структура представляется в памяти? Я определи что пустая структура занимает 1 байт, нашёл даже вопрос в сети по этому поводу, но занимает ли перечисление память? Ну так как его объявил я... Я выполнил sizeof(HotKeysList) и получил 4 байта, неужели оно хранится в памяти? У меня 64-битная машина, отчего последний указатель на строку занимает 8 байт, тоже проверял, ну и 2 UINT - 8 байт, 2 bool - 2 байта, в итоге 8 + 8 + 2 + 1 = 19, а вся моя структура, если выполнить sizeof(HotKey) занимает 24 байта, ну и 24 - 19 = 5, куда ещё 5 байт? Или я неправильно посчитал? Ну да, я не прибавлял перечисление, если пересчитать, то: 8 + 8 + 2 + 1 + 4 = 23, а вся структура весит 24, значит куда-то делся ещё один байт.
Ну и отдельный вопрос, члены структуры расположены по-порядку в памяти? Если перечисление всё же хранится, то зачем оно там? Если я не определил переменную типа перечисления.

0

Сообщение от blbulyan куда ещё 5 байт?

Расставим точки над структурами C/C++

Сообщение от blbulyan Я определи что пустая структура занимает 1 байт

Структура ничего не занимает. Итого , если pragma pack добавить.

1

Сообщение от blbulyan Ну так как его объявил я...

Нет. Это просто набор именованных констант.

Сообщение от blbulyan Я выполнил sizeof(HotKeysList)

Перечисление - это тоже тип. sizeof дал размер типа.
Если создадите объект перечисления, то он как раз будет занимать столько байт.
Тип можно указать вручную:

Сообщение от blbulyan в итоге 8 + 8 + 2 + 1 = 19

Откуда +1?

Сообщение от blbulyan куда ещё 5 байт?

6 байт идет на отступы для выравнивания на 8 байт.

1

Сообщение от blbulyan занимает ли перечисление память? Ну так как его объявил я...

Нет.

Сообщение от blbulyan Или я неправильно посчитал?

Да, неправильно.

Сообщение от blbulyan У меня 64-битная машина

Layout такой:
offset | 0 | Modifiers (4)
offset | 4 | vk (4)
offset | 8 | HotKeyIsRegistred (1)
offset | 9 | HotKeyIsEnable (1) + padding (6)
offset | 16 | RegistryHotKeyName (8)

Итого: 4 + 4 + 1 + 1 + 6 + 8 = 24

0

Сообщение от DrOffset Layout такой:

Вопрос. А может компилятор сделать так:
offset | 8 | HotKeyIsRegistred (1) + padding(3)
offset | 12 | HotKeyIsEnable (1) + padding (3)
???

0

Сообщение от valen10 Расставим точки над структурами C/C++ Структура ничего не занимает. Итого , если pragma pack добавить.

Ну тогда почему sizeof от пустой структуры выдаёт 1?

0

blbulyan, вы же, вроде, нашли ответ на этот вопрос.
Если размер пустой структуры был бы ноль, то, например, сколько должен весить массив таких структур? Ноль? А все элементы этого массива лежали бы по одному адресу?

0

Сообщение от Croessmah А может компилятор сделать так

Не могу вспомнить ничего, что мешало бы этому.
Из стандарта С:

Each non-bit-field member of a structure or union object is aligned in an implementation-defined manner appropriate to its type.

Так что, думаю, может.

1

Сообщение от Croessmah blbulyan, вы же, вроде, нашли ответ на этот вопрос. Если размер пустой структуры был бы ноль, то, например, сколько должен весить массив таких структур? Ноль? А все элементы этого массива лежали бы по одному адресу?

Ну тогда почему мне говорят что структура ничего не занимает? Как она может занимать и не занимать одновременно?

0

blbulyan, место занимают объекты, а не типы. Часто говорят "структура", подразумевая "объект такой структуры".

0

Сообщение от Croessmah Нет. Это просто набор именованных констант. Перечисление - это тоже тип. sizeof дал размер типа. Если создадите объект перечисления, то он как раз будет занимать столько байт. Тип можно указать вручную: C++ 1 2 enum HotKeysList: unsigned char {} static_assert(sizeof(HotKeysList) == 1); Откуда +1? 6 байт идет на отступы для выравнивания на 8 байт.

+1 от размера структуры, я прибавил размер постой структуры, выдаваемый sizeof

0

Сообщение от Croessmah Если размер пустой структуры был бы ноль

В С, кстати, этот вопрос решили по-другому. Там такие пустые структуры вообще не разрешаются.

If the struct-declaration-list contains no named members, the behavior is undefined.

1

Сообщение от DrOffset В С, кстати, этот вопрос решили по-другому. Там такие пустые структуры вообще не разрешаются.

Скорее всего потому что для Си пустые структуры не имеют смысла

0

Сообщение от Croessmah blbulyan, вы же, вроде, нашли ответ на этот вопрос. Если размер пустой структуры был бы ноль, то, например, сколько должен весить массив таких структур? Ноль? А все элементы этого массива лежали бы по одному адресу?

Массив из пустых структур? Я не совсем понимаю, почему разрешено определять пустую структуру, а тут ещё и массив из них. Какой в этом смысл? Для чего это?

0

Сообщение от blbulyan Я не совсем понимаю, почему разрешено определять пустую структуру

Потому что структура\класс в С++ - это еще и область видимости. В которой могут быть разные члены, не только данные-члены, но и типы-члены (как в вашем случае с HotKeysList), функции-члены (если вы пропустили тему "функторы" в своем учебнике, то советую к ней вернуться и там вы увидите примеры пустых структуры с единственным членом-функцией), статические данные-члены и т.п. вещи, которые никак не влияют на ее размер.

Сообщение от blbulyan ещё и массив из них

Это логически вытекает из того, что пустая структура с отсутствующими членами-данными возможна. Если она возможна, то возможно создать ее объект. А если возможно создать ее объект, значит можно создать и массив таких объектов.

То, что при всем вышеозвученном возможно создать структуру не содержащую вообще никаких членов, т.е. совершенно пустую, не особо влияет на результат - это просто частный случай. Факт в том, что если мы разрешили структуру в качестве полного типа без членов-данных, но при этом содержащую, например, функции-члены, то ее размер мы таки должны иметь возможность посчитать. И с точки зрения расчета этого значения совершенно пустая структура не будет отличаться от структуры с членами-функциями, потому что, как вы понимаете, члены-функции на размер никак не влияют. Точно так же как не влияет на него "совершенная пустота".

Добавлено через 10 минут

Сообщение от blbulyan +1 от размера структуры, я прибавил размер постой структуры, выдаваемый sizeof

Его как раз не надо прибавлять.
Этот размер в единицу - это абстрактный размер. И сделан он для того, чтобы не нарушать требования к объектам в С++: "Каждый объект в момент своей жизни в программе должен иметь уникальный адрес".

Если мы позволяем создавать объекты нулевого размера, то автоматически нарушаем это требование.

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

0

blbulyan,
Например в различном шаблонокоде пустые структуры тоже могут быть использованы.
https://ru.cppreference.com/w/cpp/types/enable_if
Посмотрите часть "возможная реализация"

0