Может ли компилятор C ++ переупорядочивать элементы в структуре - PullRequest
Новая
       16

Может ли компилятор C ++ переупорядочивать элементы в структуре

12 голосов
/ 27 мая 2009

Может ли компилятор C ++ (в частности, g ++) переупорядочить внутренние элементы структуры?

Я вижу странное поведение, когда у меня есть структура, которая содержит что-то вроде следующего: 

Struct SomeStruct{
   ...
   ...
   long someLong;
   long someLongArray[25];
   unsigned long someUnsignedLong;
   unsigned long someUnsignedLongArray[8];
   unsigned long int someUnsignedLongInt;
   ...
   ...
};

Когда я записываю вывод этого в файл, порядок someUnsignedLongArray и someLongArray кажется обратным (то есть элементы в someLongArray [] появляются после someUnsignedLong и элементы someUnsignedLongArray [] появляются после someLong ). Это возможно ??

Спасибо

Обновление: В соответствии с просьбой я пишу структуру, используя следующее: 

int fd = open(fspec,O_RDWR|O_CREAT|O_TRUNC,0666);
int writeRes =  write(fd,(char *)&someStruct,sizeof(SomeStruct));

Для полноты, вот полная структура: 

struct SomeStruct{
byte someByte;
byte someByteArray[6];
char someChar;
char someCharArray[5];
char someCharArrayArray[3][5];
short someShort;
signed short someShortArray[2];
unsigned short someUnsignedShort;
unsigned short someUnsignedShortArray[8];
int someInt;
int someIntArray[3];
int someIntArrayArrayArrayArray[4][3][2][6];
int *pSomeInt;
unsigned int someUnsignedInt;
unsigned int someUnsignedIntArray[9];
long someLong;
long someLongArray[25];
unsigned long someUnsignedLong;
unsigned long someUnsignedLongArray[8];
unsigned long int someUnsignedLongInt;
long long someLongLong;
long long someLongLongArray[5];
bool someBool;
bool someBoolArray[3];
unsigned long long someUnsignedLongLong;
unsigned long long someUnsignedLongLongArray[5];
unsigned long long someUnsignedLongLongArrayArray[5][2];
unsigned long long int *pSomeUnsignedLongLongInt;
};

Ответы [ 2 ]

31 голосов
/ 27 мая 2009

Обычно не может переупорядочивать элементы, нет.

Исключением является наличие спецификатора доступа, разделяющего их: 

struct Foo {    
  A a;
  B b;
  C c;
private:
  D d;
  E e;
  F f;
};

a, b и c гарантированно будут сохранены в этом порядке, а d, e и f гарантированно сохранены в порядке. Но нет никаких гарантий относительно того, где a, b и c хранятся относительно d, e и f.

Еще одна вещь, которую нужно иметь в виду, это то, что компилятор может вставить столько отступов, сколько ему захочется, даже если он ничего не меняет.

Вот соответствующая часть стандарта:

Раздел 9.2.12:

Нестатические данные членов (не объединенный) класс, объявленный без промежуточный спецификатор доступа распределены так, чтобы более поздние члены имели более высокие адреса в классе объект. Порядок выделения нестатические члены данных, разделенные спецификатор доступа не указан (11,1) "

7 голосов
/ 27 мая 2009

Нет, см. Автоматическое переупорядочение полей в структурах C, чтобы избежать заполнения и Почему GCC не оптимизирует структуры? для получения дополнительной информации.

Я не знаю, что вы имеете в виду под "перевернутым", возможно, вам следует добавить некоторый код и вывод.

...