关于结构体的内存对齐

作者:冯利美,华清远见嵌入式培训中心讲师。

内存是以字节为单位编号,但一些硬件平台对某些特定类型的数据只能从某些特定地址开始,比如从偶地址开始。若不按照适合其平台的要求对数据存放进行对齐,会影响到效率。因此,在内存中,各类型的数据是按照一定的规则在内存中存放的,这就是本文要研究的对齐问题。

本文以gcc version 4.4.5,32位x86环境为例,来分析结构体中各成员如何进行对齐。

我们要注意两个方面:1)结构体成员变量对存放的起始地址有要求。2)结构体变量占用的总长度也有要求。

结构体对齐规则如下:

数据成员最终的存放地址:对齐在自身类型长度和pragma pack(value)指定值中较小的值上。

结构体的总长度:对齐在成员类型长度最大的值和pragma pack(value)指定值中较小的值上。

所谓“对齐在N上”,指定是“存放起始地址%N=0”

看下面几个例子:

例1:

分析:此程序的测试环境,相当于pragma pack(4),

a 成员的起始地址是0xbfe8ff18,

char类型长度1,pragma pack(4),取小的1, 0xbfe8ff18%1=0,符合规则。

b成员,short类型长度2,pragma pack(4),取小的2,若存在地址0xbfe8ff19,则0xbfe8ff19%2余数为1,不是0,所以只能空出一个字节,在0xbfe8ff1a地址存放。

c成员,int类型长度4,pragma pack(4),取小的4,若存在地址0xbfe8ff1a+2,即0xbfe8ff1c处,则0xbfe8ff1c%4余数为0,符合规则。

这样整个结构体,占用了内存的0xbfe8ff18~0xbfe8ff1f, 共8个字节。结构体的总长度是要求“对齐在成员类型长度最大的值和pragma pack(value)指定值中较小的值上。”这里是要求能被4除尽,8符合要求,所以sizeof(struct F)是8.

例2:

a成员的起始地址是0xbfe8ff18,

char类型长度1,pragma pack(4),取小的1, 0xbfbb41a8%1=0。

b成员,int类型长度4,pragma pack(2),取小的2,若存在地址0xbfbb41a9,则0xbfbb41a9%2余数为1,不是0,所以只能空出一个字节,在0xbfbb41aa地址存放。

c成员,short类型长度2,pragma pack(2),取小的2,若存在地址0xbfbb41aa +4,即0xbfbb41ae处,则0xbfbb41ae %4余数为0,符合规则。这样整个结构体,占用了内存的0xbfbb41a8~0xbfbb41af, 共8个字节。结构体的总长度是要求“对齐在成员类型长度最大的值和pragma pack(value)指定值中较小的值上。”这里是要求能被2除尽,8符合要求,所以sizeof(struct F)是8.

例3:

具体的分析,不再重复,读者可以和上面的例子做个比较,有了pragma pack(4)后,结构体的总长度,为12,不再是8。

 

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值