компоновка полей struct в памяти

@GoldenId · Регистрация: 11.11.2010

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

Подскажите ленивому тупому, которому лень Страустрапа почитать, как компонуются поля структуры в памяти?
Меня интересует конкретный пример.
Есть библиотечная структура

C++

struct SLib {
   float field1;
   DWORD field2;
   // ...
};

Мне нужно дополнить её другими данными

C++

1
2
3

int field3;
short field4;
// ...

Если я сделаю это так:
1)

C++

struct SMy {
   float field1;
   DWORD field2;
   // ...
   int field3;
   short field4;
   // ...
};

или так
2)

C++

struct SMy {
   SLib lib;
   int field3;
   short field4;
   // ...
};

могу ли я быть уверен, что
"Никогда-никогда,
никогда-никогда..." (с) с порядком расположения её полей в памяти ничего не произойдёт и я, например, смогу также зачитывать из битовых файлов в void* и заполнять её memcpy?

Заранее благодарен за конструктивные ответы.

@CheshireCat · 11.11.2010, 08:54

Не можешь.
Причин тут две:
1. У всех известных мне современных компиляторов C и С++ существует такая фича, как выравнивание (alignment) данных - и полей структур в том числе. При этом, для различных компиляторов это выравнивание может оказаться разным, - т.е. если твоя программа была скомпилирована Компилятором1, и записала структуру в файл как raw data (просто поток байтов), а потом перекомпилирована другим Компилятором2, и попыталась прочесть все те же данные, - ты можешь получить верные данные, а можешь получить бред....... Потому что выравнивание может оказаться разным, а может одинаковым, - как карта ляжет.
Можно победить, насильственно указав компилятору желаемое выравнивание:

C++

#pragma pack(push, 1)
 
struct SMy {
   float field1;
   DWORD field2;
   // ...
   int field3;
   short field4;
   // ...
};
 
#pragma pack(pop)

(в твоем конкретном компиляторе прагма может быть немного иной, но суть та же.... Читай документацию к компилятору.)

2. Существует еще такая штука, как архитектуры big-endian и little-endian - попросту говоря, различный порядок байтов в многобайтовых переменных (int, etc...). Так вот, для различных процессоров этот порядок лехко может оказаться разным, и при переносе файла данных между различными машинами (по сети, или еще каким-то способом....) ты гарантированно получишь бред.

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

	11.11.2010, 08:54