结构体详解

结构体的声明

结构是一些值的集合，这些值称为成员变量。
结构的每个成员可以是不同类型的变量

• 在声明结构的时候，可以不完全的声明
  

在声明的时候省略掉了结构体标签（tag）
编译器会把上面的两个声明当成完全不同的两个类型
是非法的代码

结构体的自引用

在结构中包含一个类型为该结构本身的成员

struct Node
{
	int data;//数据域
	struct Node* next;//指针域
};

注意：若要将自引用的结构体重命名，不要使用匿名结构体类型

typedef struct Node
{
	int data;
	struct Node* next;
}Node;

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

1. 局部变量和全局变量

struct Point
{
	char x;
	int y;
}p2, p3;//全局变量
int main()
{
	struct Point p1;//局部变量
	return 0;
}

2. 初始化：定义变量的同时赋初值

struct Point
{
	char x;
	int y;
}p2 = { 'w',10 }, p3 = { .y = 3,.x = 'r' };//全局变量初始化
int main()
{
	struct Point p1 = { 'c',5 };//局部变量初始化
	return 0;
}

3. 可以在结构体中嵌套结构体

struct S1
{
	char x;
	int y;
};
struct S
{
	int i;
	struct S1 s1;//结构体内嵌套结构体
	double d;
};
int main()
{
	struct S p = { 5,{'e',3},3.13 };
	printf("%d %c %d %lf\n", p.i, p.s1.x, p.s1.y, p.d);
	return 0;
}

结构体内存对齐

思考：

两个结构体的内存大小为什么不一致？

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

打印结果为

1. 使用offsetof宏以字节为单位返回数据结构或联合类型类型中的成员的偏移值，返回size_t类型的无符号整型值，表示指定成员与其结构开头之间的字节数
2. offsetof (type,member)
3. 头文件为#include <stddef.h>
   

由此可知，结构成员不是按照顺序在内存中连续存放的，而是有一定的对齐规则的

结构体的内存对齐规则

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

c1放在偏移量在0处

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

VS中默认的对齐值为8
gcc没有对齐数，对齐数就是结构体成员的自身大小

int i成员的对齐数为4，VS默认对齐数为8，所以i的偏移量在4的倍数处
char c2成员的对齐数为1，VS默认对齐数为8，所以c2的偏移量在1的倍数处

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

最大对齐数是：所有成员的对齐数中最大的值

此时c1,i,c2的偏移量总大小为9，成员中的最大对齐数为i的对齐数4
9不是4的整数倍，所以结构体的总大小为12

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

1. i的偏移量在0处
2. 结构体s2的大小为8，且s2中的最大对齐数为i成员的对齐数4，所以s2的偏移量在4的整数倍处
3. d的对齐数为8，VS默认对齐数为8，所以d的偏移量在8的整数倍处
4. struct S3结构体的整体大小为所有成员的最大对齐数的整数倍
   i的对齐数为4
   s2结构体中，i的对齐数为4，c1和c2的对齐数都为1，所以s2结构体中的最大对齐数为4
   d的对齐数为8
   所以struct S3结构体的最大对齐数为8，整体大小为8的整数倍

存在内存对齐的原因

1. 平台原因(移植原因)

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

2. 性能原因

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

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

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

修改默认对齐数

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

#pragma预处理指令，可以改变我们的默认对齐数
#pragma pack(1)设置默认对齐数为1
#pragma pack(4)设置默认对齐数为4
#pragma pack()取消设置的默认对齐数，还原为默认

例题

struct S1
{
	char c1;
	int i;
	char c2;
};
#pragma pack(1)
struct S2
{
	char c1;
	int i;
	char c2;
};
#pragma pack()
int main()
{
	printf("%d\n", sizeof(struct S1));
	printf("%d\n", sizeof(struct S2));
	return 0;
}

打印结果为：
12
6

在#pragma pack(1)和#pragma pack()中间的结构体改变默认对齐数

结构体传参

主函数

struct S
{
	int data[100];
	int num;
};

int main()
{
	struct S s = { {1,2,3,4}, 1000 };
	print1(s); //传结构体
	print2(&s); //传地址
	return 0;
}

结构体传参

void print1(struct S s)
{
	printf("%d\n", s.num);
}

结构体地址传参

void print2(struct S* ps)
{
	printf("%d\n", ps->num);
}

两种方法都可以将num打印成功
但是print2函数（结构体地址传参）会更好

原因：
函数传参的时候，参数是需要压栈，会有时间和空间上的系统开销
如果传递一个结构体对象的时候，结构体过大，参数压栈的的系统开销比较大，所以会导致性能的下降

结构体传参的时候，要传结构体的地址