由一道题引出的C++位域问题

题目如下（来源于牛客网）：

struct s
{
    int x: 3;
    int y: 4;
    int z: 5;
    double a;
}

求sizeof(s)．（答案为16字节）

题目理解

首先说明题目中定义x，y，z的语法

结构体成员x，y，z，是C++语法中int类型的位域．其声明形式为在成员名字之后紧跟一个冒号以及一个常量表达式，该表达式用于指定成员所占的二进制位数．如果可能的话，在类的内部连续定义的位域压缩在同一整数的相邻位，从而提供存储压缩（C++ primer第五版P756）．

关于本题

经测试（Debian Linux 3.16-amd64内核），int所占字节数为4，double所占字节数为8，s所占的字节数确实为16．一个int完全可以存储x，y，z三个变量，为什么不是4＋8＝12？
这就涉及到类中成员变量存储时数据对齐的问题．64位Linux下，任何K字节基本对象你的地址都必须是K的整数倍．且结构体的整体大小必须可被本结构内的最宽类型整除．
所以x，y，z总共占一个int的大小（4字节），成员a的起始地址为4，不符合第一条规定，故需要填充4个空白字节，a的起始地址为4+4=8，所以结构体s的大小为8+8=16，符合第二条规定．

补充（此部分系转载，原文传送门）

1.一个位域必须存储在同一个字节中，不能跨两个字节。如一个字节所剩空间不够存放另一位域时，应从下一单元起存放该位域。也可以有意使某位域从下一单元开始。例如：
struct bs
{
unsigned a:4
unsigned b:5 /从下一单元开始存放/
unsigned c:4
};
2. 由于位域不允许跨两个字节，因此位域的长度不能大于一个字节的长度。
3. 位域可以无位域名，这时它只用来作填充或调整位置。无名的位域是不能使用的。例如：
struct k
{
int a:1
int :2 /无位域名，该2位不能使用/
int b:3
int c:2
};