C++ 位字段中整数类型大小是否有影响

对于 unsigned char a : 3; 和 std::uint64_t b : 3;，二者的数值行为相同，但存储布局、对齐、填充和相邻位域打包方式通常不同。因此，即使位域宽度没有超过声明类型的宽度，类型选择也不是完全没有影响。

两个位域都是无符号 3 位整数，可表示范围都是：

• 0 到 7

超出范围的值会按 2^3 = 8 取模：

a = 8; // 结果为 0
b = 8; // 结果为 0

a = 7; // 结果为 7
b = 7; // 结果为 7

在普通表达式中，3 位位域会进行整数提升。因为 int 可以表示所有 3 位值，所以两者都会提升为 int：

auto x = a; // x 的类型是 int
auto y = b; // y 的类型也是 int

b 虽然声明为 64 位类型，但读取位域时得到的仍是一个 3 位无符号值，而不是完整的 64 位值。

考虑：

struct A {
    unsigned char a : 3;
};

struct B {
    std::uint64_t b : 3;
};

在常见平台 ABI 上，通常会得到：

• sizeof(A) 为 1，alignof(A) 为 1
• sizeof(B) 为 8，alignof(B) 为 8

也就是说，b 虽然只使用 3 位，但通常仍会占用一个 64 位分配单元，其余位是填充位。

不过，C++ 标准规定：

位域在类对象中的分配和对齐由实现定义。

所以上述大小是常见 ABI 的结果，不是跨平台的语言保证。

例如：

struct S {
    unsigned char x : 3;
    std::uint64_t y : 3;
};

很多 ABI 会把 x 放在第一个字节中，而把 y 放在一个新的、8 字节对齐的存储单元中，因此可能产生大量填充。

相比之下：

struct S2 {
    unsigned char x : 3;
    unsigned char y : 3;
};

两个位域通常可以放入同一个字节，sizeof(S2) 通常为 1。

不同声明类型的位域是否能共用存储单元，取决于具体 ABI 和打包规则。

• 类型推导和类型特征可看到声明类型：

  decltype(a) // unsigned char
  decltype(b) // std::uint64_t，即某个 64 位无符号整数类型的别名
  

• 生成的访问指令可能不同：编译器可能使用字节访问，也可能使用 64 位访问后再进行掩码操作。

• 伪共享和性能可能不同：较大的分配单元可能使多个位域或相邻成员位于同一缓存行。

• 二进制兼容性可能改变：修改位域的声明类型可能改变类的大小、对齐和成员偏移，因此不能在已定义 ABI 的结构中随意替换。

只要满足以下条件：

• 有符号性相同；
• 位域宽度相同；
• 只关心数值和普通算术运算；

那么两个位域的行为可以认为相同。

但如果涉及：

• sizeof 和 alignof；
• 成员偏移和填充；
• 相邻位域打包；
• ABI、二进制兼容或内存映射硬件；
• decltype、类型特征等泛型代码；

声明类型就会产生实际影响。

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