原创 VC字节对齐全攻略(转)

2010-12-8 23:17 2493 7 9 分类: MCU/ 嵌入式

VC中下面几个结构体大小分别是多少呢


struct MyStruct


{


     double m4;


     char m1;


     int   m3;


};


struct MyStruct {


     char m1;


     double m4;


     int m3;


};


#pragma pack(push)//保存对齐状态


#pragma pack(16)   //设置为16字节对齐


struct test


{


    char m1;


    int m3;


    double m4;    


};


#pragma pack(pop)//恢复对齐状态


如果你的答案不是16,24和16,相信下面的内容对你很有帮助。


1、 sizeof应用在结构上的情况


请看下面的结构:


struct MyStruct


{


double dda1;


char dda;


int type


};


对结构MyStruct采用sizeof会出现什么结果呢?sizeof(MyStruct)为多少呢?也许你


会这样求:


sizeof(MyStruct)=sizeof(double)+sizeof(char)+sizeof(int)=13


但是当在VC中测试上面结构的大小时,你会发现sizeof(MyStruct)为16。你知道为什


么在VC中会得出这样一个结果吗?


其实,这是VC对变量存储的一个特殊处理。为了提高CPU的存储速度,VC对一些变量的


起始地址做了“对齐”处理。在默认情况下,VC规定各成员变量存放的起始地址相对于结


构的起始地址的偏移量必须为该变量的类型所占用的字节数的倍数。下面列出常用类型的


对齐方式(vc6.0,32位系统)。


类型       对齐方式(变量存放的起始地址相对于结构的起始地址的偏移量)


Char       偏移量必须为sizeof(char)即1的倍数


Short      偏移量必须为sizeof(short)即2的倍数


int    偏移量必须为sizeof(int)即4的倍数


float 偏移量必须为sizeof(float)即4的倍数


double 偏移量必须为sizeof(double)即8的倍数


各成员变量在存放的时候根据在结构中出现的顺序依次申请空间,同时按照上面的对


齐方式调整位置,空缺的字节VC会自动填充。同时VC为了确保结构的大小为结构的字节边


界数(即该结构中占用最大空间的类型所占用的字节数)的倍数,所以在为最后一个成员


变量申请空间后,还会根据需要自动填充空缺的字节。


下面用前面的例子来说明VC到底怎么样来存放结构的。


struct MyStruct


{


double dda1;


char dda;


int type


};


为上面的结构分配空间的时候,VC根据成员变量出现的顺序和对齐方式,先为第一个


成员dda1分配空间,其起始地址跟结构的起始地址相同(刚好偏移量0刚好为sizeof(doub


le)的倍数),该成员变量占用sizeof(double)=8个字节;接下来为第二个成员dda分配空


间,这时下一个可以分配的地址对于结构的起始地址的偏移量为8,是sizeof(char)的倍数


,所以把dda存放在偏移量为8的地方满足对齐方式,该成员变量占用 sizeof(char)=1个字


节;接下来为第三个成员type分配空间,这时下一个可以分配的地址对于结构的起始地址


的偏移量为9,不是sizeof (int)=4的倍数,为了满足对齐方式对偏移量的约束问题,VC自


动填充3个字节(这三个字节没有放什么东西),这时下一个可以分配的地址对于结构的起


始地址的偏移量为12,刚好是sizeof(int)=4的倍数,所以把type存放在偏移量为12的地方


,该成员变量占用sizeof(int)=4个字节;这时整个结构的成员变量已经都分配了空间,总


的占用的空间大小为:8+1+3+4=16,刚好为结构的字节边界数(即结构中占用最大空间的


类型所占用的字节数sizeof(double)=8)的倍数,所以没有空缺的字节需要填充。所以整


个结构的大小为:sizeof(MyStruct)=8+1+ 3+4=16,其中有3个字节是VC自动填充的,没有


放任何有意义的东西。


下面再举个例子,交换一下上面的MyStruct的成员变量的位置,使它变成下面的情况



struct MyStruct


{


char dda;


double dda1;


int type


};


这个结构占用的空间为多大呢?在VC6.0环境下,可以得到sizeof(MyStruc)为24。结


合上面提到的分配空间的一些原则,分析下VC怎么样为上面的结构分配空间的。(简单说


明)


