【C】结构体的大小与内存对齐

一、什么是结构体？

结构是一些值的集合，这些值称为成员变量。结构的每个成员可以是不同类型的变量。
当描述一个对象需要多种属性修饰时，就要用到结构体，用多种类型的变量修饰。

1.1结构体的声明

struct tag
{
	member-list;
}	variable-list;
例如描述一个学生：
struct Stu
{
	char name[20];//名字
	int age;//年龄
	char sex[5];//性别
	char id[20];//学号
}; //分号不能丢

1.2匿名结构体类型

在声明结构的时候，可以不完全的声明。
比如：

struct
{
	int a;
	char b;
	float c;
}x;

struct
{
	int a;
	char b;
	float c;
}a[20], *p;

上面的两个结构在声明的时候省略掉了结构体名，这样就无法再下次使用这一种结构体名，但是能使用初始化的结构体，一般这种情况使用较少。

1.3 结构的自引用

在结构中包含一个类型为该结构本身的成员是否可以呢？

//错误的的自引用方式：
struct Node
{
	int data;
	struct Node next;//错误在于：结构体类型还没有声明完，编译器根本不知道此类型
						//也就不知道该分配多大的内存空间
};
//正确的自引用方式：
struct Node
{
	int data;
	struct Node* next;//这里的是一个结构体指针
};

1.4 结构体变量的定义和初始化

有了结构体类型，那就可以定义结构体变量，有多种方式。

 //1.声明类型的同时定义变量p1
struct Point
{
	int x;
	int y;
}p1;

//定义结构体变量p2
struct Point p2; 

//初始化：定义变量的同时赋初值。
struct Point p3 = {x, y};
struct Stu     //类型声明
{
char name[15];//名字
int age;    //年龄
};

struct Stu s = {"zhangsan", 20};//初始化
struct Node
{
	int data;
	struct Point p;
	struct Node* next;
}n1 = {10, {4,5}, NULL}; //结构体嵌套初始化

struct Node n2 = {20, {5, 6}, NULL};//结构体嵌套初始化

二、 结构体内存对齐

结构体的定义以及如何声明结构体变量我们已经清楚了，那么该如何计算结构体的大小呢？

struct S1
{
	char c1;
	int i;
	char c2;
};
printf("%d\n", sizeof(struct S1));

答案是：S1的大小为12个字节。

struct S2
{
	char c1;
	char c2;
	int i;
};
printf("%d\n", sizeof(struct S2));

答案是：S2的大小为8个字节。

struct S3
{
	double d;
	char c;
	int i;
};
printf("%d\n", sizeof(struct S3));

答案是：S3的大小为16个字节。

为什么结构体里面放的是相同的3种类型数据，结构体的大小会有差异呢？
可以发现，三种结构体里面只是成员变量的顺序不同，那么可以猜想：结构体的内存与成员变量的类型相关。

2.1结构体的对齐规则：

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

2. 其他成员变量要对齐到某个数字（对齐数）的整数倍的地址处。
   对齐数 = 编译器默认的一个对齐数与该成员大小的较小值。
   （VS中默认的值为8）

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

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

2.2为什么存在内存对齐?

主要有以下原因：
1.平台原因(移植原因)：
不是所有的硬件平台都能访问任意地址上的任意数据的；某些硬件平台只能在某些地址处取某些特
定类型的数据，否则抛出硬件异常。

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

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

那在设计结构体的时候，我们既要满足对齐，又要节省空间，就要让占用空间小的成员尽量集中在一起。

2.3修改默认对齐数

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

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

#pragma pack(1)//设置默认对齐数为1
struct S2
{
	char c1;
	int i;
	char c2;
};
#pragma pack()//取消设置的默认对齐数，还原为默认

三、总结

字节对齐很简单，了解了规则后，更应该了解为什么要这样设计。
首先，我们需要明确无论数据是否对齐，大多数计算机还是能够正确工作，但在有些处理器中，如果存在未对齐的数据，可能无法运行。
我们假设计算机总是从内存中取8个字节，如果一个double数据的地址对齐成8的倍数，那么一次内存操作就可以读或者写。
但是如果这个double数据的地址没有对齐，数据就可能被放在两个8字节块中，那么我们可能需要执行两次内存访问，才能读写完成。
显然在这样的情况下，是低效的，所以需要字节对齐来提高内存读写性能。

设置为1字节对齐，确实会节省空间，但这样对存取效率会有影响。
对速度的要求也往往大过内存，所以牺牲部分内存换取速度也是很值得的。

了解结构体的内存对齐规则之后，在设计结构体的时候，为了节省空间，就要让占用空间小的成员尽量集中在一起。