自定义类型(结构体、枚举、联合)

本文详细介绍了C语言中的结构体,包括定义、使用和内存对齐规则,以及枚举和联合的概念、好处和使用场景。结构体允许组合不同类型的变量,枚举提供了一种定义枚举常量的方式,而联合则允许多个成员共享同一块内存空间。内存对齐对于理解和优化程序性能至关重要,位段则是为节省空间而设计的一种特殊结构。
摘要由CSDN通过智能技术生成

一、结构体

1.1 结构的定义

结构是一群类型的结合,有点类似于数组,但是数组要求是同种类型的变量聚在一起,但是结构体可以有不同类型的变量,即成员变量

基本格式
struct tag
{
     成员列表

};变量列表

1.2 结构的使用

(1) 结构的声明

使用struct进行声明,struct + 标签名来确定这个类型的名字,然后写里面的成员列表,确定好这个结构有什么类型

struct stu     //确定好这个类型叫什么
{
	char name[10];     //确定好里面的成员是什么
	int num;
};              

❤️重命名

//在声明时改掉
typedef struct stu
{
	char name[10];
	int num;               //此时,这个类型名就变成了Stu
}Stu;                      //struct stu == Stu

int main()
{
	Stu s1;
	return 0;
}
//额外空行改掉了
typedef struct stu
{
	char name[10];
	int num;
};
typedef struct stu Stu;
int main()
{
	Stu s1;
	return 0;
}

❤️创建时没给名字

struct
{
 int a;
 char b;
 float c;
}x;   
           //因为是匿名的,无法通过类型名找到,所以只能在声明的时候创建
struct
{
 int a;
 char b;
 float c;           //这两个结构在声明的时候都忽略了名字,尽管它们内部的名字是一样的
}a[20], *p;         //但编译器会把上面的两个声明当成完全不同的两个类型,所以是非法的

❤️结构的自引用

struct Node
{
 int data;
 struct Node next;
};

不能在结构中包含一个类型为该结构的成员,因为所占的空间过大,程序会重复下去,永无止境,就像没有停止条件的递归一样

解决方法:传过去的是指针,使大小得到控制

struct Node
{
 int data;
 struct Node* next;
};

❤️结构声明顺序产生的问题

typedef struct
{
 int data;
 Node* next;        //因为重命名是在说明成员列表的下一行,所以next变量仍然是未定义的情况
}Node;

解决方法

typedef struct Node
{
 int data;
 struct Node* next;
}Node;

(2) 结构体变量的定义和初始化

❤️变量的定义

struct stu
{
	char name[10];
	int num;
}; s1;          //在变量列表这边创建,效果上是全局变量

int main()
{
	struct stu s2;       //在函数内部创建,效果是局部变量
	return 0;
}

❤️变量的初始化
下面介绍三种初始化:普通初始化、嵌套初始化、乱序初始化

struct Point
{
 int x;
 int y;
}p1;
struct Point p1 = {3, 5};    //初始化:定义变量的同时赋初值

struct Node
{
 int data;
 struct Point p;
 struct Node* next;       //结构体嵌套初始化
}n1 = {10, {4,5}, NULL};

struct Node n2 = {20, {5, 6}, NULL};      //结构体嵌套初始化

struct Node n3 = {.p.x = 3, .p.y = 5};    //乱序初始化(可以指定初始化)

(3) 结构体传参

    结构体传参一共有两种,一种是传结构体,另一种是传地址,使用时推荐传地址,因为函数传参的时候,参数是需要压栈,会有时间和空间上的系统开销。

    如果传递一个结构体对象的时候,结构体过大,参数压栈的的系统开销比较大,所以会导致性能的下降。

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.3 结构体的内部存储

(1) 结构体内存对齐(计算结构体的大小)

❤️为什么存在内存对齐

  • 平台原因(移植原因):
    • 不是所有的硬件平台都能访问任意地址上的任意数据的;某些硬件平台只能在某些地址处取某些特定类型的数据,否则抛出硬件异常。
  • 性能原因:
    • 数据结构(尤其是栈)应该尽可能地在自然边界上对齐。
    • 原因在于,为了访问未对齐的内存,处理器需要作两次内存访问;而对齐的内存访问仅需要一次访问。

结构体的内存对齐是一种拿空间来换取时间的做法

❤️内存对齐的规则

  • 第一个成员在与结构体变量偏移量为0的地址处。
  • 其他成员变量要对齐到某个数字(对齐数)的整数倍的地址处。
    • 对齐数 = 编译器默认的一个对齐数 与 该成员大小的较小值。
    • VS中默认的值为8,linux gcc则没有默认对齐数,对齐数就是结构体成员的自身大小
  • 结构体总大小为最大对齐数(每个成员变量都有一个对齐数)的整数倍。
  • 如果嵌套了结构体的情况,嵌套的结构体对齐到自己的最大对齐数的整数倍处,结构体的整体大小就是所有最大对齐数(含嵌套结构体的对齐数)的整数倍。
  • 对齐看的是这个成员的类型

