阅读C++ Concurrency In Action 第5章遇到这个问题,记录下来,方便以后回头看
主要涉及 位域和字节对齐问题,位域一般不常见,属于C/C++高级特性
位域指的是针对struct成员指定位大小,位域的作用主要是节省内存资源,使数据结构更紧凑
原书这样描述:
无论什么类型,对象均被存储于一个或多个内存位置中,每个这样的内存位置要么是一个标量类型的对象(或子对象),比如unsigned short 或 my_class*,要么是相邻位域的序列。
如果使用位域,有非常重要的一点必须注意:虽然相邻的位域是不同的对象,但他们仍然算作相同的内存位置。
上图所示的结构体 struct my_data,整个struct是一个对象,它由几个子对象组成,各子对象对应每个数据成员。
位域bf1和bf2共享一个内存位置,而std::string对象在内部由几个内存位置组成,但是其余的每个成员都有自己的内存位置。
注意零长度的位域bf3是如何将bf4分割进它自己的内存位置的。
开始对上述标红的位置不是很理解,
查阅资料了解,位域存储具有如下规则:
1、如果相邻位域字段的类型相同,且其位宽之和小于这个类型的sizeof大小,则后面的字段将紧邻前一个字段存储,知道不能容纳为止。
2、如果相邻位域字段的类型相同,但其位宽之和大雨类型的sizeof大小,则后面的字段将从新的存储单元开始,其偏移量为其类型大小整数倍。
3、如果相邻的位域字段的类型不同,则各编译器的具体实现有差异,VC6采取不压缩方式,GCC和Dev-C++采取压缩方式。
4、如果位域之间穿插着非位域类型,则不进行压缩。
5、整个结构体的总大小为最宽基本类型成员大小的整数倍
6、取地址操作符&不能应用在位域字段上
7、位域字段不能是类的静态成员
8、位域字段在内存中的位置是按照从低位向高位的顺序放置的
9、当要把某个成员说明成位域时,其类型只能是int,unsigned int与signed int三者之一
根据以上规则,分析该struct占用字节书,sizeof(struct my_data) = 48,
分解后应该如下所示:
struct my_data {
int i; //对齐后占用8字节, 实际使用4字节
//空行表示需要开辟新的8字节内存空间
double d; //占用8字节
unsigned bf1:10; //对齐后占用4字节,实际使用10 bit
int bf2:25; //10+25 > 32,因此占用新的4字节,对齐后占用4字节,实际使用25 bit
int bf3:0; //<span style="color: rgb(0, 128, 0); line-height: 1.5; font-family: "Courier New"; white-space: pre-wrap;">空位域,自动置0</span>
int bf4:9; //25+9 > 32,因此需要占用新的4字节,对齐后占用4字节,实际占用9bit
int i2; //占用4字节
char c1, c2; //对齐占用8字节,实际使用2字节
std::string s; //占用8字节
};
其中bf1和bf2类型不同,其实是经过压缩存储的,即他们可以紧邻存储,
经过测试,将int bf2:25 改成 int bf2:22,则sizeof(struct my_data) = 40,说明bf2是可以紧邻bf1存储的,说明是压缩存储的。
参考资料
1、http://www.cnblogs.com/hedaihong/p/4348535.html
2、c++并发编程实战
3、http://www.cnblogs.com/pure/archive/2013/04/22/3034818.html