c++ - struct声明中的冒号是什么意思，如:1, :7, :16,或:32?

Question

以下 C++ 代码是什么意思？

unsigned char a : 1; 
unsigned char b : 7;

我猜它创建了两个字符 a 和 b，它们都应该是一个字节长，但我不知道“:1”和“:7”部分的作用。

Answer 1

1 和 7 是位大小，用于限制值的范围。它们通常出现在结构和 union 中。例如，在某些系统上(取决于 char 宽度和打包规则等)，代码:

typedef struct {
    unsigned char a : 1;
    unsigned char b : 7;
} tOneAndSevenBits;

创建一个 8 位值，a 为 1 位，b 为 7 位。

通常在 C 中用于访问“压缩”值，例如 4 位 nybble，它可能包含在 8 位字符的上半部分:

typedef struct {
    unsigned char leftFour  : 4;
    unsigned char rightFour : 4;
} tTwoNybbles;

对于我们中间的语言律师来说，C++11 标准的 9.6 部分详细解释了这一点，稍微转述一下:

---

位域 [class.bit]

表单的成员声明符

     标识符_opt   属性说明符_opt   :   常量表达式

指定一个位域；它的长度由冒号从位域名称开始。可选的 attribute-specifier 属于被声明的实体。位域属性不是类成员类型的一部分。

constant-expression 应该是一个整数常量表达式，其值大于或等于零。整数常量表达式的值可能大于位域类型的对象表示中的位数；在这种情况下，额外的位用作填充位，不参与位域的值表示。

类对象内的位域分配是实现定义的。位域的对齐是实现定义的。位域被打包到一些可寻址的分配单元中。

注意: 位域在某些机器上跨越分配单元，而在其他机器上则不跨越。位域在某些机器上从右到左分配，在其他机器上从左到右分配。 - 结束说明