文章目录
- 1.结构体
- 1.1什么是结构体
- 1.2结构体类型声明
- 1.3结构体变量的定义和初始化
- 1.4结构体的访问
- 2.结构体对齐
- 2.1如何对齐
- 2.2为什么存在内存对齐？
- 3.结构体实现位段
- 3.1什么是位段
- 3.2位段的内存分配
- 3.3位段的跨平台问题
- 3.4位段的应用
- 3.5位段使用注意事项
- 4.联合体
- 4.1联合体的声明
- 4.2联合体的特点
- 4.3联合体的大小
- 4.4联合体与结构体的对比
- 5.枚举
- 5.1枚举类型的声明
- 5.2枚举类型的优点
1.结构体
1.1什么是结构体
- C语言已经提供了内置类型，如：char、short、int、long、float、double等，但是只有这些内置类型还是不够的，
- 假设我想描述学生，描述⼀本书，这时单⼀的内置类型是不⾏的。描述⼀个学生需要名字、年龄、学号、身高、体重等；描述⼀本书需要作者、出版社、定价等。C语言为了解决这个问题，增加了结构体这种⾃定义的数据类型，让程序员可以⾃⼰创造适合的类型。
结构体是⼀些值的集合，这些值称为成员变量。结构体的每个成员可以是不同类型的变量，如：标量、数组、指针，甚⾄是其他结构体。
1.2结构体类型声明
关键字：struct
struct stu //stu 结构体的名字
{
//以下是结构体的成员变量
int age;
char name[20];
float score;
//......
}; //分号不能丢
特殊声明方式：匿名结构体，即在声明结构体时不完全声明，省略了结构体的名字。
struct
{
int a;
char b;
float c;
}x;
看下面的代码，这样做的结果时什么？
struct
{
int a;
char b;
float c;
}x;
struct
{
int a;
char b;
float c;
}a[20], * p;
int main()
{
p = &x;
return 0;
}
编译器会把上⾯的两个声明当成完全不同的两个类型，所以是非法的。
匿名的结构体类型，如果没有对结构体类型重命名的话，基本上只能使⽤⼀次。
1.3结构体变量的定义和初始化
- 变量的定义
struct Point
{
int x;
int y;
}p1; //声明类型的同时定义变量p1
struct Point p2; //定义结构体变量p2
- 变量的初始化
struct Point p3 = { 10, 20 };
struct Stu //类型声明
{
char name[15];//名字
int age; //年龄
};
struct Stu s1 = { "zhangsan", 20 };//按顺序初始化
struct Stu s2 = { .age = 20, .name = "lisi" };//指定顺序初始化
- 结构体嵌套、自引用
struct Node
{
int data;
struct Point p;//嵌套
struct Node* next;//自引用
}n1 = { 10, {4,5}, NULL }; //结构体嵌套初始化
struct Node n2 = { 20, {5, 6}, NULL };//结构体嵌套初始化
1.4结构体的访问
结构体的访问有两种方式：
- 直接访问：通过点操作符（.）访问
- 间接访问：通过结构体指针访问，访问方式：结构体指针 -> 成员名
2.结构体对齐
在下面的代码中，char占1个字节，int占4个字节，那结构体的总大小就是5个字节，真的是这样嘛？
int main()
{
struct s
{
char c;
int i;
};
printf("%d\n", sizeof(struct s));
return 0;
}
2.1如何对齐
要弄清结果为什么是8，我们就得了解结构体的对齐规则。
-
1.结构体的第⼀个成员对齐到和结构体变量起始位置偏移量为0的地址处
-
2.其他成员变量要对齐到某个数字（对齐数）的整数倍的地址处。
对齐数 = 编译器默认的⼀个对齐数 与 该成员变量大小的较小值。 -
3.VS 中默认的值为 8
-
4.Linux中 gcc 没有默认对齐数，对齐数就是成员自身的大小。
-
5.如果嵌套了结构体的情况，
嵌套的结构体成员对齐到自己的成员中最大对齐数的整数倍处， -
6.结构体的整体大小就是所有最大对齐数（含嵌套结构体中成员的对齐数）的整数倍
#pragma这个预处理指令，可以修改编译器的默认对齐数
#pragma pack(1)//设置默认对⻬数为1
struct S
{
char c1;
int i;
char c2;
};
#pragma pack()//取消设置的对⻬数，还原为默认
到底是怎么对齐的呢？看下图
来练习几个吧
2.2为什么存在内存对齐？
大部分的参考资料都是这样说的：
- 平台原因 (移植原因)：
不是所有的硬件平台都能访问任意地址上的任意数据的；某些硬件平台只能在某些地址处取某些特定类型的数据，否则抛出硬件异常。 - 性能原因：
数据结构(尤其是栈)应该尽可能地在自然边界上对齐。原因在于，为了访问未对齐的内存，处理器需要作两次内存访问；而对齐的内存访问仅需要⼀次访问。假设⼀个处理器总是从内存中取8个字节，则地址必须是8的倍数。如果我们能保证将所有的double类型的数据的地址都对⻬成8的倍数，那么就可以⽤⼀个内存操作来读或者写值了。否则，我们可能需要执行两次内存访问，因为对象可能被分放在两个8字节内存块中。
总体来说：结构体的内存对⻬是拿空间来换取时间的做法。
因此，设计结构体的时候，我们既要满足对齐，⼜要节省空间，就要让占用空间小的成员尽量集中在⼀起。
3.结构体实现位段
3.1什么是位段
你听说过位段吗？是不是只听说过段位呀哈哈
位段的声明和结构是类似的，有两个不同：
- 位段的成员必须是 int、unsigned int 或signed int ，在C99中位段成员的类型也可以 选择其他类型,例如char。
- 位段的成员名后边有⼀个冒号和⼀个数字。
位段的位其实指的就是二进制位，下面的A就是位段类型的
struct A
{
int _a : 2;
int _b : 5;
int _c : 10;
int _d : 30;
};
int main()
{
printf("%d\n", sizeof(struct A));
return 0;
}
2+5+10+30=47bit，一个字节是8个bit,那是不是6个字节就够了呢？
结果是8个字节。为什么是8个字节呢？----那是因为位段也存在对齐，位段的总大小也要对齐到自己最大成员变量的整数被。
注意：位段后的数字不可大于该数字本身的大小，否则就报错
3.2位段的内存分配
关于位段在内存中是如何存储的，C语言标准并未给出定义，下面我们就研究以下在VS中，位段是如何存储的。
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;
return 0;
}
我们假设如果第一个字节中放不下了，就放在下一个字节中，第一个字节中剩余的比特位就舍弃，那么就是下面的结果：
vs中是不是这样存储的呢？看图我们知道，确实就是这样存的。
3.3位段的跨平台问题
- int 位段被当成有符号数还是⽆符号数是不确定的。
- 位段中最⼤位的数⽬不能确定。（16位机器最⼤16，32位机器最⼤32，写成27，在16位机器会出问题。
- 位段中的成员在内存中从左向右分配，还是从右向左分配标准尚未定义。
- 当⼀个结构包含两个位段，第⼆个位段成员⽐较⼤，⽆法容纳于第⼀个位段剩余的位时，是舍弃剩余的位还是利用，这是不确定的。
因此：跟结构相比，位段可以达到同样的效果，并且可以很好的节省空间，但是有跨平台的问题存在。
3.4位段的应用
下图是网络协议中，IP数据报的格式，我们可以看到其中很多的属性只需要⼏个bit位就能描述，这⾥使⽤位段，能够实现想要的效果，也节省了空间，这样⽹络传输的数据报大小也会较小⼀些，对网络的畅通是有帮助的。
3.5位段使用注意事项
- 位段的⼏个成员共有同⼀个字节，这样有些成员的起始位置并不是某个字节的起始位置，那么这些位置处是没有地址的。内存中每个字节分配⼀个地址，⼀个字节内部的bit位是没有地址的。
- 所以不能对位段的成员使⽤&操作符，这样就不能使⽤scanf直接给位段的成员输⼊值，只能是先输⼊放在⼀个变量中，然后赋值给位段的成员。
4.联合体
4.1联合体的声明
- 像结构体⼀样，联合体也是由⼀个或者多个成员构成，这些成员可以是不同的类型。
- 但是
编译器只为最⼤的成员分配⾜够的内存空间。联合体的特点是所有成员共⽤同⼀块内存空间。所以联合体也叫：共⽤体。 - 给联合体其中⼀个成员赋值，其他成员的值也跟着变化。
4.2联合体的特点
- 所有变量公用同一块空间
- 改变一个成员，其它成员跟着变
4.3联合体的大小
- 联合的大小⾄少是最⼤成员的大小。
- 当最大成员大小不是最大对齐数的整数倍的时候，就要对齐到最大对⻬数的整数倍。
4.4联合体与结构体的对比
因此，使用联合体是比较节省空间的。
5.枚举
5.1枚举类型的声明
枚举枚举，顾名思义，就是一一列举。在生活中可以一 一列举出来的就可以使用枚举类型。例如
⼀周的星期⼀到星期⽇是有限的7天，可以⼀⼀列举
⽉份有12个⽉，也可以⼀⼀列举
…
枚举的关键字是enum，枚举成员用逗号隔开，最后一个成员不加逗号
- 枚举的可能取值是常量，不能修改，因此我们也叫做枚举常量
- 枚举类型的变量的值只能是枚举的可能取值
enum day
{
Monday,
Tuesday,
Wednsdsday = 10,
Thursday,
Friday,
Saturday = 20,
Sunday
};
enum day d = Sunday;//使⽤枚举常量给枚举变量赋值
5.2枚举类型的优点
我们可以使用 #define 定义常量，为什么非要使用枚举？
枚举的优点：
- 增加代码的可读性和可维护性
- 和#define定义的标识符比较枚举有类型检查，更加严谨。
- 便于调试，预处理阶段会删除 #define 定义的符号
- 使用⽅便，⼀次可以定义多个常量
- 枚举常量是遵循作⽤域规则的，枚举声明在函数内，只能在函数内使⽤
