目录
前言
本篇文章主要讲解有关结构体,枚举和联合体的相关知识,包括声明、定义、初始化以及对齐等内容,下面我们就开始啦~
一、结构体
1)结构体类型的声明
基础知识:结构是一些值的集合,这些值称为成员变量。结构的每个成员可以是不同类型的变量。
1.1结构的声明
struct tag //struct结构体关键字,tag结构体标签{member-list; //成员列表,不止一个}variable-list; //变量列表
例如
eg:描述一个学生
struct Stu{char name[20]; //名字int age; //年龄char sex[5]; //性别char id[20]; //学号}; //分号不能丢!!
1.2特殊的声明
在声明结构的时候,可以不完全的声明。
eg:匿名结构体类型, 在声明的时候省略掉了结构体标签( tag )。
struct
{
int a;
char b;
float c;
}x;//一般后面必须加变量名,且因为是匿名,只能用一次
struct
{
int a;
char b;
float c;
}a[20], *p;
我们可以看到上面定义的两个匿名结构体成员列表一样,那么问题来了?
//在上面代码的基础上,下面的代码合法吗?p = &x;警告: 编译器会把上面的两个声明当成完全不同的两个类型。 所以是非法的。
2)结构的自引用
在结构中包含一个类型为该结构本身的成员
eg:错误写法
struct Node{int data;struct Node next;};警告: 我们不知道sizeof(srruct Node)的大小,创建一个struct Node类型的函数大小未知,无法编译。
正确的自引用方式:
struct Node
{
int data;
struct Node* next;//指向下一个这样节点的地址
};
下面我们又有一个问题
//这样写代码,是否可行?typedef struct{int data;Node* next; // <- a}Node;警告: 在a处还未定义Node,代码有误
解决方案
typedef struct Node
{
int data;
struct Node* next;
}Node;
3)结构体变量的定义和初始化
eg:定义全局结构体变量
struct Point{int x;int y;}p1; //声明类型的同时定义变量p1struct Point p2; //定义结构体变量p2
eg:初始化
struct Point{int x;int y;}p1 {1, 2}; //声明类型的同时定义变量p1同时赋值struct Point p3 = {1, 2};//定义变量的同时赋初值
4)结构体内存对齐
4.1结构体对齐规则
-
第一个成员在与结构体变量偏移量为0的地址处。
-
其他成员变量要对齐到某个数字(对齐数)的整数倍的地址处。对齐数 = 编译器默认的一个对齐数 与 该成员大小的较小值。
-
结构体总大小为最大对齐数(每个成员变量都有一个对齐数)的整数倍。
-
如果嵌套了结构体的情况,嵌套的结构体对齐到自己的最大对齐数的整数倍处,结构体的整体大小就是所有最大对齐数(含嵌套结构体的对齐数)的整数倍。
下面我们来举几个例子,来更好的理解结构体的对齐方式
eg:
struct S1 //练习1{char c1;//1int i;//4char c2;//1};printf("%d\n", sizeof(struct S1));struct S2 //练习2{char c1;char c2;int i;};printf("%d\n", sizeof(struct S2));
我们可以看到上面两个结构体中的成员函数是一样的,那是否所占字节大小是一样的呢?是否是6呢?我们来运行一下。
我们可以看到结果是不一样的。那我们就来讲解一下结构体中的数据是怎样存储的。
eg:对齐数 = 编译器默认的一个对齐数 与 该成员大小的较小值。(在vs编译器下,默认对齐数是8)
struct S1 //练习1{char c1;//c1的对齐数为char大小1和默认对齐数8的较小值,即为1int i;//以此类推,i的对齐数为4char c2;//c2的对齐数是1};printf("%d\n", sizeof(struct S1));
我们先来看练习1
之后我们再来看练习2
我们可以验证一下是否是这么存储的,c语言中有一个宏offsetof,用来计算结构体成员相对于起始位置的偏移量
#include<stdio.h>
#include<stddef.h>//头文件
struct S1//练习1
{
char c1;
int i;
char c2;
};
int main()
{
printf("%u\n", offsetof(struct S1, c1));
printf("%u\n", offsetof(struct S1, i));
printf("%u\n", offsetof(struct S1, c2));
return 0;
}
运行结果展示,可以看到和我们第一个分析的是一样的。
我们再来看一个练习3,来了解有关嵌套结构体的对齐
eg:
//练习3-结构体嵌套问题struct S3{char c1;struct S2 s2;double d;};printf("%d\n", sizeof(struct S3));
4.2内存对齐的原因
-
平台原因 ( 移植原因 ) :不是所有的硬件平台都能访问任意地址上的任意数据的;某些硬件平台只能在某些地址处取某些特定类型的数据,否则抛出硬件异常。
-
性能原因 :数据结构 ( 尤其是栈 ) 应该尽可能地在自然边界上对齐。原因在于,为了访问未对齐的内存,处理器需要作两次内存访问;而对齐的内存访问仅需要一次访问。
总的来说:结构体的内存对齐就是拿空间来换取时间的做法。
4.3修改默认对齐数
结构在对齐方式不合适的时候,我么可以自己更改默认对齐数。
用#pragma pack( )修改
#pragma pack(1)//设置默认对齐数为1struct S2{char c1;int i;char c2;};#pragma pack()//取消设置的默认对齐数,还原为默认
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;
}
上面两种传参方式,print2更好。
6)结构体实现位段(位段的填充&可移植性)
6.1位段
- 位段的成员必须是 int,unsigned int ,signed int 或 char。
- 位段的成员名后边有一个冒号和一个数字。
eg:冒号后面的数字指的是占内存的bit位
struct A{int _a:2;//_a这个成员只占2个bit位int _b:5;//_b这个成员只占5个bit位int _c:10;//····int _d:30;};//A就是一个位段类型
上面的_a只占两个bit位,所以能表示的值只有4种,如若我们只需要表示0-3这4个数字的话,使用位段会更节省空间。
6.2位段的内存分配(vs)
-
位段的成员可以是 int unsigned int signed int 或者是 char (属于整形家族) 类型
-
位段的空间上是按照需要以 4 个字节( int )或者 1 个字节( char )的方式来开辟的。
-
位段涉及很多不确定因素,位段是不跨平台的,注重可移植的程序应该避免使用位段。
我们来举一个例子
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;
}
下面我们来画图,详细分析一下
跟据上图,我们可以知道,在内存中存放的位0x620304。
我们可以调试一下,看看内存中,放的到底是什么。如下图,我们可以知道,上面的存储方式是正确的。
6.3位段的跨平台问题
-
int 位段被当成有符号数还是无符号数是不确定的。
-
位段中最大位的数目不能确定。(16位机器最大16,32位机器最大32,写成27,在16位机器会出问题。
-
位段中的成员在内存中从左向右分配,还是从右向左分配标准尚未定义。
-
当一个结构包含两个位段,第二个位段成员比较大,无法容纳于第一个位段剩余的位时,是舍弃剩余的位还是利用,这是不确定的。
总结:跟结构相比,位段可以达到同样的效果,但是可以很好的节省空间,但是有跨平台的问题存在。
6.4位段的应用
二、枚举
eg:
一周的星期一到星期日是有限的7天,可以一一列举。性别有:男、女、保密,也可以一一列举。月份有12个月,也可以一一列举。
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 ,当然在定义的时候也可以赋初值。eg:enum Color//颜色{RED=1,GREEN=2,BLUE=4};
2)枚举的优点
-
增加代码的可读性和可维护性
-
和 #define 定义的标识符比较枚举有类型检查,更加严谨。
-
防止了命名污染(封装)
-
便于调试
-
使用方便,一次可以定义多个常量
3)枚举的使用
enum Color//颜色{RED=1,GREEN=2,BLUE=4};enum Color clr = GREEN;//只能拿枚举常量给枚举变量赋值,才不会出现类型的差异。clr = 5; //ok??//直接赋值5是不正确的,5是int类型,而clr是enum Color类型。
三、联合(共用体)
1)联合类型的定义
联合也是一种特殊的自定义类型这种类型定义的变量也包含一系列的成员,特征是这些成员公用同一块空间(所以联合也叫共用体)。
//联合类型的声明
union Un
{
char c;
int i;
};
2)联合的特点
-
联合的成员是共用同一块内存空间的,这样一个联合变量的大小,至少是最大成员的大小(因为联合至少得有能力保存最大的那个成员)。
我们来举个例子
#include<stdio.h>
union Un
{
int i;
char c;
};
int main()
{
union Un un;
// 下面输出的结果是一样的吗?
printf("%d\n", &un);
printf("%d\n", &(un.i));
printf("%d\n\n", &(un.c));
//下面输出的结果是什么?
un.i = 0x11223344;
un.c = 0x55;
printf("%x\n", un.i);
}
运行结果展示,我们可以看到前三个地址都是一样的,而且在改变un.c的值的时候un.i的值也被改变了。
我们来画图解释一下,所以更改u的时候i也会更改,更改i的时候u也会更改。
3)联合大小的计算
-
联合的大小至少是最大成员的大小。
-
当最大成员大小不是最大对齐数的整数倍的时候,就要对齐到最大对齐数的整数倍。
eg:
union Un1{char c[5];//5int i;//4};//我们可以看到最大成员占5个字节,但是5不是最大对齐数4的倍数,所以要对其到最大字节4的整数倍也就是8
总结
以上就是今天要讲的内容,关于自定义类型:结构体,枚举,联合的内容就全部结束了,希望对大家有所帮助,如有问题欢迎评论指出,会积极改正!!谢谢~