【C语言】浅析结构体内存对齐

1、结构体内存对齐

1.1 结构体内存对齐是用空间换取时间的做法

why：

首先结构体中包含不同类型（int,char,int ,int [ ],int [],char (*p) []等等）的数据，而这些数据的大小是完全不同的。

如上图所示：

在不使用内存对齐规则时，可以看出节省了空间，但当处理器要读取数据时会比较麻烦，需要对内存访问两次（即要访问int型数据时，需先在char下面内存处读取三个字节，再在下一块内存处读取int型变量剩下的一个字节），判断是不是自己要找的数据，时间复杂度高。

在使用内存对齐规则后，可以明显看出存在了空间浪费的情况，但同时它的优点则是内核在读取数据时，按照内存对齐规则中的对齐数，偏移相应的地址就可以找到自己的需要的数据（即知道该在哪个地址位置去读取数据），从而节省了时间。

1.2 设置默认对齐数

#pragma pack (n)
//用来修改编译器默认对齐数  n = 1,2,4,8 或 16

#pragma pack ()
//恢复默认对齐数

---

2、结构体的默认对齐规则

1. 第一个成员再与结构体变量偏移量为0的地址处（结构体的第一个成员默认对齐）。
2. 其他成员要对齐到某个数字（对齐数）的整数倍的地址处。其中 对齐数 = 编译器默认的对齐数与该成员大小的较小值。
3. 结构体总大小为最大对齐数（每一个成员变量都有一个对齐数）的整数倍。
4. 如果嵌套了结构体的情况，嵌套的结构体对齐到自己的最大对齐数的整数倍处，结构体的整体大小就是所有最大对齐数（含嵌套结构体的对齐数）的整数倍。

---

3、为什么存在内存对齐？

平台原因（移植原因）：

不是所有的硬件平台都能访问任意地址的任意数据的；某些硬件平台只能在某些地址处取某些特定类型的数据，否则抛出硬件异常。

性能原因：

数据结构（尤其是栈）应该尽可能的在自然边界上对齐，因为为了访问未对齐的内存，处理器需要做两次内存访问；而对其的内存访问仅需要一次访问。

---

4、简单习题练习

练习一：

struct S1{
    char c1;
    //第一个成员在偏移量为0的地方，占用一个字节
    int i;
    //此时的偏移量地址为1，i变量占四个字节，不满足规则二，1不是4的整数倍
    //因此偏移量地址移到4处，占用四个字节
    char c2;
    //此时的偏移量地址为8，c2变量占一个字节，满足规则二，8是1的整数倍
};
//此时的结构体变量占9个字节，该结构体的最大对齐数为4
//根据规则三可得该结构体的大小为12

练习二：

struct S2{
    char c1;
    //第一个成员在偏移量为0的地方，占用一个字节
    char c2;
    //此时的偏移量地址为1，c2变量占一个字节，满足规则二，1是1的整数倍
    int i;
    //此时的偏移量地址为2，i变量占四个字节，不满足规则二，2不是4的整数倍
    //因此偏移量地址移到4处，占用四个字节
};
//此时的结构体变量占8个字节，该结构体的最大对齐数为4
//根据规则三可得该结构体的大小为8

练习三、

struct S3{
    double d;
    //第一个成员在偏移量为0的地方，占用8个字节
    char c;
    //此时的偏移量地址为8，c变量占一个字节，满足规则二，8是1的整数倍
    int i;
    //此时的偏移量地址为9，i变量占四个字节，不满足规则二，9不是4的整数倍
    //因此偏移量地址移到12处，占用四个字节
};
//此时的结构体变量占16个字节，该结构体的最大对齐数为8
//根据规则三可得该结构体的大小为16

练习四、

struct S4{
    char c1;
    //第一个成员在偏移量为0的地方，占用1个字节
    struct S3 s;
    //此时的偏移量地址为1
    //根据规则4，嵌套的结构体对齐到自己的最大对齐数的整数倍处（8）
    //所以偏移量地址对齐到8，s再占用16个字节
    double d;
    //此时的偏移量地址为24，d变量占8个字节，满足规则二，24是8的整数倍，占用四个字节
};
//根据规则3可知，嵌套结构体s3的最大对齐数为自己的最大对齐数，即8
//此时的结构体变量占32个字节，该结构体的最大对齐数为8
//根据规则三可得该结构体的大小为32

结果：