【C语言】自定义类型（上）结构体

1.结构体的申明

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

struct tag
{
 member-list;
}variable-list;

例如：

struct Stu
{
 char name[20];//名字
 int age;//年龄
 char sex[5];//性别
 char id[20];//学号
};

结构体变量的创建和初始化

#define _CRT_SECURE_NO_WARNINGS 1
#include <stdio.h>
struct Stu
{
	char name[20];//名字
	int age;//年龄
	char sex[5];//性别
	char id[20];//学号
};
int main()
{
	//按照结构体成员的顺序初始化
	struct Stu s = { "张三", 20, "男", "20230818001" };
	printf("name: %s\n", s.name);
	printf("age : %d\n", s.age);
	printf("sex : %s\n", s.sex);
	printf("id : %s\n", s.id);

	//按照指定的顺序初始化
	struct Stu s2 = { .age = 18, .name = "lisi", .id = "20230818002", .sex = "⼥" };
	printf("name: %s\n", s2.name);
	printf("age : %d\n", s2.age);
	printf("sex : %s\n", s2.sex);
	printf("id : %s\n", s2.id);
	return 0;
}

匿名结构体类型

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

匿名的结构体类型，如果没有对结构体类型重命名的话，基本上只能使⽤⼀次。

结构的⾃引⽤

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

2.结构体内存对齐

在此，引入一个问题：结构体的大小是几个字节呢？

这就需要我们理解结构体内存对齐原理了。

对⻬规则：

1. 结构体的第⼀个成员对⻬到和结构体变量起始位置偏移量为0的地址处

2. 其他成员变量要对⻬到某个数字（对⻬数）的整数倍的地址处。 对⻬数 = 编译器默认的⼀个对⻬数 与 该成员变量⼤⼩的较⼩值。

- VS 中默认的值为 8

- Linux中 gcc 没有默认对⻬数，对⻬数就是成员⾃⾝的⼤⼩

3. 结构体总⼤⼩为最⼤对⻬数（结构体中每个成员变量都有⼀个对⻬数，所有对⻬数中最⼤的）的 整数倍。

4. 如果嵌套了结构体的情况，嵌套的结构体成员对⻬到⾃⼰的成员中最⼤对⻬数的整数倍处，结构 体的整体⼤⼩就是所有最⼤对⻬数（含嵌套结构体中成员的对⻬数）的整数倍。

举例

#define _CRT_SECURE_NO_WARNINGS 1
#include<stdio.h>
int main()
{
	struct S3
	{
		double d;
		char c;
		int i;
	};
	printf("%d\n", sizeof(struct S3));
}

我们假设结构体类型是从0开始存的

VS中的默认对齐数为8，double类型是8个字节，所以对齐数就是8，要从8的倍数开始将double类型d变量在内存中存储。变量b就将0-7的内存占下。变量c是char类型，1个字节，所以对齐数为1，将8占下。变量i是int类型，4个字节，对齐数为4，将12-15占下。截止目前，一共占据了16个字节。因为结构体总⼤⼩为最⼤对⻬数的整数倍，而正好16是最大对齐数8（double类型）的倍数，所以这个结构体类型的大小是16个字节。

再来看一下嵌套结构体的大小

#define _CRT_SECURE_NO_WARNINGS 1
#include<stdio.h>
int main()
{
	struct S3
	{
		double d;
		char c;
		int i;
	};
	printf("%d\n", sizeof(struct S3));
	struct S4
	{
		char c1;
		struct S3 s3;
		double d;
	};
	printf("%d\n", sizeof(struct S4));
}

变量c1是char类型，1个字节，所以对齐数为1，将0占下。变量s3是strust S3类型，由上面可知是16个字节，所以对齐数为8，将8-23占下。变量d是double类型，8个字节，所以对齐数为8，将24-31占下。截止目前，一共占据了32个字节。因为结构体总⼤⼩为最⼤对⻬数的整数倍，而正好32是最大对齐数8的倍数，所以这个结构体类型的大小是32个字节。

结构体对齐的原因

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

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

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

修改默认对⻬数

#pragma 这个预处理指令，可以改变编译器的默认对⻬数。

#define _CRT_SECURE_NO_WARNINGS 1
#include <stdio.h>
#pragma pack(1)//设置默认对⻬数为1
struct S
{
	char c1;
	int i;
	char c2;
};
#pragma pack()//取消设置的对⻬数，还原为默认
int main()
{
	printf("%d\n", sizeof(struct S));
	return 0;
}

对于这一段代码，如果没有设置默认对齐数的话，结构体的大小是8，而当设置了默认对齐数则为6。

3.结构体传参

结构传参有两种，一种是传结构体，一种是传结构体地址。

#define _CRT_SECURE_NO_WARNINGS 1
struct S
{
	int data[1000];
	int num;
};
struct S s = { {1,2,3,4}, 1000 };
//结构体传参
void print1(struct S s)
{
	printf("%d\n", s.num);
}
//结构体地址传参
void print2(struct S* ps)
{
	printf("%d\n", ps->num);
}
int main()
{
	print1(s); //传结构体
	print2(&s); //传地址
	return 0;
}

上⾯的 print1 和 print2 函数哪个好些？

答案是：⾸选print2函数。

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

4.结构体实现位段

位段的内存分配

1. 位段的成员可以是 int unsigned int signed int 或者是 char 等类型

2. 位段的空间上是按照需要以4个字节（ int ）或者1个字节（ char ）的⽅式来开辟的。

3. 位段涉及很多不确定因素，位段是不跨平台的，注重可移植的程序应该避免使⽤位段。

我们用一段代码来演示一下

#define _CRT_SECURE_NO_WARNINGS 1

#include<stdio.h>
struct S
{
	char a : 3;
	char b : 4;
	char c : 5;
	char d : 4;
};
int main()
{
	struct S s = { 0 };
	s.a = 10;
	s.b = 12;
	s.c = 3;
	s.d = 4;
	printf("%d\n", sizeof(s));
	printf("%d,%d,%d,%d", s.a, s.b, s.c, s.d);
	return 0;
}

根据规则，我们做出上图分析。后面如果要将a，b，c，d打印出来的话打印出来的是2，-4,3,4，我们可以看见a和b的值被改变，那这是为什么呢？

a的值被改变是因为在位段的时候前5个bit丢失，只留下010，所以a的值变为了2。

b的值被改变是因为用%d进行打印，b会被认为是一个有符号整形第一位是符号位，所以b的值变为了－4。

我们再来举个例子

#define _CRT_SECURE_NO_WARNINGS 1
#include<stdio.h>
struct A
{
	int _a : 2;
	int _b : 5;
	int _c : 10;
	int _d : 30;
};
int main()
{
	struct A a = { 0 };
	printf("%d", sizeof(a));
	return 0;
}

由于第一个结构体类型是int，所以要开辟4个字节，分别将变量a，b，c储存进去。最后发现剩下的空间不够变量d的储存，所以要重新开辟4个字节来储存变量d，所以这个结构体的大小是8个字节。