题目如下(来源于牛客网):
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
};