结构体进阶(2)---结构体内存对齐

结构体内存对齐

首先看一段代码

#include<stdio.h>

struct S1 {
	char c1;
	int a;
	char c2;
};

struct S2 {
	char c1;
	char c2;
	int a;
};

int main() {

	struct S1 s1 = { 0 };
	printf("%d\n", sizeof(s1));

	struct S2 s2 = { 0 };
	printf("%d\n", sizeof(s2));
	getchar();
	return 0;
}

可以得知s1 大小为12字节，s2大小为8个字节。

结构体的对齐规则

1. 第一个成员在与结构体变量偏移量为0的地址处
2. 其他成员变量要对齐到对齐数的整数倍的地址处
   对齐数 = 编译器默认的一个对齐数与该成员大小的较小值
   VS中的对齐数默认是8
3. 结构体总大小为最大对齐数(每个成员变量都有一个对齐数)的整数倍。
4. 如果嵌套了结构体的情况，嵌套的结构体对齐到自己的最大对齐数的整数倍处，结构体的整体大小就说所有对齐数(含嵌套结构体的对齐数)的整数倍。

用上面的s1说明

1. 第一个成员c1在与结构体变量偏移量为0的地址处，占一个字节。
2. 其他成员变量要对齐到对齐数的整数倍的地址处。
   a大小为4个字节，小于8，所以对齐数为4，a要对齐到偏移量为4的帧数倍处，所以这块是偏移量为4的地址处
   c2 大小为1个字节，所以偏移地址9是1的整数倍
3. 结构体总大小为4的整数倍，所以是12

练习 1

struct S3 {
	double d;
	char c;
	int i;
};

int main() {

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

S3结构体大小应该是16字节
8+1+3(偏移量到4的倍数)+4 = 16；

练习2

#include<stdio.h>
struct S1 {
	char c;
	double d;
};

struct S2 {

	char c;
	struct S1 s1;
};

int main() {

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

1. S2第一个成员c在与结构体变量偏移量为0的地址处
2. 其他成员变量要对齐到对齐数的整数倍的地址处
   c为1个字节
3. 如果嵌套了结构体的情况，嵌套的结构体对齐到自己的最大对齐数的整数倍处，结构体的整体大小就说所有对齐数(含嵌套结构体的对齐数)的整数倍。
   嵌套的结构体S1大小为9个字节，S1最大的对齐数为8，所以结构体S2存放要从偏移量为8开始，放9个字节，到偏移量为17
4. 结构体总大小为最大对齐数(每个成员变量都有一个对齐数)的整数倍。
   最大的对齐数为S1中的8个字节，所以总大小要为24。

最终结果为24

为什么要存在内存对齐

1. 平台原因(移植原因)：不是所有的硬件平台都能访问任意地址上的任意数据，某些硬件平台只能在某些地址处去某些特定类型的数据，否则抛出硬件异常。
   比如有的硬件平台访问整型的时候只能在偏移量为4的倍数处访问，所以要内存对齐
2. 性能原因：数据结构(尤其是栈)应该尽可能的在自然边界上对齐。原因在于，为了访问未对齐的内存，处理器需要作两次内存访问，二对齐的内存访问仅需要访问一次。
   比如以下结构体
   struct S3 {
   char c;
   int i;
   };
   如果使用的是32位计算机，一次可寻址4个字节。结构体对齐的话可以先访问到c，再次访问到i，访问两次即可。如果未结构体对齐的话，一次可访问c和i的前三个字节，要想访问到i的话，需要再访问i的最后一个字节，拼凑出i，总体要读取两次i。
   总体来书：结构体的对齐是拿空间来换取时间的做法

那设计结构体的时候，我们既要满足对齐，又要节省空间，如何做到？

让占用空间小的成员尽量集中在一起
例如

struct S1 {
	char c1;
	int a;
	char c2;
};

struct S2 {
	char c1;
	char c2;
	int a;
};

S2会更节省空间

修改默认对齐数

#pragma pack()

#include<stdio.h>
#pragma pack(1)//设置默认对齐数为1
struct S1 {
	char c;
	double d;
};
#pragma pack()//取消设置的默认对齐数，还原为默认

int main() {

	printf("%d\n", sizeof(struct S1));//9
	getchar();
	return 0;
}

结果为9

#include<stdio.h>
#pragma pack(8)//设置默认对齐数为8
struct S1 {
	char c;
	double d;
};
#pragma pack()//取消设置的默认对齐数，还原为默认

int main() {

	printf("%d\n", sizeof(struct S1));//16
	getchar();
	return 0;
}

结果为16
结论：结构在对齐方式不合适的时候，我们可以自己更改默认对齐数。

C 库宏-offsetof

C 标准库 - <stddef.h>
声明

offsetof(type, member-designator）

参数：
type – 这是一个 class 类型，其中，member-designator 是一个有效的成员指示器。
member-designator – 这是一个 class 类型的成员指示器。
返回值：
该宏返回类型为 size_t 的值，表示 type 中成员的偏移量。
测试代码

#include<stdio.h>
#include<stddef.h>
struct S1 {
	char c;
	double d;
};

int main() {


	printf("%d\n", offsetof(struct S1,c));
	printf("%d\n", offsetof(struct S1, d));
	getchar();
	return 0;
}