在线时间:8:00-16:00
迪恩网络APP
随时随地掌握行业动态
扫描二维码
关注迪恩网络微信公众号
数据对齐的目的,是用空间换时间,提高效率. 对齐本身并不难理解,但是有这么一个古怪的命令#pragma pack()存在,它可以人为指定按几个字节来对齐.有了这个命令,就让情况变得更加复杂了. 网上有很多#pragma pack()命令的使用方法总结,但我不认为这个命令是必要的,应该尽量避免使用. 如果你的代码里使用了#pragma pack(),会导致sizeof()取得预料外的值,导致程序出错.这个错误并不容易发现. #pragma pack()能让你的内存存储变紧凑,但会让sizeof()变得诡异,值得么?不值. (也许写程序传输协议时需要#pragma pack()来防止结构体中出现空洞?很牵强,我不认为这是必须的.) 干脆,抛开#pragma pack()命令,简简单单来理解数据对齐吧. 对齐表明了数据在内存中的存放方式,内存的最小单位是1字节,对齐长度为1说明数据可以存储在任何内存地址.对齐长度为2说明只能存放在能被2整除的内存地址.对齐长度是4只能存放在能被4整除的内存地址.对齐长度只能是2的幂,也就是1,2,4,8,16... 数据对齐只会影响到结构体(或联合),归纳起来有如下两个规则: 1.结构体外的数据类型,它们按照自身大小来对齐.比如char型对齐长度是1,int型对齐长度是4,double型对齐长度是8.(32位系统下一般是这样). 2.结构体本身也有一个对齐长度,这个值是内部成员中自身对齐长度最大的那个值.结构体需按自身对齐长度对齐,换句话说,结构体大小必须是本身对齐长度的整数倍. 根据上面两条,你就会算结构体的大小了. 例1: struct A { char a; long b; char c; double d; }; 分析: sizeof(struct A)=24.a占一个字节,b对齐长度是4,所以a后面补三个字节的洞后再存b.紧跟着是c占一个字节,d的对齐长度是8,所以c后面补7个字节的洞后再存d.共24字节. struct A本身的对齐长度是8. 例2: struct B { char a; char b; long c; double d; }; 分析: sizeof(struct B)=16.a占一个字节,b也占一个字节.c对齐长度是4,所以b后补两个字节洞后存c.d对齐长度是8,前面abc加起来恰好8字节,所以d可以紧跟c存放.共16字节. struct B本身的对齐长度是8. 例3: struct C { char a[123]; int b; float c; double d; }; 分析: sizeof(struct C)=144.a占123个字节,后补一个字节洞后存4字节的b,此时地址仍然能被4整除,所以紧跟着存4字节的c,目前总长度132,补4字节洞后存入8字节的d.总大小144字节. 等等!有疑问! char a[123]的对齐长度是1还是123?是1.数组并非一种数据类型,这个数组的数据类型是char,char的对齐长度是1. 所以,struct C的自身对齐长度是8,144是8的整数倍,没问题. 例4: struct D { struct x { char a; int b; float c; }X; int d; char e; }; 分析: sizeof(struct D)=20.先看struct x.a一个字节,补三个字节洞后跟4字节的b,之后是4字节的c.X的长度是12字节.struct x的自身对齐长度是4.再看struct D,X12字节,后跟4字节的d,之后是1个字节的e.struct D的自身对其长度是4(不是12,想一想吧).所以e后面要补三个字节洞.总长度是12+4+4=20. 例5: struct E { union y { char a; double b; int c; }Y; int d; double e; }; 分析: sizeof(struct E)=24.Y是一个联合,联合的特点是它会占用跟最大的内部成员相同的空间,double最大,所以union y的对齐长度是8.之后是4字节的d.8+4=12为了对齐后面是8字节的e,d后面要补4字节的洞.所以总长度是8+8+8=24. 数据对齐基本就讲完了,描述不是特别清楚,还请见谅. 在网上,看到有人提出了如下的疑问,请试试看能否替他解答一下呢? Struct A { char a,b; char arr[5]; } //这个sizeof(A)=7.。1+1+5 = 7.。对齐单位为1字节。这个可以理解。 Struct B { int a,b; char arr[5]; } //这个sizeof(B) = 16.. 是怎么对齐的? 数组占了8个字节?。为什么? 分析: struct A自身的对齐长度是1,所以sizeof(struct A)=7这很容易理解. struct B呢?自身的对齐长度是4,a+b+arr的长度是4+4+5=13,13不能被4整除(或者说13没有按照自身对其长度对齐),所以要在最后补3个字节的洞变成16.
补充,如果考虑#pragma pack那么规则如下: 1)数据类型自身的对齐值:就是上面交代的基本数据类型的自身对齐值。 另外,在GCC中,#pragma pack的默认值是4,vc中默认值是8.这一点差别会带来天差地别的不同,gcc里任何double类型都是按4字节对齐的. |
2023-10-27
2022-08-15
2022-08-17
2022-09-23
2022-08-13
请发表评论