C语言基础语法复习08-位域bit-fields

在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