自定义类型结构
1.前言
c语言库里定义了很多类型,比如int、char、float…之类的,但有很多东西不能用这些类型定义,比如一个学生是什么类型?说什么都说不过去吧。所以c语言允许我们程序员自定义类型,接下来就带大家看看。
2.结构体
结构是一些值的集合,这些值称为成员变量。结构的每个成员可以是不同类型的变量。
2.1结构体类型的声明
struct XXX
{
成员变量...
}变量名字(可以省略);
假如创建一个老师结构体
struct Tea
{
char name[5]; //名字
char num[10]; //学号
int age; //姓名
};//注意这里有分号
在声明结构的时候,可以不完全的声明。省略XXX,如果要用这种声明,变量名不能省略。
//匿名结构体类型
struct
{
int a;
char b;
float c;
}x;
struct
{
int a;
char b;
float c;
}a[20], *p;
如果按照上面代码那种方法声明,那么这种用法对吗?
p = &x;
这种做法是不对的,因为省略了xxx,虽然看起来这两个类型一样,但是在编译器看来这是两个不一样的类型,把地址赋给指针是错误的。所以用这种声明的时候要注意。
2.2结构的自引用
既然说结构里面的成员变量可以是任何类型,那么可以是自身吗?
//代码1
struct Node
{
int data;
struct Node next;
};
大家仔细想想这样肯定是不行的,就想无限套娃,递归没有终止条件一样,结构体里一直套结构体…如果这样的话那么sizeof(strcut Node)的大小是多少。
那如何能实现结构的自引用呢?
//代码2
struct Node
{
int data;
struct Node* next;
};
注:
因为结构体的名字比较长,所以大部分程序员会用typedef来重命名结构体,但是要注意一个点。
//代码3
typedef struct
{
int data;
Node* next;
}Node;
//这样写代码,可行否?
这种代码是错误的,解决方案是
//解决方案:
typedef struct Node
{
int data;
struct Node* next;
}Node;
2.3结构体变量的定义和初始化
定义
struct Point
{
int x;
int y;
}p1; //声明类型的同时定义变量p1
struct Point p2; //定义结构体变量p2
初始化
//初始化:定义变量的同时赋初值。
struct Point p3 = {x, y};
struct Stu //类型声明
{
char name[15];//名字
int age; //年龄
};
struct Stu s = {"zhangsan", 20};//初始化
struct Node
{
int data;
struct Point p;
struct Node* next;
}n1 = {10, {4,5}, NULL}; //结构体嵌套初始化
struct Node n2 = {20, {5, 6}, NULL};//结构体嵌套初始化
2.4结构体内存对齐(重点)
计算结构体的大小一直是一个热门的考点,这其中就是考察到了内存对齐的知识点。
先了解四个内存对齐的规则
- 第一个成员在与结构体变量偏移量为0的地址处。
- 其他成员变量要对齐到某个数字(对齐数)的整数倍的地址处。对齐数 = 编译器默认的一个对齐数 与 该成员大小的较小值。VS中默认的值为8,Linux中没有默认对齐数,对齐数就是成员自身的大小。
- 结构体总大小为最大对齐数(每个成员变量都有一个对齐数)的整数倍。
- 如果嵌套了结构体的情况,嵌套的结构体对齐到自己的最大对齐数的整数倍处,结构体的整体大小就是所有最大对齐数(含嵌套结构体的对齐数)的整数倍。
我们来做几道题来运用一下这四个规则吧。
//练习1
struct S1
{
char c1;
int i;
char c2;
};
printf("%d\n", sizeof(struct S1));
解析:首先char c1是第一个成员变量,在偏移量为0的位置,然后是int i,对齐数是4,
所以浪费了偏移量为1、2、3的这3个字节,从4开始,占据4、5、6、7四个字节,最后是char c2,对齐数是1,
占据第8个字节,8刚好是4(成员变量的最大对齐数)的倍数,所以输出结果为8。
//练习2
struct S2
{
char c1;
char c2;
int i;
};
printf("%d\n", sizeof(struct S2));
解析:首先char c1是第一个成员变量,在偏移量为0的位置,然后是char c2,对齐数是1,
占据偏移量为1这个字节,最后是int i,对齐数是4,浪费偏移量为2、3的这两个字节
占据第4、5、6、7个字节,7不是4(成员变量的最大对齐数)的倍数,所以输出结果为8。
//练习3
struct S3
{
double d;
char c;
int i;
};
printf("%d\n", sizeof(struct S3));
解析:首先double d是第一个成员变量,对齐数为8,故占据偏移量为0、1、2、3、4、5、6、7这8个字节,
然后是char c,对齐数为1,故占据偏移量为8这一个字节,
最后是int i,对齐数为4,故要浪费偏移量为9、10、11这3个字节,占据偏移量为12、13、14、15这4个字节,
15不是8的倍数(成员变量的最大对齐数),故输出结果为16
//练习4-结构体嵌套问题
struct S4
{
char c1;
struct S3 s3;
double d;
};
printf("%d\n", sizeof(struct S4));
解析:首先char c1是第一个成员变量,在偏移量为0的位置,
然后是struct S3 s3,根据上一个例题和对齐数规则,对齐数是8,所以浪费了偏移量为1、2、3、4、5、6、7的这8个字节,
从8开始,占据8、9、10、11、12、13、14、15八个字节,
最后是double d,对齐数是8,占据第16、17、18、19、20、21、22、23个字节,
24不是是8(成员变量的最大对齐数)的倍数,所以输出结果为24。
那为什么会存在内存对齐呢?
- 平台原因(移植原因): 不是所有的硬件平台都能访问任意地址上的任意数据的;某些硬件平台只能在某些地址处取某些特定类型的数据,否则抛出硬件异常。
- 性能原因: 数据结构(尤其是栈)应该尽可能地在自然边界上对齐。 原因在于,为了访问未对齐的内存,处理器需要作两次内存访问;而对齐的内存访问仅需要一次访问。
总的来说就是拿空间换取时间。
2.5结构体传参
//结构体声明、定义和初始化
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;
}
这两种方式传参都行,但更加推荐第二种方式,因为传一个结构体过去,开辟的临时拷贝占的空间可能会很大。
2.6修改默认对齐数
#include <stdio.h>
#pragma pack(8)//设置默认对齐数为8
#pragma pack()//取消设置的默认对齐数,还原为默认
2.7结构体实现位段(位段的填充&可移植性)
(1)位段:C语言允许在一个结构体中以位为单位来指定其成员所占内存长度,这种以位为单位的成员称为“位段”或称“位域”( bit field) 。利用位段能够用较少的位数存储数据。可以节省空间。
(2)位段的声明:
1. 位段的成员必须是 int、unsigned int 、signed int或char 。
2. 位段的成员名后边有一个冒号和一个数字(单位是比特位)。
struct A
{
int _a:2;
int _b:5;
int _c:10;
int _d:30;
}
(3)位段大小的计算:
如果成员是int类型一次性开辟4个字节(32位),如果是char类型一次性开辟1个字节(8位)。当一个结构包含两个位段,第二个位段成员比较大,无法容纳于第一个位段剩余的位时,是舍弃剩余的位还是利用,这是不确定的。所以每个平台计算出的结果是不一样的。
(4)位段具有很多不稳定因素,是不跨平台的,所以在可移植程序上要注意避免使用位段。
原因:
- int 位段被当成有符号数还是无符号数是不确定的。
- 位段中最大位的数目不能确定。(16位机器最大16,32位机器最大32,写成27,在16位机器会出问题。
- 位段中的成员在内存中从左向右分配,还是从右向左分配标准尚未定义。
- 当一个结构包含两个位段,第二个位段成员比较大,无法容纳于第一个位段剩余的位时,是舍弃剩余的位还是利用,这是不确定的
3.枚举
相信大家都听说过枚举法,枚举就是把所有可能性列举出来(要有限),例如性别、月份都可以枚举出来。
3.1枚举类型的定义
enum Day//星期
{
Mon,
Tues,
Wed,
Thur,
Fri,
Sat,
Sun
};//不要漏了分号
enum Sex//性别
{
MALE,
FEMALE,
SECRET
};
enum Color//颜色
{
RED,
GREEN,
BLUE
};
以上定义的 enum Day , enum Sex , enum Color 都是枚举类型。
{}中的内容是枚举类型的可能取值,也叫枚举常量 。
这些可能取值都是有值的,默认从0开始,依次递增1,当然在声明枚举类型的时候也可以赋初值
enum Color//颜色
{
RED=1,
GREEN=2,
BLUE=4
};
3.2枚举的优点
(1)增加代码的可读性
(2)一次定义多个枚举常量
(3)便于调试
3.3枚举的使用
enum Color//颜色
{
RED=1,
GREEN=2,
BLUE=4
};
enum Color clr = GREEN;//只能拿枚举常量给枚举变量赋值,才不会出现类型的差异。
clr = 5; //这种写法最好不要写
4.联合
联合(union)是一种数据类型,他能在同一块空间中存储不同数据类型,但不是同时存储。如果我们想设计一种结构,其能存储一些既无规律,也无顺序的数据,那么就可以用到联合。
4.1联合类型的定义
//联合类型的声明
union Un
{
char c;
int i;
};
//联合变量的定义
union Un un;
4.2联合的特点
(1)成员变量共用同一块空间
(2)联合体的大小至少是最大成员的大小
union Un
{
int i;
char c;
};
union Un un;
// 下面输出的结果是一样的吗?
printf("%d\n", &(un.i));
printf("%d\n", &(un.c));
//结果是一样的,成员变量共用一块空间内存
//下面输出的结果是什么?
un.i = 0x11223344;
un.c = 0x55;
printf("%x\n", un.i)
//结果是0x55223344
利用这个特性是不是能解决判断大小端的问题了?
union un
{
int i;
char c;
};
int main()
{
union un a;
a.i = 1;
int ret = a.c;
if (ret == 1)
printf("小端\n");
else
printf("大端\n");
return 0;
}
4.3联合大小的计算
(1)联合的大小至少是最大成员的大小。
(2)当最大成员大小不是最大对齐数的整数倍的时候,就要对齐到最大对齐数的整数倍。
union Un1
{
char c[5];
int i;
};
union Un2
{
short c[7];
int i;
};
//下面输出的结果是什么?
printf("%d\n", sizeof(union Un1));
printf("%d\n", sizeof(union Un2));
解析:Un1的最大成员大小为5个字节,但是最大对齐数是4,故该联合体的大小为8个字节
Un2的最大成员为7个14个字节,最大对齐数为4,故该联合体的大小为16个字节。