在c2011 iso文档中，位域与struct、union是一起定义的：

Structure and union specifiers
Syntaxstruct-or-union-specifier:struct-or-union identifier opt { struct-declaration-list }struct-or-union identifierstruct-or-union:structunionstruct-declaration-list:struct-declarationstruct-declaration-list struct-declarationstruct-declaration:specifier-qualifier-list struct-declarator-list opt ;static_assert-declarationspecifier-qualifier-list:type-specifier specifier-qualifier-list opttype-qualifier specifier-qualifier-list optstruct-declarator-list:struct-declaratorstruct-declarator-list , struct-declaratorstruct-declarator:declaratordeclarator 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