结构体内存对齐

如何计算？

首先要掌握结构体的对齐规则：

1. 第一个成员在与结构体变量偏移量为0的地址处。

2. 其他成员变量要对齐某个数字（对齐数）的整数倍的地址处。

对齐数= 编译器默认的一个对齐数 与 该成员大小的较小值。（VS默认对齐数为8）

3. 结构体总大小为最大对齐数（每个成员变量都有一个对齐数）的整数倍。

4. 如果嵌套了结构体的情况，嵌套的结构体对齐到自己的最大对齐数的整数倍处，结构体的整体大小就是所有最大对齐数（含嵌套结构体的对齐数）的整数倍。

为什么存在内存对齐？

1. 平台原因（移植原因）：

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

2. 性能原因

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

以上为结构体计算必须遵循的规则，下面将通过案例逐条介绍：

案例一，以上空间如何开辟？

解释：

假设一个格子代表一个字节，创建了s2对象它在内存中的存储从箭头处开始向下开辟空间存储，那么它的起始位置对应偏移量为0（对应规则1），依次向下。

s2对象中有三个成员变量，c1大小1个字节 ，它又是第一个所以从偏移量0处开始向下存放一个格子【第一个变量无论如何都是从0处开始的所以可以不考虑对齐数，直接将它大小依次从0处开始存】（如图c1）;c2的大小是1个字节，VS默认对齐数8，两者最小值还是1，所以c2对齐数为1；内存中偏移量1是c2对齐数1的整数倍，因此从偏移量1处向下存储c2（如图c2）（对应规则2）；i 的大小是4个字节，VS默认对齐数8，两者最小值还是4，所以i的对齐数为4；内存中偏移量2和3不是i对齐数4的整数倍所以这两个字节浪费不用，到偏移量4的时候是i对齐数4的整数倍所以，从4向下放i的4个字节（如图i）(对应规则2）这样，我们将每个成员存完后结构体内存如上图，从0-7总共用了8个空间根据规则3，结构体每个成员对齐数1,1,4中最大值是4字节，而结构体总大小8是4的整数倍所以不用再继续浪费空间了。

案例二，以上空间如何开辟？

解释：
假设一个格子代表一个字节，创建了s1对象它在内存中的存储从箭头处开始向下开辟空间存储，那么它的起始位置对应偏移量为0（对应规则1），依次向下。

s1对象中有三个成员变量，c1大小1个字节 ，它又是第一个所以从偏移量0处开始向下存放一个格子（如图c1）；i 的大小是4个字节，VS默认对齐数8，两者最小值还是4，所以i 的对齐数为4；内存中偏移量1-3不是i 对齐数4的整数倍所以浪费不用，依次向下偏移量4是i 对齐数4的整数倍所以从4开始向下存储4个字节（如图i）（对应规则2）；c2的大小是1个字节，VS默认对齐数8，两者最小值还是1，所以c2对齐数为1；内存中偏移量8是c2对齐数1的整数倍，因此从偏移量1处向下存储c2（如图c2）（对应规则2）我们将每个成员存完后结构体内存如上图，从0-8总共用了9个空间根据规则3，结构体每个成员对齐数1,4,1中最大值是4字节，而结构体总大小9不是4的整数倍所以要再向下浪费3个字节大小，使其总大小12是4的倍数（如上图）。

通过上面的讲解，可以自己试着算一下下面结构体内存如何分配：

解析：

如果结构体中嵌套结构体该如何计算内存呢？

案例四

解释：

s4对象中有三个成员变量，c1大小1个字节 ，它又是第一个所以从偏移量0处开始向下存放一个格子（如图c1）（对应规则1、2）；根据规则4，【如果嵌套了结构体的情况，嵌套的结构体对齐到自己的最大对齐数的整数倍处】嵌套结构体S3上面已让大家求出大小是16，其最大对齐数为8，而偏移量1-7均不是对齐数8的整数倍所以全部浪费不用，依次往下偏移量8是结构体s3对齐数8的倍数所以从偏移量8开始向下存储S3的大小16（如图s3）

d 的大小是8个字节，VS默认对齐数8，两者最小值还是8，所以d 的对齐数为8；内存中偏移量24是d对齐数8的整数倍所以从偏移量24开始向下存储8个字节；我们将每个成员存完后结构体内存如上上图，从0-31总共用了32个空间根据规则3，再根据规则4【结构体的整体大小就是所有最大对齐数（含嵌套结构体的对齐数）的整数倍。】结构体s3内最大对齐数为8，所以最后整体大小就是所有最大对齐数大小8；得出：s3 的大小是8个字节，VS默认对齐数8，两者最小值还是8；结构体S4每个成员对齐数1,8,8中最大值是8字节，而结构体总大小32是8的整数倍所以不再向下浪费空间（如上图）。

总结：

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

从以上案例可以看出，不同结构体中相同的成员，创建的先后决定它们内存空间的浪费多少，所以创建结构体时：让占用空间小的成员尽量集中在一起先创建。