结构体
结构体的声明
结构是一些值的集合,这些值称为成员变量。结构的每个成员可以是不同类型的变量.
//函数体声明
struct Stu
{ //成员变量
char name[20];
int id;
};
struct Stu 是结构体类型,而里面的是结构体成员变量
特殊的声明——匿名结构体
匿名结构体特指用一次就不用的结构体,也只能用一次
struct
{
int a;
char b;
float c;
}x;//x是结构体变量,这是匿名结构体,只能在这里创建
结构体变量的定义和初始化
struct Point
{
int x;
int y;
}p1; //声明类型的同时定义变量p1
struct Point p2; //定义结构体变量p2,这是全局变量
如上图所示,p2是全部变量,而在main函数中创建的结构体变量则是局部变量,只能在main函数中使用
- 结构体类型在声明时没有开辟空间,只有在定义结构体变量时才实例化开辟空间
结构体的自引用
在结构体中怎么嵌套结构体自身呢?
struct Point
{
int x;
int y;
}p1; //声明类型的同时定义变量p1
struct Point p2;
struct Node
{
int data;
struct Point p;
struct Node* next;
};
struct Node n2 = {20, {5, 6}, NULL};
结构体内存对齐
如何计算一个结构体的大小呢?
struct S1
{
char c1;
int i;
char c2;
};
printf("%d\n", sizeof(struct S1));
结构体内存对齐规则:
- 第一个成员变量的地址总是在结构体地址的0偏移处
- 从第二个成员变量开始,其他成员变量的地址要对应到其对齐数的整数倍地址处;
- 对齐数是变量本身大小和编译器默认对齐数的较小值
- 结构体总大小为结构体中最大的成员变量大小(最大对齐数)与编译器默认对齐数的较小值的整数倍
- 如果结构体中嵌套结构体,嵌套的结构体对齐到自己的最大对齐数的整数倍处,结构体的整体大小就是所有最大对齐数(含嵌套结构体的对齐数)的整数倍,就是说不管哪个结构体都要对齐到自己的最大对齐数的整数倍,而外面的那个结构体还要考虑里面的那个最大对齐数。
那为什么要内存对齐呢?
1. 平台原因(移植原因):
不是所有的硬件平台都能访问任意地址上的任意数据的;某些硬件平台只能在某些地址处取某些特
定类型的数据,否则抛出硬件异常。
2. 性能原因:
数据结构(尤其是栈)应该尽可能地在自然边界上对齐。
原因在于,为了访问未对齐的内存,处理器需要作两次内存访问;而对齐的内存访问仅需要一次访
问。那就存在多次内存访问,降低性能和效率
总体来说:
结构体的内存对齐是拿空间来换取时间的做法。
那在设计结构体的时候,我们既要满足对齐,又要节省空间,如何做到:
- 让占用空间小的成员尽量集中在一起
举个例子:两个结构体的变量相同,但由于位置不同,结构体大小也不同
struct S1
{
char c1;
int i;
char c2;
};
struct S2
{
char c1;
char c2;
int i;
};
offsetof 宏的模拟实现
结构体传参
结构体在传参的时候,虽然传值和传址在表面上看都差不多,但在实际上,传值和传址却是不同的,函数传参时要压栈,如果结构体太大,就要花费很多开销,导致性能下降。
位段
定义
位段的定义和结构体差不多,但位段可以定义每个变量所占的空间。位段的大小一般是以bite为单位
位段有两个不同:1.位段的成员必须是 int、unsigned int 或signed int 。2.位段的成员名后边有一个冒号和一个数字。
举个例子:
struct A
{
int _a:2;
int _b:5;
int _c:10;
int _d:30;
};
位段的内存分配
struct S
{
char a:3;
char b:4;
char c:5;
char d:4;
};
struct S s = {0};
s.a = 10;
s.b = 12;
s.c = 3;
s.d = 4;
位段存在跨平台问题
1. int 位段被当成有符号数还是无符号数是不确定的。2. 位段中最大位的数目不能确定。( 16 位机器最大 16 , 32 位机器最大 32 ,写成 27 ,在 16 位机器会出问题。3. 位段中的成员在内存中从左向右分配,还是从右向左分配标准尚未定义。4. 当一个结构包含两个位段,第二个位段成员比较大,无法容纳于第一个位段剩余的位时,是舍弃剩余的位还是利用,这是不确定的。
枚举
枚举类型的定义
enum Day//星期
{
Mon,
Tues,
Wed,
Thur,
Fri,
Sat,
Sun
};
没有显示的指明大小,那就是从0开始,往下递增;当然也可以在定义时赋初值。
枚举的好处
有define,为啥还要枚举
1. 增加代码的可读性和可维护性2. 和 #define 定义的标识符比较枚举有类型检查,更加严谨。3. 防止了命名污染(封装)4. 便于调试5. 使用方便,一次可以定义多个常量
应用
enum Color//颜色
{
RED=1,
GREEN=2,
BLUE=4
};
enum Color clr = GREEN;//只能拿枚举常量给枚举变量赋值,才不会出现类型的差异
联合体
声明和定义
union Un
{
char c;
int i;
}; //声明
//联合变量的定义
union Un un;
特点
int main() //1
{
int a = 1;//0x 00 00 00 01
//低-----------------> 高
//01 00 00 00 - 小端
//00 00 00 01 - 大端
//
if (*(char*)&a == 1)
{
printf("小端\n");
}
else
{
printf("大端\n");
}
return 0;
}
int check_sys() //2
{
union
{
char c;
int i;
}un;
un.i = 1;
return un.c;
}
int main()
{
int a = 1;//0x 00 00 00 01
//低-----------------> 高
//01 00 00 00 - 小端
//00 00 00 01 - 大端
//
int ret = check_sys();
if (ret == 1)
printf("小端\n");
else
printf("大端\n");
return 0;
}
联合体大小的计算
联合的大小至少是最大成员的大小。当最大成员大小不是最大对齐数的整数倍的时候,就要对齐到最大对齐数的整数倍