1.大意:结构是一些值的集合,这些值称为成员变量。结构的每个成员可以是不同类型的变量。
应用场景:出版一本书的时候上面有书名、作者、标价、出版社、书号等信息,如果我们将其一一创建变量并作为一种模板使用,可以使出版方便快捷的多就像是做PPT使用PPT模板一样,那么结构体就是此处的 “模板”。
#define _CRT_SECURE_NO_WARNINGS
#include<stdio.h>
struct tag
{
member-list;
}variable-list
struct Stu//结构体类型
{
char name[20];//此处为结构体成员,可以是数组
int day;//出版日期
char price[5];//价格
char id[20];//书号
};//分号不能丢
2.结构体的定义和初始化
//代码1:变量的定义
struct Point
{
int x;
int y;
}p1; //声明类型的同时定义变量p1
struct Point p2; //定义结构体变量p2
//代码2:初始化。
struct Point p3 = {10, 20};
struct Stu //类型声明
{
char name[15];//名字
int age; //年龄
};
struct Stu s1 = {"zhangsan", 20};//初始化
struct Stu s2 = {.age=20, .name="lisi"};//指定顺序初始化
//代码3
struct Node
{
int data;
struct Point p;
struct Node* next;
}n1 = {10, {4,5}, NULL}; //结构体嵌套初始化
struct Node n2 = {20, {5, 6}, NULL};//结构体嵌套初始化
3.结构成员访问操作符
结构体成员的直接访问是通过点操作符(.)访问的,点操作符接受两个操作数。
#include <stdio.h>
struct Point
{
int x;
int y;
}p = {1,2};
int main()
{
printf("x: %d y: %d\n", p.x, p.y);
return 0;
}
使用方式:结构体变量.成员名
结构体成员的间接访问,结构体指针可以实现结构体变量的间接访问
#include <stdio.h>
struct Point
{
int x;
int y;
};
int main()
{
struct Point p = {3, 4};
struct Point *ptr = &p;
ptr->x = 10;
ptr->y = 20;
printf("x = %d y = %d\n", ptr->x, ptr->y);
return 0;
}
使用方式:结构体指针->成员名
4.结构的特殊声明
//匿名结构体类型
struct//此处省略了结构体标签(tag)
{
int a;
char b;
float c;
}x;
struct
{
int a;
char b;
float c;
}a[20],*p;
警告:
匿名的结构体类型,如果没有对结构体类型重命名的话,基本上只能使用一次。
错例:
//在上面代码的基础上,下面的代码合法吗?
p = &x;
实际上编译器会把上面的两个两个声明当成完全不同的两个类型,所以是非法的
此外,定义结构体不要使用匿名结构体
例如:
typedef struct
{
int data;
Node* next;
}Node;
因为Node是对前面的匿名结构体类型的重命名产生的,但是在匿名结构体内部提前使
用Node类型来创建成员变量,这是不行的。
5.结构体的自引用
结构的自引用是指在结构体中包含指向自身类型的指针成员。这种自引用的结构体常用于构建复杂的数据结构,例如链表、树等。以下是几种常见的结构的自引用方式:
1. 链表:链表是一种常见的数据结构,可以通过自引用的方式实现。每个节点包含一个数据成员和一个指向下一个节点的指针成员,最后一个节点的指针成员为空。
2. 树:树是一种分层的数据结构,也可以通过自引用的方式实现。每个节点包含一个数据成员和指向子节点的指针成员,可以是左子节点和右子节点。
3. 图:图是一种由节点和边组成的数据结构,也可以通过自引用的方式实现。每个节点包含一个数据成员和指向其他节点的指针成员,表示节点之间的连接关系。
4. 堆:堆是一种特殊的树形数据结构,也可以通过自引用的方式实现。每个节点包含一个数据成员和指向父节点、左子节点、右子节点的指针成员。
比如,下面定义一个链表的节点:
struct Node
{
int data;
struct Node next;
};
实际上这样定义是不行的,因为一个结构体中再包含一个同类型的结构体变量,这样结构体变量的大小会无穷大。应该这样定义:
struct Node
{
int data;
struct Node* next;
};
这样直接找地址就不会造成上述问题
6.结构体内存对齐
对齐规则:
1. 结构体的第一个成员对齐到和结构体变量起始位置偏移量为0的地址处
2. 其他成员变量要对齐到某个数字(对齐数)的整数倍的地址处。
对齐数 = 编译器默认的一个对齐数 与 该成员变量大小的较小值。
- VS 中默认的值为 8
- Linux中 gcc 没有默认对齐数,对齐数就是成员自身的大小
3. 结构体总大小为最大对齐数(结构体中每个成员变量都有一个对齐数,所有对齐数中最大的)的
整数倍。
4. 如果嵌套了结构体的情况,嵌套的结构体成员对齐到自己的成员中最大对齐数的整数倍处,结构
体的整体大小就是所有最大对齐数(含嵌套结构体中成员的对齐数)的整数倍。
举个栗子:
//练习1
struct S1
{
char c1;
int i;
char c2;
};
printf("%d\n", sizeof(struct S1));
//练习2
struct S2
{
char c1;
char c2;
int i;
};
printf("%d\n", sizeof(struct S2));
//练习3
struct S3
{
double d;
char c;
int i;
};
printf("%d\n", sizeof(struct S3));
//练习4-结构体嵌套问题
struct S4
{
char c1;
struct S3 s3;
double d;
};
printf("%d\n", sizeof(struct S4));
图释:红色字体为偏移量,第一列为S1,第二列S2,O表示占用字节,X表示浪费字节
练习一 | 练习二 | 练习三 | 练习四 | 偏移值 |
O | O | O | O | 0 |
X | O | O | X | 1 |
X | X | O | X | 2 |
X | X | O | X | 3 |
O | O | O | X | 4 |
O | O | O | X | 5 |
O | O | O | X | 6 |
O | O | O | X | 7 |
O | O | O | 8 | |
X | O | 9 | ||
X | O | 10 | ||
X | O | 11 | ||
O | O | 12 | ||
O | O | 13 | ||
O | O | 14 | ||
O | O | 15 | ||
O | 16 | |||
O | 17 | |||
O | 18 | |||
O | 19 | |||
O | 20 | |||
O | 21 | |||
O | 22 | |||
O | 23 | |||
O | 24 | |||
O | 25 | |||
O | 26 | |||
O | 27 | |||
O | 28 | |||
O | 29 | |||
O | 30 | |||
O | 31 | |||
32 |
上图为内存的存储状况, 由于 “结构体总大小为最大对齐数(结构体中每个成员变量都有一个对齐数,所有对齐数中最大的)的整数倍。” ,经计算得出:12,8,16,32
下面我们在VS中验证一下:
int main()
{//练习1
struct S1
{
char c1;
int i;
char c2;
};
printf("%zd\n", sizeof(struct S1));
//练习2
struct S2
{
char c1;
char c2;
int i;
};
printf("%zd\n", sizeof(struct S2));
//练习3
struct S3
{
double d;
char c;
int i;
};
printf("%zd\n", sizeof(struct S3));
//练习4-结构体嵌套问题
struct S4
{
char c1;
struct S3 s3;/*4. 如果嵌套了结构体的情况,嵌套的结构体成员对齐到自己的成员中最大对齐数的整数倍处,结构
体的整体大小就是所有最大对齐数(含嵌套结构体中成员的对齐数)的整数倍。*/
/*即,此处的S3原来算出的占16个字节,16是8的倍数,满足条件4的情况*/
double d;
};
printf("%zd\n", sizeof(struct S4));
return 0;
}
为什么存在内存对齐?
1. 平台原因 (移植原因):
不是所有的硬件平台都能访问任意地址上的任意数据的;某些硬件平台只能在某些地址处取某些特定
类型的数据,否则抛出硬件异常。
2. 性能原因:
数据结构(尤其是栈)应该尽可能地在自然边界上对齐。原因在于,为了访问未对齐的内存,处理器需要作两次内存访问;而对齐的内存访问仅需要一次访问。假设一个处理器总是从内存中取8个字节,则地址必须是8的倍数。如果我们能保证将所有的double类型的数据的地址都对齐成8的倍数,那就可以用一个内存操作来读或者写值了。否则,我们可能需要执行两次内存访问,因为对象可能被分放在两个8字节内存块中。
总体来说:结构体的内存对齐是拿空间来换取时间的做法。
如何节省空间?
让占用空间小的成员尽量集中在一起
//例如:
struct S1
{
char c1;
int i;
char c2;
};
struct S2
{
char c1;
char c2;
int i;
};
此处,s1和s2所占空间大大小有了一些区别。
图释:红色字体为偏移量,第一列为S1,第二列S2,O表示占用字节,X表示浪费字节
O | O | 0 |
X | O | 1 |
X | X | 2 |
X | X | 3 |
O | O | 4 |
O | O | 5 |
O | O | 6 |
O | O | 7 |
O | 8 | |
9 | ||
10 | ||
11 | ||
12 | ||
13 | ||
14 | ||
15 | ||
16 | ||
17 | ||
18 | ||
19 |
在VS中:
得以验证 结果
修改默认对齐数
#pragma 这个预处理指令,可以改变编译器的默认对齐数。
#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;
}
7.结构体传参
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;
}
性能上:print2比print1好些
原因:
函数传参的时候,参数是需要压栈,会有时间和空间上的系统开销。
如果传递一个结构体对象的时候,结构体过大,参数压栈的的系统开销比较大,所以会导致性能的下降。
结论:
结构体传参的时候,要传结构体的地址。
8.结构体位段(待)