目录
1.结构体
1.1结构体声明
1.struct-结构体关键字;
2. Stu-结构体标签(tag);
3.{……}-结构体成员表变量;
注:分号不能丢
(关于类型)
1.1.1*结构体不完全声明
(没有结构体标签)
🤔编译器会把上面的两个声明当成完全不同的两个类型。
1.2结构的自引用
在结构中包含一个类型为该结构本身的成员
❌
✔
(注意)
1.3结构体变量的定义和初始化
1.4结构体内存对齐
返回的值是类型为 size_t 的无符号整数值,具有指定成员与其结构开头之间的字节数。
用来计算结构体成员相对于起始位置的偏移量
/* offsetof example */
#include <stdio.h> /* printf */
#include <stddef.h> /* offsetof */
struct foo {
char c1;
char c2;
int i;
};
int main()
{
printf("offsetof(struct foo,c1) is %d\n", (int)offsetof(struct foo, c1));
printf("offsetof(struct foo,c2) is %d\n", (int)offsetof(struct foo, c2));
printf("offsetof(struct foo,i) is %d\n", (int)offsetof(struct foo, i));
return 0;
}
output:
offsetof(struct foo,c1) is 0
offsetof(struct foo,c2) is 1
offsetof(struct foo,i) is 4
结构体内存对齐的规则
1.结构体的第一个成员直接对齐到相对于结构体变量起始位置为0的偏移处;
2.从第二个成员开始,要对齐到某个【对齐数】的整数倍的偏移处; (对齐数:结构体成员自身大小和默认对齐数的较小值) (Linux环境默认不设置对齐数,即对齐数是结构体成员的自身大小)
3.结构体的总大小,必须是最大对齐数的整数倍;(每个结构体成员都有一个对齐数,其中最大的对齐数就是最大对齐数)
4.如果嵌套了结构体的情况,嵌套的结构体对齐到自己最大对齐数的整数倍处,结构体的整体大小就是所有最大对齐数(含嵌套结构体的对齐数)的整数倍数。
/* offsetof example */
#include <stdio.h> /* printf */
#include <stddef.h> /* offsetof */
struct foo {
char c1;// 1 / 8--1 →0
char c2;// 1 / 8--1 →1
int i;// 4 / 8--4 →4 5 6 7
//最大对齐数-4-结构体自身大小要是最大对齐数的整数倍 → 8
};
int main()
{
printf("offsetof(struct foo,c1) is %d\n", (int)offsetof(struct foo, c1));
printf("offsetof(struct foo,c2) is %d\n", (int)offsetof(struct foo, c2));
printf("offsetof(struct foo,i) is %d\n", (int)offsetof(struct foo, i));
printf("%llu", sizeof(struct foo));
return 0;
}
为什么存在对齐?
- 平台原因(移植原因):
不是所有的硬件平台都能访问任意地址上的任意数据的;某些硬件平台只能在某些地址处取某些特定类型的数据,否则抛出硬件异常。 - 性能原因:
数据结构(尤其是栈)应该尽可能地在自然边界上对齐。原因在于,为了访问未对齐的内存,处理器需要作两次内存访问;而对齐的内存访问仅需要一次访问。
结构体的内存对齐是拿空间来换取时间的做法。
那在设计结构体的时候,我们既要满足对齐,又要节省空间,如何做到:让占用空间小的成员尽量集中在一起。
1.5修改默认对齐数
#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()//取消设置的默认对齐数,还原为默认
int main()
{
//输出的结果是什么?
printf("%llu\n", sizeof(struct S1));
printf("%llu\n", sizeof(struct S2));
printf("offsetof(struct S1,c2) is %d\n", (int)offsetof(struct S1, c2));
printf("offsetof(struct S2,c2) is %d\n", (int)offsetof(struct S2, c2));
return 0;
}
output:
12
6
offsetof(struct S1,c2) is 8
offsetof(struct S2,c2) is 5
1.6结构体传参
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;
}
函数传参的时候,参数是需要压栈,会有时间和空间上的系统开销。
如果传递一个结构体对象的时候,结构体过大,参数压栈的的系统开销比较大,所以会导致性能的下降。
结论:结构体传参的时候,要传结构体的地址。
1.7位段
位段的声明和结构是类似的,有两个不同:
1.位段的成员必须是 int、unsigned int 或signed int 。
2.位段的成员名后边有一个冒号和一个数字。
struct A
{
//预先开辟 4byte 的空间,因为是int
int _a : 2;//2个比特位
int _b : 5;//5个比特位
int _c : 10;//10个比特位
int _d : 30;//30个比特位
//上述成员变量至少需要47bit的空间
//空间不够,又开辟一个int的空间-4byte
};
int main()
{
printf("sizeof(struct A) is %llu\n", sizeof(struct A));//8byte-64bit
}
A就是一个位段类型。位段的位是指二进制位。
位段的内存分配:
- 位段的成员可以是 int unsigned int signed int 或者是 char (属于整形家族)类型
- 位段的空间上是按照需要以4个字节( int )或者1个字节( char )的方式来开辟的。
- 位段涉及很多不确定因素,位段是不跨平台的,注重可移植的程序应该避免使用位段。
位段的跨平台问题:
- int 位段被当成有符号数还是无符号数是不确定的。
- 位段中最大位的数目不能确定。(16位机器最大16,32位机器最大32,写成27,在16位机
器会出问题。 - 位段中的成员在内存中从左向右分配,还是从右向左分配标准尚未定义。
- 当一个结构包含两个位段,第二个位段成员比较大,无法容纳于第一个位段剩余的位时,是
舍弃剩余的位还是利用,这是不确定的。
跟结构相比,位段可以达到同样的效果,但是可以很好的节省空间,但是有跨平台的问题存在。
2.枚举
2.1枚举类型的定义
enum Day//星期
{
Mon,
Tues,
Wed,
Thur,
Fri,
Sat,
Sun
};
enum Sex//性别
{
MALE,
FEMALE,
SECRET
};
enum Color//颜色
{
RED,
GREEN,
BLUE
};
枚举类型⇨
enum
Day/sex/color
{ 枚举常量 }
枚举的取值本质上是数字,默认从0开始,依次往后++
- 那么,这些数字是可以被改变吗?
- 👇
可以,在初始的时候赋值后续的取值依此+1
这些数字可以运算,因为本质上是整型
2.2枚举的优点
枚举的优点:
- 增加代码的可读性和可维护性
- 和#define定义的标识符比较枚举有类型检查,更加严谨。
- 防止了命名污染(封装)
- 便于调试
- 使用方便,一次可以定义多个常量
2.3枚举的使用
enum Color//颜色
{
RED = 1,
GREEN = 2,
BLUE = 4
};
int main()
{
enum Color clr = GREEN;//只能拿枚举常量给枚举变量赋值,才不会出现类型的差异。
return 0;
}
3.联合(共用体)
3.1联合类型的定义
联合也是一种特殊的自定义类型 这种类型定义的变量也包含一系列的成员,特征是这些成员公用同一块空间(所以联合也叫共用体)。
//联合类型的声明
union Un
{
char c;
int i;
};
//联合变量的定义
union Un un;
//计算连个变量的大小
printf("%d\n", sizeof(un));
3.2联合的特点
联合的成员是共用同一块内存空间的,这样一个联合变量的大小,至少是最大成员的大小(因为联
合至少得有能力保存最大的那个成员)。
3.3联合体的大小端用法
#include<stdio.h>
int check_sys()
{
union Un
{
char c;
int i;
}u;
u.i = 1;
return u.c;
}
int main()
{
//int num = 0×11223344;
int ret = check_sys();
if (1 == ret)
printf("小端\n");
else
printf("大端\n");
return 0;
}
3.4联合大小的计算
联合的大小至少是最大成员的大小。
当最大成员大小不是最大对齐数的整数倍的时候,就要对齐到最大对齐数的整数倍。