c - 位字段中的字段是否为其元素获得了连续的内存位置？这种行为编译器独立吗？

Question

在C语言的位域中，其元素的内存位置是否连续？如果是，此行为是否对所有编译器都相同？

例子:

typedef struct
{
   uint8_t        in_alarm      :1;
   uint8_t        fault         :1;
   uint8_t        overridden    :1;
   uint8_t        out_of_service:1;
}StatusFlag_t;

字段 in_alarm、fault 等是否有连续的内存位置？

Answer 1

根据 C 标准，位域处理的几乎每个方面都依赖于编译器。结构中的 4 位很可能在单个字节中是连续的，但不能保证它们是最高有效位还是最低有效 4 位。如果超过 8 位，那么这些值将跨越多个存储单元(因为基类型是 uint8_t；请注意，C 标准不要求编译器支持使用 uint8_t 作为位域的类型)。请注意，位域成员通常没有不同的地址；您不能获取位域元素的地址。

无法保证不同编译器在不同平台上的行为相同。通常有一个 ABI(应用程序二进制接口(interface))定义特定操作系统的行为，编译器将遵守其运行平台的 ABI。但是 C 标准并不强制要求这种行为。

有关标准的相关引述，请参阅(以及其他可能性)How do bit-fields and their alignments work in C programming?