如何计算?
首先要掌握结构体的对齐规则:
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的整数倍所以不再向下浪费空间(如上图)。
总结:
结构体的内存对齐是拿空间换取时间的做法。
从以上案例可以看出,不同结构体中相同的成员,创建的先后决定它们内存空间的浪费多少,所以创建结构体时:让占用空间小的成员尽量集中在一起先创建。