结构体为什么要内存对齐

为什么要内存对齐

1. 不是所有的硬件平台都能访问任意地址上的数据；

2. 某些硬件平台只能只在某些地址访问某些特定类型的数据，否则抛出硬件异常，及遇到未对齐的边界直接就不进行读取数据了。

3. 为了代码的可移植性，和提升CPU访问内存的效率，所以结构体一定要内存对齐。本质：空间换区时间的做法。

从上图可以看出，对应两种存储方式，若CPU的读取粒度为4字节，

那么对于一个int 类型，若是按照内存对齐来存储，处理器只需要访存一次就可以读取完4个字节
若没有按照内存对其来读取，如上图所示，就需要访问内存两次才能读取出一个完整的int 类型变量
具体过程为，第一次拿出 4个字节，丢弃掉第一个字节，第二次拿出4个字节，丢弃最后的三个字节，然后拼凑出一个完整的 int 类型的数据。

原文链接：https://blog.csdn.net/Misszhoudandan/article/details/81570548

对齐规则

在window下：#pragma pack（8）
在linux下：#pragma pack（4）
该值可以自己设定

1. 结构(struct)(或联合(union))的数据成员，第一个数据成员放在偏移量为0的地方，以后每个数据成员的对齐按照#pragma pack指定的数值和这个数据成员自身长度中，比较小的那个进行。
2. 在数据成员完成各自对齐之后，结构(或联合)本身也要进行对齐，对齐将按照#pragma pack指定的数值和结构(或联合)最大数据成员长度中，比较小的那个进行。
3. 如果一个结构里有某些结构体成员，则结构体成员要从其内部最大元素大小的整数倍地址开始存储。
   例子：

struct A{
short a;
double b;
int c;
char d;
}
//
struct B{
int a;
char b;
struct A c；

}

先进行数据成员对齐：
注意：
对齐都是从结构体第二个成员开始的
对齐数：8（windows下默认8）和当前元素类型大小取较小值
偏移量：当前元素距离结构体起始位置的距离

对于结构体A：
a占两个字节；

当前偏移量：2
b的对齐数=8
因为当前偏移量不能整除当前元素的对齐数，所以当前偏移量要增大：
偏移后的偏移量=2+6（偏移6个字节，保证能整除当前元素）=8
把b元素放进来

当前偏移量=16；
c的对齐数=4（可以被当前偏移量整除，不用偏移）
把c元素放进来

当前偏移量：20；
数据放完毕

然后进行结构体整体对齐：
20不能整除8，偏移
偏移后偏移量=20+4

所以该结构体总大小为24

对于结构体B：
a占4字节

当前偏移量：4
b的对齐数：1（满足当前偏移量%当前元素对齐数==0，不偏移）
放入b元素

当前偏移量：5
结构体a的对齐数：8
偏移后的偏移量：8；
把结构体放入：8+24=32

当前偏移量：32，可以整除8，不偏移

所以struct B 的大小为32