struct MyStruct


{


char dda;//偏移量为0,满足对齐方式,dda占用1个字节;


double dda1;//下一个可用的地址的偏移量为1,不是sizeof(double)=8


//的倍数,需要补足7个字节才能使偏移量变为8(满足对齐


//方式),因此VC自动填充7个字节,dda1存放在偏移量为8


//的地址上,它占用8个字节。


int type;//下一个可用的地址的偏移量为16,是sizeof(int)=4的倍


//数,满足int的对齐方式,所以不需要VC自动填充,type存


//放在偏移量为16的地址上,它占用4个字节。


};//所有成员变量都分配了空间,空间总的大小为1+7+8+4=20,不是结构


//的节边界数(即结构中占用最大空间的类型所占用的字节数sizeof


//(double)=8)的倍数,所以需要填充4个字节,以满足结构的大小为


//sizeof(double)=8的倍数。


所以该结构总的大小为:sizeof(MyStruc)为1+7+8+4+4=24。其中总的有7+4=11个字节


是VC自动填充的,没有放任何有意义的东西。


VC对结构的存储的特殊处理确实提高CPU存储变量的速度,但是有时候也带来了一些麻


烦,我们也屏蔽掉变量默认的对齐方式,自己可以设定变量的对齐方式。


VC 中提供了#pragma pack(n)来设定变量以n字节对齐方式。n字节对齐就是说变量存


放的起始地址的偏移量有两种情况:第一、如果n大于等于该变量所占用的字节数,那么偏


移量必须满足默认的对齐方式,第二、如果n小于该变量的类型所占用的字节数,那么偏移


量为n的倍数,不用满足默认的对齐方式。结构的总大小也有个约束条件,分下面两种情况


:如果n大于所有成员变量类型所占用的字节数,那么结构的总大小必须为占用空间最大的


变量占用的空间数的倍数;


否则必须为n的倍数。下面举例说明其用法。


#pragma pack(push) //保存对齐状态


#pragma pack(4)//设定为4字节对齐


struct test


{


char m1;


double m4;


int m3;


};


#pragma pack(pop)//恢复对齐状态


以上结构的大小为16,下面分析其存储情况,首先为m1分配空间,其偏移量为0,满足


我们自己设定的对齐方式(4字节对齐),m1占用1个字节。接着开始为 m4分配空间,这时


其偏移量为1,需要补足3个字节,这样使偏移量满足为n=4的倍数(因为sizeof(double)大


于n),m4占用8个字节。接着为m3分配空间,这时其偏移量为12,满足为4的倍数,m3占用


4个字节。这时已经为所有成员变量分配了空间,共分配了16个字节,满足为n的倍数。如


果把上面的#pragma pack(4)改为#pragma pack(16),那么我们可以得到结构的大小为24。


(请读者自己分析)


2、 sizeof用法总结


在VC中,sizeof有着许多的用法,而且很容易引起一些错误。下面根据sizeof后面的


参数对sizeof的用法做个总结。


A.参数为数据类型或者为一般变量。例如sizeof(int),sizeof(long)等等。这种情


况要注意的是不同系统系统或者不同编译器得到的结果可能是不同的。例如int类型在16位


系统中占2个字节,在32位系统中占4个字节。


B. 参数为数组或指针。下面举例说明.


int a[50]; //sizeof(a)=4*50=200; 求数组所占的空间大小


int *a=new int[50];// sizeof(a)=4; a为一个指针,sizeof(a)是求指针


//的大小,在32位系统中,当然是占4个字节。


C.参数为结构或类。Sizeof应用在类和结构的处理情况是相同的。但有两点需要注


意,第一、结构或者类中的静态成员不对结构或者类的大小产生影响,因为静态变量的存


储位置与结构或者类的实例地址无关。


第二、没有成员变量的结构或类的大小为1,因为必须保证结构或类的每一


个实例在内存中都有唯一的地址。


下面举例说明,


Class Test{int a;static double c};//sizeof(Test)=4.


Test *s;//sizeof(s)=4,s为一个指针。


Class test1{ };//sizeof(test1)=1;


D. 参数为其他。下面举例说明。


int func(char s[5]);


