快速搞定字节对齐问题

  1. 何为字节对齐?

    现代计算机中内存空间都是按照byte划分的,从理论上讲似乎对任何类型的变量的访问可以从任何地址开始,但实际情况是在访问特定类型变量的时候经常在特定的内存地址访问,这就需要各种类型数据按照一定的规则在空间上排列,而不是顺序的一个接一个的排放,这就是对齐。
    
    
  2. 字节对齐的作用

     对齐的作用和原因:各个硬件平台对存储空间的处理上有很大的不同。一些平台对某些特定类型的数据只能从某些特定地址开始存取。比如有些架构的CPU在访问 一个没有进行对齐的变量的时候会发生错误,那么在这种架构下编程必须保证字节对齐.其他平台可能没有这种情况,但是最常见的是如果不按照适合其平台要求对数据存放进行对齐,会在存取效率上带来损失。比如有些平台每次读都是从偶地址开始,如果一个int型(假设为32位系统)如果存放在偶地址开始的地方,那么一个读周期就可以读出这32bit,而如果存放在奇地址开始的地方,就需要2个读周期,并对两次读出的结果的高低字节进行拼凑才能得到该32bit数据。显然在读取效率上下降很多。
    字节对齐的初衷还是处于效率的考虑。
    
    
  3. 举例说明

  
  
  • 举例一
    struct A{
         double a1;
         char a2;
         int a3;
    };
    如果没有进行字节对齐操作的话,sizeof(A)的大小会是sizeof(double)+sizeof(char)+sizeof(int)即8+1+4=13,即struct A占13个字节,但是这里编译器会对其进行字节对齐操作,以便保证读取的效率。(注:有些机器如果不进行字节对齐,可能会导致错误)。下面看看编译器到底是如何进行字节对齐的。
    字节对齐遵循的原则:
    (1)在默认情况下,vc规定各成员变量存放的起始地址的偏移量必须是该类型所占用的字节的整数倍。
    即如下:
    类型    对齐方式(变量存放的起始地址相对于结构的起始地址的偏移量) 
    Char   偏移量必须为sizeof(char)即1的倍数 
    int       偏移量必须为sizeof(int)即4的倍数 
    float    偏移量必须为sizeof(float)即4的倍数 
    double 偏移量必须为sizeof(double)即8的倍数 
    Short   偏移量必须为sizeof(short)即2的倍数 
    (2) 即结构体中占用最大空间的类型所占用的字节数sizeof(type))的倍数
    
    下面具体分析struct A的字节对齐情况。
    
    
    (1)先为第一个成员a1分配空间,其起始地址跟结构的起始地址相同(刚好偏移量0刚好为sizeof(double)的倍数),该成员变量占用sizeof(double)=8个字节。
    (2)接下来为第二个成员a2分配空间,这时下一个可以分配的地址对于结构的起始地址的偏移量为8,是sizeof(char)的倍数,所以把a2存放在偏移量为8的地方满足对齐方式,该成员变量占用 sizeof(char)=1个字节。
    (3)接下来为第三个成员a3分配空间,这时下一个可以分配的地址对于结构的起始地址的偏移量为9,不是sizeof (int)=4的倍数,为了满足对齐方式对偏移量的约束问题,VC自动填充3个字节(这三个字节没有放什么东西),这时下一个可以分配的地址对于结构的起始地址的偏移量为12,刚好是sizeof(int)=4的倍数,所以把a3存放在偏移量为12的地方,该成员变量占用sizeof(int)=4个字节
    (4)这时整个结构的成员变量已经都分配了空间,总的占用的空间大小为:8+1+3+4=16。
    (5)查看是否满足原则二。刚好为结构的字节边界数(即结构体中占用最大空间的类型所占用的字节数sizeof(double)=8)的倍数,所以没有空缺的字节需要填充。所以整个结构的大小为:sizeof(A)=8+1+ 3+4=16,其中有3个字节是VC自动填充的,没有放任何有意义的东西。 
    
    内存示意图如下:
    
    

  • 举例二
    struct A{
         char a1;
         double a2;
         int a3;
    };
    根据上面的方法,想必大家已经会算出sizeof(A)字节对齐后的代码了。
    (1)先为第一个成员a1分配空间,其起始地址跟结构的起始地址相同(刚好偏移量0刚好为sizeof(char)的倍数),该成员变量占用sizeof(char)=1个字节。
    
    (2)接下来为第二个成员a2分配空间,这时下一个可以分配的地址对于结构的起始地址的偏移量为1,不是sizeof(double)的倍数,所以把a2存放在偏移量为1的地方不满足对齐方式,
    需要进行字节补齐,补齐7个字节,该成员变量占用 sizeof(double)=8个字节。
    
    (3)接下来为第三个成员a3分配空间,这时下一个可以分配的地址对于结构的起始地址的偏移量为16,是sizeof (int)=4的倍数,所以把a3存放在偏移量为16的地方,该成员变量占用sizeof(int)=4个字节。
    
    (4)这时整个结构的成员变量已经都分配了空间,总的占用的空间大小为:1+7+8+4=20。
    (5)查看是否满足原则二。刚好结构体的字节边界数不是即结构体中占用最大空间的类型所占用的字节数sizeof(double)=8的倍数,所以需要字节需要填充。所以整个结构的大小为:
    sizeof(A)=1+7+8+4+4=24,其中有7+4,这11个字节是VC自动填充的,没有放任何有意义的东西。 
    
    相信写到这里大家已经基本明白了字节对齐的原理,记得两个原则,即可以准确的计算出字节对齐的原理了。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值