位域

来自cppreference.com
< cpp‎ | language

声明带以位表示的准确大小的类数据成员。相邻的位域成员可以打包成共享,和跨过单个字节。

位域声明是使用下列声明器的类数据成员声明

identifier(可选) attr(可选) : size (1)
identifier(可选) attr(可选) : size brace-or-equal-initializer (2) (C++20 起)

位域的类型声明语法decl-specifier-seq 所引入.

attr(C++11) - 任何数量属性的可选序列
identifier - 被声明的位域名。名称是可选的:无名位域引入指定数量的填充位
size - 值大于或等于零的整数常量表达式。大于零时,这是位域将占有的位数。值零仅对无名位域允许并拥有与特殊含义:它指定类定义中的下个位域将始于分配单元的边界。
brace-or-equal-initializer - 此位域所使用的默认成员初始化器

目录

[编辑] 解释

位域中的位数设置其所能保有的值的极限:

#include <iostream>
struct S {
 // 三位无符号位域,
 // 允许值为 0...7
 unsigned int b : 3;
};
int main()
{
    S s = {7};
    ++s.b; // 无符号上溢(保证回卷)
    std::cout << s.b << '\n'; // 输出: 0
}


多个相邻位域通常打包在一起(尽管此行为是实现定义的):

#include <iostream>
struct S {
    // 将通常占用 2 字节:
    // 3 位: b1 的值
    // 2 位:不使用
    // 6 位: b2 的值
    // 2 位: b3 的值
    // 3 位:不使用
    unsigned char b1 : 3, : 2, b2 : 6, b3 : 2;
};
int main()
{
    std::cout << sizeof(S) << '\n'; // 通常打印 2
}


特殊的零大小无名位域能强制打破填充。它指定下个位域始于其分配单元的开始:

#include <iostream>
struct S {
    // 将通常占用 2 字节:
    // 3 位: b1 的值
    // 5 位:不使用
    // 6 位: b2 的值
    // 2 位: b3 的值
    unsigned char b1 : 3;
    unsigned char :0; // 开始新字节
    unsigned char b2 : 6;
    unsigned char b3 : 2;
};
int main()
{
    std::cout << sizeof(S) << '\n'; // 通常打印 2
}


若位域的指定大小大于其类型的大小,则值为类型所限制: std::uint8_t b : 1000; 仍会保有 0 与 255 间的值。额外位成为不使用的填充位。

因为位域不必始于一个字节的开始,故不能取位域的地址。指向位域的指针和非 const 引用是不可行的。从位域初始化 const 引用时,临时量被创建(其类型是位域的类型),并以位域的值复制初始化,而引用绑定到该临时量。

位域的类型只能是整数或枚举类型。

位域不能是静态数据成员

没有位域纯右值:左值到右值转换始终生成位域底层类型的对象。

位域无默认成员初始化器int b : 1 = 0;int b : 1 {0} 为病态。 (C++20 前)

在位域大小与默认初始化器有歧义的情况下,选择组成合法大小的最长记号序列:

int a;
  const int b = 0;
  struct S {
    // 简单情况
    int x1 : 8 = 42;               // OK ; "= 42" 是 brace-or-equal-initializer
    int x2 : 8 { 42 };             // OK ; "{ 42 }" 是 brace-or-equal-initializer
    // 歧义
    int y1 : true ? 8 : a = 42;    // OK ; brace-or-equal-initializer 不存在
    int y2 : true ? 8 : b = 42;    // 错误:不能赋值给 const int
    int y3 : (true ? 8 : b) = 42;  // OK ; "= 42" 是 brace-or-equal-initializer
    int z : 1 || new int { 0 };    // OK ; brace-or-equal-initializer 不存在
  };
(C++20 起)

[编辑] 注意

位域的下列属性为实现定义

  • 以范围外的值赋值或初始化有符号位域,或从自增有符号位域越过其范围产生的值。
  • 任何关于类对象中位域的实际分配细节
  • 例如,在某些平台上,位域不跨过字节,其他平台上会跨过
  • 还有,在某些平台上,位域从左到右打包,其他为从右到左
  • 非显式为 signedunsignedcharshortintlonglong long 位域是有符号还是无符号。
  • 例如, int b:3; 可拥有值范围 0..7-4..3
(C++14 前)

在 C 编程语言中,位域的宽度不能超过底层类型的宽度。

[编辑] 引用

  • C++11 standard (ISO/IEC 14882:2011):
  • 9.6 Bit-fields [class.bit]
  • C++98 standard (ISO/IEC 14882:1998):
  • 9.6 Bit-fields [class.bit]

[编辑] 参阅

位域C 文档
实现常量长度的位数组
(类) [编辑]