{


cout< //数的参数在传递的时候系统处理为一个指针,所


//以sizeof(s)实际上为求指针的大小。


return 1;


}


sizeof(func(“1234”))=4//因为func的返回类型为int,所以相当于


//求sizeof(int).


以上为sizeof的基本用法,在实际的使用中要注意分析VC的分配变量的分配策略,这


样的话可以避免一些错误

PARTNER CONTENT

文章评论2条评论)

登录后参与讨论

wangxinfeng6666_749290079 2010-12-8 23:26

假定你工作在32位机上, 假定你分配的变量的起始地址为0x00000001H,是一个占四字节空间的整形量。 这个地址就不是按照四字节地址对齐的,处理器在访问这个变量是,由于处理器的数据总线位宽是32位,所以处理器必须进行两次内存访问操作,第一次从地址0x00000000h- 0x00000003读入一次,第二次从0x00000004-0x00000007读入一次,然后再将0x00000001H-0x00000003和 0x00000004H的内容进行组合,才得到了你想要获得的数据,这样会造成性能的下降。 当你使用编译器开关进行4字节对齐时,只需要一次访内操作,就可以读入一个整型数据。

wangxinfeng6666_749290079 2010-12-8 23:25

CPU 的访问粒度不仅仅是大小限制,地址上也有限制。也就是说,CPU 只能访问对齐地址上的固定长度的数据。 以四字节对齐为例,就是只能访问 0x0 - 0x3,0x4 - 0x7, 0x8 - 0xc 这样的(闭)区间,不能跨区间访问。 如果真正需要访问的数据并没有占据那个区间的全部字节范围,还有另外的信号线来指出具体操作哪几个字节,类似于掩码的作用。好像也有些架构干脆就不允许这种部分访问,强制要求按粒度访问。 如果一个数据跨越了两个这样的区间,那么就只能将这个数据的操作拆分成两部分,分别执行,效率当然就低了。 解决这个问题的一个办法就是强制数据对齐,现在假设一个 16 字节对齐的系统(稍微新一点的 x86 架构应该都是 16 字节对齐): 显然,一个字节无论如何不会跨越两个对齐区间; 当一个 2 字节的数据放在奇数地址上,就有可能跨越两个区间,但放在偶数地址上(即 2 字节对齐)就肯定不会; 同样,只要 4 字节数据放在 4 字节地址上,8 字节数据放在 8 字节地址上,一定不会跨越两个区间。 这就是比较常见的字节对齐策略,将长度小于一个对齐单位的数据对齐到不小于它的长度的首个二的幂次。(晕,这句话好绕……)
相关推荐阅读
wangxinfeng6666_749290079 2014-04-15 18:43
lianjie
...
wangxinfeng6666_749290079 2014-02-24 00:24
Linux设备模型(热插拔、mdev 与 firmware)
转自:http://blog.chinaunix.net/space.php?uid=20543672&do=blog&cuid=460882 热插拔有 2 个不同角度来看待热...
wangxinfeng6666_749290079 2013-12-17 20:06
2012.8.15
今天测试了自己做的标签的天线性能,感觉效果还不错。相信在实际的应用中也会有比较好的效果.下来的事情就是激励器代码的不断优化,标签代码的不断优化.通过这两者的不断优化来成功地运作.     ...
wangxinfeng6666_749290079 2013-12-17 20:05
2012.8.4小记
七月忙的狗血喷头。双频的产品终于有了点样子,后续就是一些结构模具上的微调. 解决的问题其实都很简单,从调试激励器、2510、2530标签,时序分析、波形分析到一个一个Bug的去除.成长还算大....
wangxinfeng6666_749290079 2013-12-08 21:48
find与grep命令
在linux下面工作,有些命令能够大大提高效率。本文就向大家介绍find、grep命令,他哥俩可以算是必会的linux命令,我几乎每天都要用到他们。本文结构如下: find命令 find命令...
wangxinfeng6666_749290079 2013-08-05 13:56
内核,initrd,ramdisk,关系,用途
转自:http://www.lupaworld.com/forum.php?mod=viewthread&tid=61425 原名:内核与ramdisk到底是什么关系? ...
EE直播间
更多
我要评论
2
7
关闭 站长推荐上一条 /3 下一条