C/C++中的位域：哪些是有保证的，哪些是实现定义的？

针对你从cppreference文档中得出的三个结论，验证如下：

• 结论1：相邻位域之间不存在填充
  这个结论不准确。根据C标准6.7.2.1条款的规定，相邻位域若属于同一类型且总位数不超过该类型的存储单元大小，实现可选择不插入填充；但如果类型不同，或总位数超出存储单元大小，编译器有权插入填充字节/比特。cppreference的描述可能基于常见实现场景，但不能覆盖所有符合标准的实现，因此不能断言相邻位域一定无填充。

• 结论2：位域在存储单元中的放置方式为实现定义
  这个结论正确。C标准未规定位域在存储单元（如字节、字）中的排列方向（高位到低位或低位到高位），具体规则由编译器实现决定。

• 结论3：位域内部的比特位置为实现定义
  这个结论正确。C标准没有统一规定位域对应存储单元中具体哪些比特位，不同编译器可能采用不同的映射方式，属于实现定义行为。

C++中位域的规则与C有相似性，但存在细节差异，核心特点如下：

• 位域允许的类型包括bool、字符类型、有符号/无符号整数类型，部分实现也支持枚举类型
• 相邻位域的填充规则：同类型相邻位域总位数未超过类型存储大小时，实现可选择不填充；否则是否填充由实现定义
• 位域在存储单元中的排列顺序（高位优先或低位优先）为实现定义
• 非静态位域无法获取地址，也不能作为引用的目标
• 位域的整体内存大小计算属于实现定义行为，程序不应依赖固定的位域布局

内容的提问来源于stack exchange，提问作者wimalopaan