在c2011 iso文档中,位域与struct、union是一起定义的:
Structure and union specifiers
Syntax
struct-or-union-specifier:
struct-or-union identifier opt { struct-declaration-list }
struct-or-union identifier
struct-or-union:
struct
union
struct-declaration-list:
struct-declaration
struct-declaration-list struct-declaration
struct-declaration:
specifier-qualifier-list struct-declarator-list opt ;
static_assert-declaration
specifier-qualifier-list:
type-specifier specifier-qualifier-list opt
type-qualifier specifier-qualifier-list opt
struct-declarator-list:
struct-declarator
struct-declarator-list , struct-declarator
struct-declarator:
declarator
declarator opt : constant-expression
以上最后定义的就是位域,其中opt表示类型declarator可选。
unsigned int:0; 无名0bit表示开始新的unsigned int。
位域不必在字节的起点开始,故不能取位域的地址。
不可能有指向位域的指针。
不能对位域使用 sizeof 和 _Alignas。
_Bool x:1;取值范围0、1,size只能为1
int x:3; 最好改为signed int x:3;定义,明确取值范围为-4到3.
int 、 signed int 、 unsigned int 及 _Bool之外的类型未定义,编译器实现决定。
原子类型修饰未定义,编译器决定。
位域是否可以越过类型边界未定义,编译器决定。
位域打包顺序未定义,编译器决定。
C++ 编程语言中,位域的宽度能超出底层类型,并且 int 类型的位域始终为有符号。
struct-or-union-specifier:结构体或联合体说明符
struct-or-union:结构体或联合体
struct-declaration-list:结构体声明列表
struct-declaration:结构体声明
specifier-qualifier-list:说明符限定符列表
type-specifier:类型说明符
type-qualifier:类型限定符
struct-declarator-list:结构体声明符列表
struct-declarator:结构体声明符
declarator:声明符
constant-expression:常量表达式
以上语法定义可能是EBNF的一种变体。
iso-14977-EBNF.pdf