内置类型
C语言给定的标准类型:int,char,short,float,double,long long...等等。
这些类型只能描述简单的对象,比如:身高,体重,年龄,个数等等。
但是现实有很多复杂的对象:人,书,运动,规则,动物等等,这些对象不能通过一个简单的变量去描述清除,比如描述人,首先要介绍他的身高,体重,年龄,外貌,特征等等。这种就不能通过标准类型去描述了。C语言为描述对象,创建了自定义类型。
自定义类型:结构体
1.结构体的声明
1.1 结构的基础知识
结构是一些值的集合,这些值称为成员变量。结构的每个成员可以是不同类型的变量。
1.2 结构的声明
struct tag //struct -结构体类型,tag-结构体标签
{
member-list; //member-list-成员列表
}variable-list; //variable-list-变量列表
例如:如何使用结构体描述一个学生?
struct Stu //创建结构体类型
{
//学生的相关属性
char name[20]; //学生的姓名
int age; //学生的年龄
}s1,s2; //s1,s2是全局变量
int main()
{
struct Stu s3; //s3是局部变量
return 0;
}
1.3 特殊的声明
声明结构的时候,可以不完全的声明。比如:
//匿名结构体类型
struct
{
int a;
char b;
float c;
}x;
struct
{
int a;
char b;
float c;
}a[20],*p;
上面两个结构在声明的时候省略了结构体标签(tag)。
那么问题来了?
//在上面代码的基础上,下面的代码合法吗?
p=&x;
警告:编译器会把上面两个声明当成完全不同的类型,所以是非法的。
1.4 结构的自引用
什么情况下会使用到结构体的自引用呢?
在数据结构中链表的实现就使用到了结构体的自引用,如何在杂乱的内存中找到12345,使用结构体 创建两个成员,一个是存储的数据,另外一个是指向下一个目标的地址。
数据结构中的链表:
在结构中包含一个类型为该结构本身的成员是否可以呢?
错误的自引用方法:
//代码1
struct Node
{
int data;
struct Node next;
};
//这样的代码可行吗?
//如果可以,计算一下sizeof(struct Node)是多少?
正确的自引用方法:
//代码2
struct Node
{
int data;
struct Node *next;
};
1.5 结构体变量的定义和初始化
有了结构体类型,那如何定义变量,其实很简单!
struct point
{
int x;
int y;
}p1; //声明类型的同时定义变量p1
struct point p2; //定义结构体变量p2
//初始化:定义变量的同时赋值
struct point p3={2,3};
struct Stu
{
char name[15]; //名字
int age; //年龄
};
struct Stu s={"zhangsan",18};
//结构体嵌套初始化
struct Node
{
int data;
struct Node *next;
struct point s;
}n1={10,NULL,{4,5}}; //嵌套初始化
struct Node n2={10,NULL,{4,5}}; //定义变量的同时嵌套初始化
1.6 结构体内存对齐
我们已经基本掌握了结构体的基本使用,那结构体的大小是多少呢?
这也是一个非常重要的知识点:结构体内存对齐。
计算下面的结构体类型的大小:
struct Stu1
{
char c1;
int i;
char c2;
};
struct Stu2
{
char c1;
char c2;
int i;
};
struct Stu3
{
char c1;
struct Stu1;
double d;
};
int main()
{
printf("%d\n", sizeof(struct Stu1));
printf("%d\n", sizeof(struct Stu2));
printf("%d\n", sizeof(struct Stu3));
return 0;
}
结构体的对齐规则:
- 第一个成员在与结构体变量偏移量为0的地址处。
- 其他成员变量要对齐到某个数字(对齐数)的整数倍的地址处。
对齐数 = 编译器默认的一个对齐数与该成员大小的较小数。
Visual Studio 2022中默认的值为8。
- 结构体总大小为最大对齐数(每个成员变量都有一个对齐数)的整数倍。
- 如果嵌套了结构体的情况,嵌套的结构体对齐到自己的最大对齐数的整数倍处,结构体的整体大小就是所有最大对齐数(含嵌套结构体的对齐数)的整数倍。
为什么存在内存对齐?
- 平台原因(移植原因):
不是所有的硬件平台都能访问任意地址上的任意数据的,某些硬件平台只能在某些地址处取某些特定类型的数据,否则会出现硬件异常。
- 性能原因:
数据结构(尤其是栈)应该尽可能地在自然边界上对齐。
原因在于,为了访问未对其的内存,处理器需要作两次内存访问,而对齐的内存只需要访问一次。
总体来说:结构体的内存对齐是拿空间换取时间的说法。
所以在设计结构体的时候,我们既要满足对齐,又要节省空间,如何做到:
让占用空间小的的成员尽量集中在一起。
例如:
struct Stu1 //占用空间大小为12字节
{
char c1;
int i;
char c2;
};
struct Stu2 //占用空间大小为8字节
{
char c1;
char c2;
int i;
};
Stu1和Stu2类型的成员一摸一样,但是他们所占用的空间的大小有了一些区别。
1.7 修改默认对齐数
之前我们见过#pragma这个预处理指令,这里我们使用它,可以改变我们的默认对齐数。
#include <stdio.h>
#pragma pack(8) //设置默认对齐数为8
struct Stu1
{
char c1;
int i;
char c2;
};
#pragma pack() //取消设置的默认对齐数,还原为默认
#pragma pack(1) //设置默认对齐数为1
struct Stu2
{
char c1;
char c2;
int i;
};
#pragma pack() //取消设置的默认对齐数,还原为默认
结论:
结构在对齐方式不合适的时候,我们可以自己设置更改默认对齐数。
1.8 结构体传参
struct St
{
int data[1000];
int num;
};
void print1(struct St ss) //结构体类型
{
int i = 0;
for (i = 0; i < 3; i++)
{
printf("%d ",ss.data[i]);
}
printf("%d\n",ss.num);
}
void print2(const struct St *ss) //结构体类型的指针
{
int i = 0;
for (i = 0; i < 3; i++)
{
printf("%d ", ss->data[i]);
}
printf("%d\n", ss->num);
}
int main()
{
struct St s = { {1,2,3},100 };
print1(s); //传值调用
print2(&s); //传址调用
return 0;
}
以上两种传参方法,那个更好?
答案:首选print2函数。
原因:
函数在传参的时候,参数是需要压栈的,会有时间和空间上的系统开销。
如果传递一个结构体对象的时候,结构体过大,参数压栈的系统开销比较大,所以会导致性能的下降。
结论:结构体传参的时候,首选传结构体的地址。
2.位段
学完结构体就要讲讲结构体实现位段的能力。
2.1 什么是位段
位段的声明和结构类似,但是有两个不同:
1.位段的成员必须是int,unsigned int ,或者signed int,(char也是整型)。
2.位段的成员名后边必须有一个冒号和一个数字。
比如:
struct A
{
int a:2; //a变量需要的大小是2个bit位
int b:5; //b变量需要的大小是5个bit位
int c:10; //c变量需要的大小是10个bit位
int d:30; //d变量需要的大小是30个bit位
}
那位段A的大小是多少呢?
?????????????????????
2.2 位段的内存分配
1.位段的成员可以是int,unsigned ing,signed int或者是char(属于整型家族)类型。
2.位段的空间是按照需要以4个字节(int)或者1个字节(char)的方式来开辟的。
3.位段涉及很多不确定的因素,位段是不跨平台的,注重可移植的程序应该避免使用位段。
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;
}
//空间是如何开辟的?
开辟方式:
注意:不存在大小字节序的问题,因为只有超过一个字节才需要考虑大小字节端的问题。
2.3 位段的跨平台问题
1.int 位段被当成有符号数还是无符号数是不确定的。
2.位段中最大位的数目还不能确定。(16位机器最大16,32位机器最大32,写成27,在16位机器会出现问题)。
3.位段中的成员在内存中从左向右分配,还是从右向左分配标准尚未定义。
4.当一个结构包含两个位段,第二个位段成员比较大,无法容纳第一个位段的剩余的位时,是舍弃还是位还是利用位,这是不确定的。
总结:
跟结构相比,位段可以达到同样的效果,但是可以很好的节省空间,但是有跨平台的问题存在。