设计结构体时,让占用空间小的成员尽量集中在一起,更易节省空间

举例

struct S1
{
 char c1;
 int i;
 char c2;
};
printf("%d\n", sizeof(struct S1));     //12

在这里插入图片描述

struct S2
{
 double d;
 char c;
 int i;
};
printf("%d\n", sizeof(struct S2));

在这里插入图片描述

struct S3
{
 char c1;
 struct S2 s2;
 double d;
};
printf("%d\n", sizeof(struct S3));

在这里插入图片描述

❤️修改默认对齐数

结构在对齐方式不合适的时候,我么可以自己更改默认对齐数。

#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()//取消设置的默认对齐数,还原为默认

(2) 位段

❤️位段的概念

  • 位段的成员必须是 int、unsigned int 、signed int 或char
  • 位段的成员名后边有一个冒号和一个数字。
  • 位段的位指的是二进制位,通过限制二进制位个数,起到了减少占用空间的效果
  • 不存在对齐(对齐某种程度上浪费了空间,而位段是为了节省空间)
struct A
{
 int _a:2;      //A是一个位段类型
 int _b:5;      //_a是位段成员,2表示_a占2个二进制位
 int _c:10;
 int _d:30;
};

❤️位段的内存分配

  • 位段的成员可以是 int unsigned int signed int 或者是 char (属于整形家族)类型
  • 位段的空间上是按照需要以4个字节( int )或者1个字节( char )的方式来开辟的。
  • 位段涉及很多不确定因素,位段是不跨平台的,注重可移植的程序(多个平台去跑)应该避免使用位段。

❤️位段的跨平台问题

  • int 位段被当成有符号数还是无符号数是不确定的。
  • 位段中最大位的数目不能确定。(16位机器最大16,32位机器最大32,写成27,在16位机
    器会出问题。
  • 位段中的成员在内存中从左向右分配,还是从右向左分配标准尚未定义。
  • 当一个结构包含两个位段,第二个位段成员比较大,无法容纳于第一个位段剩余的位时,是
    舍弃剩余的位还是利用,这是不确定的。

跟结构相比,位段可以达到同样的效果,但是可以很好的节省空间,但是有跨平台的问题存在。

❤️位段的应用
在这里插入图片描述

二、枚举

2.1 枚举的定义

生活中有许多是可以确定的量,比如性别,三原色,我们可以直接列出这个类别的所有可能的取值。这种可以一 一列举的情况,就是枚举

enum Sex//性别      //枚举类型
{
 MALE,  //0
 FEMALE,   //1         可能的取值,也是枚举常量
 SECRET   //2           //这些可能取值都是有值的,默认从0开始,一次递增1
}enum Color//颜色
{
 RED,  //0
 GREEN,    //1
 BLUE    //2
};

enum Color//颜色
{
 RED=1,   //1          //定义的时候也可以赋初值(身为常量本身是不可改的,但是可以有初值)
 GREEN=2,   //2         //如果初始化了,但是下面那个没有初始化,默认递增1
 BLUE=4   //4
};

2.2 枚举的好处

  • 增加代码的可读性和可维护性 (一眼就看出在干嘛)
  • 和#define定义的标识符比较枚举有类型检查,更加严谨。
  • 防止了命名污染(封装)
  • 便于调试 (#define是替换符号,肉眼上看程序上还是符号,其实早被替换成对应的数值了)
  • 使用方便,一次可以定义多个常量(不用写好几个#define)

2.3 枚举的使用

enum Color//颜色
{
 RED=1,
 GREEN=2,         //因为枚举常量内存里面是数值,是个整型,所以字节大小为4
 BLUE=4
};
enum Color clr = GREEN;    //只能拿枚举常量给枚举变量赋值,才不会出现类型的差异。
clr = 5;     //只能在定义的时候初始化,这里等号两边的类型都不一样

三、联合(共用体)

❤️联合类型的定义

  • 同结构体和枚举类似,包含了一系列的成员,但是区别是联合里的成员可以共用同一块空间
  • 同一块空间的成员不能同时使用
  • 一个联合变量的大小,至少是最大成员的大小(因为联合至少得有能力保存最大的那个成员)
  • **使用场景:**成员不是同时需要存在使用(这会你用,下次我用,即共享空间)
//联合类型的声明
union Un
{
 char c;
 int i;
};
//联合变量的定义
union Un un;                    //因为共用一块空间,所以&un == &(un.c) == &(un.i)
//计算连个变量的大小
printf("%d\n", sizeof(un));    //4

❤️联合大小的计算

  • 联合的大小至少是最大成员的大小。
  • 当最大成员大小不是最大对齐数的整数倍的时候,就要对齐到最大对齐数的整数倍。
  • 最大对齐数看类型
union Un1
{
 char c[5];
 int i;
};
union Un2
{
 short c[7];
 int i;
};
//下面输出的结果是什么?
printf("%d\n", sizeof(union Un1));      //4
printf("%d\n", sizeof(union Un2));      //16   要浪费两个空间,凑到4的整数倍

❤️使用场景
成员不是

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值