结构体内存对齐解析

忽戀

已于 2024-03-20 09:33:32 修改

阅读量1.1k

点赞数 24

文章标签：算法

于 2024-03-19 15:21:06 首次发布

本文链接：https://blog.csdn.net/qq_50309255/article/details/136837552

版权

一、内存对齐存在的原因

1.1平台原因（移植原因）

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

2.2性能原因

数据结构(尤其是栈)应该尽可能地在⾃然边界上对齐。原因在于，为了访问未对⻬的内存，处理器需要作两次内存访问；⽽对齐的内存访问仅需要⼀次访问。假设⼀个处理器总是从内存中取8个字节，则地址必须是8的倍数。如果我们能保证将所有的double类型的数据的地址都对⻬成8的倍数，那么就可以用一个内存操作来读或者写值了。否则，我们可能需要执⾏两次内存访问，因为对象可能被分放在两个8字节内存块中。

总体来说，内存对齐就是用空间换时间的做法。

二、内存对齐的规则

规则如下：

1、结构体的第一个成员对齐到和结构体变量起始位置偏移量为0的地址处。

2、其他成员变量要对齐到对其数的整数倍的地址处。

注：对其数=编译器默认的一个对齐数与该成员变量大小的较小值。（VS中默认为8，Linux中gcc没有默认对齐数，对齐数就是成员自身的大小）

3、结构体总大小为最大对齐数的整数倍。

4、如果嵌套了结构体的情况，嵌套的结构体的成员对齐到自己成员中最大对齐数的整数倍处，结构体的整体大小就是所有最大对齐数的整数倍。

三、实例应用讲解（以VS为例）

3.1实例一

#include<stdio.h>

//练习1
struct S1
{
	char c1;
	int i;
	char c2;
};
int main()
{
	printf("%d\n", sizeof(struct S1));
	return 0;
}

如上图中，我们可以看到最大字节为int类型，也就是4个字节，而4个字节比VS中提供的8个字节要小，所以保留。

第一个数据为char类型为1个字节，所以占据第一个字节的空间，第二个数据为int类型，为4个字节，所以要找4的整数倍的位置，也就是4*1=4的位置，从4开始占用4个字节到达7的位置，最后一个数据为char类型，1个字节，所以排在int i的正下方也就是8的位置。

全部数据放完之后，我们发现一共从0到8是9个字节的大小，但是规定说结构体大小必须为对齐数的整数倍，而对齐数为4，所以这个结构体的大小是4*3=12个字节。

运算结果如下：

3.2实例二

#include<stdio.h>

//练习2
struct S2
{
	char c1;
	char c2;
	int i;
};

int main()
{
	printf("%d\n", sizeof(struct S2));
	return 0;
}

练习二的代码中，第一个数据c1大小为1个字节，将其放到第一个空间中，第二个数据 c2大小为1个字节，将其放到第二个空间中，第三个数据int i大小为4个字节，它与VS提供的8个最大对齐数比起来较小，所以选4作为对齐数，而离4的倍数最小的位置在4上，也就是4*1=1，所以将i放到4的位置上，一直到7上。

结构体最终大小会根据对齐数来确定，所以此结构体的大小为4*2=8.

代码运行结构如下：

3.3实例三

#include<stdio.h>

//练习3
struct S3
{
	double d;
	char c;
	int i;
};

int main()
{
	printf("%d\n", sizeof(struct S3));
	return 0;
}

同理可得

3.4实例四

#include<stdio.h>

//练习3
struct S3
{
	double d;
	char c;
	int i;
};
//练习4-结构体嵌套问题
struct S4
{
	char c1;
	struct S3 s3;
	double d;
};
int main()
{
	printf("%d\n", sizeof(struct S4));
	return 0;
}