4.9 Структуры, объединения, перечисления и битовые поля ¶

• Элементу объекта объединения (union) можно присвоить значение другого типа (C90 6.3.2.3).

  Соответствующие байты представления объекта обрабатываются как объект используемого типа для доступа. См. Тип-подражание. Это может быть ловушкой представления.

• Обработка «простого» int битового поля как signed int битового поля или как unsigned int битового поля (C90 6.5.2, C90 6.5.2.1, C99 и C11 6.7.2, C99 и C11 6.7.2.1).

  По умолчанию оно обрабатывается как signed int, но это можно изменить с помощью опции -funsigned-bitfields.

• Допустимые типы битовых полей, отличные от _Bool, signed int, и unsigned int (C99 и C11 6.7.2.1).

  Допускаются и другие целочисленные типы, такие как long int, и типы перечислений, даже в строго согласующемся режиме.

• Разрешение использования атомных типов для битовых полей (C11 6.7.2.1).

  Атомные типы не разрешены для битовых полей.

• Возможность битового поля охватывать границу блока памяти (C90 6.5.2.1, C99 и C11 6.7.2.1).

  Определяется ABI.

• Порядок размещения битовых полей в блоке (C90 6.5.2.1, C99 и C11 6.7.2.1).

  Определяется ABI.

• Выравнивание элементов структуры, не являющихся битовыми полями (C90 6.5.2.1, C99 и C11 6.7.2.1).

  Определяется ABI.

• Целочисленный тип, совместимый с каждым типом перечисления (C90 6.5.2.2, C99 и C11 6.7.2.2).

  Обычно, тип является unsigned int, если в перечислении нет отрицательных значений, в противном случае int. Если указана опция -fshort-enums, то если есть отрицательные значения, это первый из signed char, short и int, который может представлять все значения, в противном случае это первый из unsigned char, unsigned short и unsigned int, который может представлять все значения.

  На некоторых целевых платформах -fshort-enums является значением по умолчанию; это определяется ABI.