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

目录

一、结构体内存对齐规则

二、为什么要有结构体对齐

1、平台原因

2、性能原因

3、总结

三、修改默认对齐数

三、面试题

一、结构体内存对齐规则

1、第一个成员在结构体偏移量为0的地址处

2、其它成员变量要对其到某个数字(对齐数)的整数倍的地址处。

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

其中vs编译器默认对齐数是8.

linux环境下没有默认对齐数(没有对齐数时，自身大小就是它的对齐数)

3、结构体的总大小:最大对齐数(所有变量类型最大者和编译器默认对齐数取最小值)的整数倍。

4、如果嵌套了结构体情况，嵌套的结构体对齐到自己的最大对齐数的整数倍处，结构体的整体大小就是所有的最大对齐数(包含嵌套结构体的对齐数)的整数倍

示例

#define _CRT_SECURE_NO_WARNINGS 1
#include<stdio.h>
#include<stddef.h>

struct S1
{
	char c1;
	int i;
	char c2;
};
struct S2
{
	char c1;
	char c2;
	int i;
};
struct S3
{
	double d;
	char c;
	int i;
};
struct S4
{
	char c1;
	struct S3 s3;
	double d;
};
//offsetof-宏
//计算结构体成员相对与起始位置的偏移量
/*
头文件--#include<stddef.h>
函数原型--size_t offsetof( structName, memberName );
       返回值 无符号整数   参数1 结构体名 参数2 成员名
*/
int main()
{
	struct S1 s1;
	struct S2 s2;
	struct S3 s3;
	struct S4 s4;
	printf("s1大小%d\n", sizeof(s1));
	printf("s2大小%d\n", sizeof(s2));
	printf("s3大小%d\n", sizeof(s3));
	printf("s4大小%d\n", sizeof(s4));

	printf("s1相对于起始位置的偏移量\n");
	printf("%u\n", offsetof(struct S1, c1));
	printf("%u\n", offsetof(struct S1, i));
	printf("%u\n", offsetof(struct S1, c2));

	printf("s2相对于起始位置的偏移量\n");
	printf("%u\n", offsetof(struct S2, c1));
	printf("%u\n", offsetof(struct S2, c2));
	printf("%u\n", offsetof(struct S2, i));

	printf("s3相对于起始位置的偏移量\n");
	printf("%u\n", offsetof(struct S3, d));
	printf("%u\n", offsetof(struct S3, c));
	printf("%u\n", offsetof(struct S3, i));

	printf("s4相对于起始位置的偏移量\n");
	printf("%u\n", offsetof(struct S4, c1));
	printf("%u\n", offsetof(struct S4, s3));
	printf("%u\n", offsetof(struct S4, d));
	return 0;
}
/* 运行结果
s1大小12
s2大小8
s3大小16
s4大小32
s1相对于起始位置的偏移量
0
4
8
s2相对于起始位置的偏移量
0
1
4
s3相对于起始位置的偏移量
0
8
12
s4相对于起始位置的偏移量
0
8
24
*/

二、为什么要有结构体对齐

1、平台原因

不是所有的硬件平台都能访问任意地址上的任意数据的；某些硬件平台只能在某些地址处取某些特定数据类型（比如在4的倍数地址处进行数据读取），否则抛出硬件异常。（最好能够存放在对齐的位置上，读取数据更方便不出错）

2、性能原因

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

3、总结

结构体的内存对齐是拿空间来换取时间的做法，如果在设计结构体的时候，既要满足对齐，又要节省空间，应该让占空间小的成员尽量集中在一起

三、修改默认对齐数

结构在对齐方式不合适的时候，可以自己更改默认对齐数

使用#pragma预处理指令，改变默认对齐数

//修改默认对齐数为4  大小一般是2的n次方
#pragma pack(4)
struct S
{
	char c;  //min=(默认对齐数4，成员大小1)=1
	double d;//min=(默认对齐数4，成员大小8)=4
			//总体大小 12
};
#pragma pack()
int main()
{
	struct S s;
	printf("%d\n", sizeof(s));
	return 0;
}

三、面试题

1、结构体怎么对齐？为什么要进行内存对齐?

按照结构体内存规则，内存为了能够达到读写效率的提升，存放数据时可能在内存上进行了内存对齐。

2、如何让结构体按照指定的对齐参数进行对齐?

通过使用#pragma预处理指令修改默认对齐数。