您的位置:首页 > 编程语言 > C语言/C++

C++ 字节对齐分析,struct成员指定位大小

2016-10-10 17:48 483 查看
阅读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
内容来自用户分享和网络整理,不保证内容的准确性,如有侵权内容,可联系管理员处理 点击这里给我发消息
标签:  位域 字节对齐