当前位置 博文首页 > 文章内容

    结构体对齐的规则详解及C++代码验证

    作者:shunshunshun18 栏目:未分类 时间:2021-08-17 14:45:36

    本站于2023年9月4日。收到“大连君*****咨询有限公司”通知
    说我们IIS7站长博客,有一篇博文用了他们的图片。
    要求我们给他们一张图片6000元。要不然法院告我们

    为避免不必要的麻烦,IIS7站长博客,全站内容图片下架、并积极应诉
    博文内容全部不再显示,请需要相关资讯的站长朋友到必应搜索。谢谢!

    另祝:版权碰瓷诈骗团伙,早日弃暗投明。

    相关新闻:借版权之名、行诈骗之实,周某因犯诈骗罪被判处有期徒刑十一年六个月

    叹!百花齐放的时代,渐行渐远!



    基本概念

    CPU一次能读取多少个字节的数据主要是看数据总线是多少位的,16位CPU一次能读取2个字节,32位CPU一次能读取4个字节,64位CPU一次能读取8个字节。并且不能跨内存区间访问,这句话的意思可以理解为,如果CPU是32位的话,那么可以将整个内存区间每4个字节分为一块(BLOCK),每次读取一个BLOCK的数据。

    那么对于下面这个结构体:

    struct st {
        char c;
        int i;
    };
    

    如果不进行对齐操作,char 的地址范围0x00000000,int的地址范围为0x00000001----0x00000004,int分布在两个不同的BLOCK上,因此要读取int需要两次操作;如果进行4字节对齐,那么int的地址范围为0x00000004----0x00000007,处在一个BLOCK上,因此只需一次读取操作即可。缺点也显而易见,多占用了3个字节。这也是典型的一种空间换时间的方法吧。

    结构体对齐的规则

    结构体对齐需要满足以下三条规则,其中系统对齐模数在64位机器上默认为8字节,32位机器上默认为4字节。通过预处理指令#pargma pack(N)可以修改系统模数为N个字节。

    1、以结构体第一个元素的地址为起始地址,亦即结构体的起始地址。由上可知,第一个元素的偏移量为0;

    2、结构体元素对齐原则:结构体成员的对齐模数为类型大小与系统对齐模数的较小者;结构体成员的偏移量(填充)为对齐模数的整数倍。

    3、结构体大小对齐原则:结构体的对齐模数为结构体最大元素与系统对齐模数的较小者;结构体的大小(填充)为结构体对齐模数的整数倍。

    程序验证

    测试环境为64位Windows ,VS2019,定义结构体st1,包含3个元素char,int,double,定义系统对齐模数为4个字节。

    #include <iostream>
    
    #pragma pack(4)
    
    using Tsize = unsigned long long;
    using namespace std;
    
    struct st1 {
        char c;
        int i;
        double db;
        Tsize ch_offset() {
            return Tsize((Tsize)&this->c - (Tsize)this);
        }
        Tsize int_offset() {
            return Tsize((Tsize)&this->i - (Tsize)this);
        }
        Tsize double_offset() {
            return Tsize((Tsize)&this->db - (Tsize)this);
        }
    };
    
    int main() {
        cout << "st1结构体大小" << sizeof(st1) << endl;
        cout << "char 偏移量=" << st1().ch_offset() << endl;
        cout << "int偏移量=" << st1().int_offset() << endl;
        cout << "double偏移量=" << st1().double_offset() << endl;
        return 0;
    }
    

    首先我们按照对齐规则来进行分析。第一个元素为char,类型大小为1个字节,对齐模数min(1,4)=1,偏移量为0是对齐模数的整数倍,无需填充(从这里我们可以看到,第一个字节偏移量始终为0,是不需要填充的),下一个元素的偏移从1开始;第二个元素为int,类型大小4个字节,对齐模数为4个字节,不填充时偏移量为1,不是4的整数倍,因此这里需要填充3个字节,使得int的偏移量为4,且下一个元素偏移从8开始;第三个元素是double,类型大小为8个字节,对齐模数为4,偏移量从8开始,是4的整数倍,因此无需填充,占用8个字节,因此结构体的大小为16个字节。运行程序输出:

    在这里插入图片描述

    将系统对齐模数修改为1 【#pargma pack(1)】,这样的话,任何情况下都无需填充(不足一个字节的类型视为一个字节),结构体的大小即为结构体元素大小之和。运行程序输出:

    在这里插入图片描述

    将系统对齐模数修改为8 【#pargma pack(8)】,这样的话,任何情况下都无需填充(不足一个字节的类型视为一个字节),结构体的大小即为结构体元素大小之和。运行程序输出:

    在这里插入图片描述

    Emmm,好像和系统对齐模数为4时没什么变化。那我们将int 和 double的顺序换一下呢?

    #include <iostream>
    
    #pragma pack(8)
    
    using Tsize = unsigned long long;
    using namespace std;
    
    struct st1 {
        char c;
        double db;
        int i;
        Tsize ch_offset() {
            return Tsize((Tsize)&this->c - (Tsize)this);
        }
        Tsize int_offset() {
            return Tsize((Tsize)&this->i - (Tsize)this);
        }
        Tsize double_offset() {
            return Tsize((Tsize)&this->db - (Tsize)this);
        }
    };
    
    int main() {
        cout << "st1结构体大小" << sizeof(st1) << endl;
        cout << "char 偏移量=" << st1().ch_offset() << endl;
        cout << "double偏移量=" << st1().double_offset() << endl;
        cout << "int偏移量=" << st1().int_offset() << endl;
        return 0;
    }
    

    在这里插入图片描述

    顺序调了下,结构体就比原来大了8个字节!!!从中我们可以看出,将结构体元素从小到大排列,可以最大程度节省空间。

    总结

    本篇文章就到这里了,希望能给你带来帮助,也希望您能够多多关注IIS7站长之家博文的更多内容!