C语言结构体的一些鲜为人知的小秘密

目录

一、结构体内存对齐规则:

1.1范例

1.2结构体内存对齐规则

1.3自定义默认对齐数

二、位段 

2.1什么是位段

2.2位段的内存分配

2.3位段的不足

三、枚举和联合体

3.1枚举

3.1.1枚举类型的定义

3.1.2枚举类型的使用

3.2联合体

3.2.1联合体的定义

3.2.2联合体的特点


一、结构体内存对齐规则:

1.1范例

我们来看一下结构体所占用的内存大小:

C语言结构体的一些鲜为人知的小秘密_第1张图片

命名 A 和 B 的结构体成员都一样, 但是为什么他们占用的内存空间不一样呢?下面我们来介绍一下结构体内存的对齐规则。

1.2结构体内存对齐规则

首先我们要知道什么是对齐数,对齐数 = 编译器中默认的对齐数该成员类型变量的大小(单位是byte)中的较小值。其中,VS默认的对齐数是8,Linux无默认对齐数,对齐数是其本身。

而在结构体中存放的数据,其地址并不是严格连续存放的,而是存放在其对齐数的整数倍

编译器为结构体开创的大小,是最大对齐数的整数倍。

struct stu
{
	char name[20];
	int age;
	double grades;
};
int main()
{
	printf("%d\n", sizeof(struct stu));
    //结果为32
	return 0;
}

C语言结构体的一些鲜为人知的小秘密_第2张图片

C语言结构体的一些鲜为人知的小秘密_第3张图片

1.3自定义默认对齐数

之前在我们写三子棋时创建的 .h 文件中,我们就见过 #pragma 这个预处理指令,这里我们再次使用,可以改变我们的默认对齐数。

#pragma pack(8)//设置默认对齐数为8
struct A
{
	int a;
	short b;
	int c;
	char d;
};

#pragma pack()//取消设置的默认对齐数,还原为默认
#pragma pack(1)//设置默认对齐数为1

struct B
{
	int a;
	short b;
	char c;
	int d;
};

当我们把结构体 A 和 B 的默认对齐数都设置为1时,我们可以再次计算一下他们的大小

C语言结构体的一些鲜为人知的小秘密_第4张图片

可以看出,他们的内存竟然都变成了11,这也说明了我们设置的默认对齐数起作用了。 

二、位段 

2.1什么是位段

很多朋友可能是第一次听说过位段,它是什么?为什么能和结构体扯上关系?

接下来我们对比一下位段类型的结构体和正常的结构体:

C语言结构体的一些鲜为人知的小秘密_第5张图片

不难看出来,位段类型是在我们正常定义的变量基础上加上了 :数字 。其实这代表了我们定义的变量所需要占用的存储空间,单位是 bit

我们分别来计算上面两种结构体的大小,我们可以得出,使用位段的结构体只需要8字节,不使用位段的结构体却要16个字节。所以,位段是用来节省空间的。

2.2位段的内存分配

我们来看个例子了解在VS中位段的内存分配。

#include

struct _Record_Struct
{
	unsigned char Env_Alarm_ID : 4;
	unsigned char Para1 : 2;
	unsigned char state;
	unsigned char avail : 1;
};

int main()
{
	sizeof(struct _Record_Struct);

	return 0;
}

C语言结构体的一些鲜为人知的小秘密_第6张图片我们在VS中运行这个程序也可以得到结果是3(byte),和我们图中的一样。

位段虽然能节省空间,但当两个位段类型超过 1byte 时,还是会浪费第一个位段类型剩余的几个 bit ,开辟下一个字节空间来存放第二个位段类型 

我们再来看个例子来更直观的感受每一个 bit 位是怎么分配的。

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;
}

C语言结构体的一些鲜为人知的小秘密_第7张图片

接下来我们通过内存看一下他们存放的数据,每四个bit位在内存中对应一个十六进制数字:

C语言结构体的一些鲜为人知的小秘密_第8张图片

C语言结构体的一些鲜为人知的小秘密_第9张图片

事实证明我们的理解是对的!

2.3位段的不足

我们上述只是讲解了VS中位段空间的分配,但是这仅仅是在VS中......

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

三、枚举和联合体

接下来我们介绍两种和结构体类似的自定义类型:枚举和联合体

3.1枚举

3.1.1枚举类型的定义

我们先来看一下枚举的语法:

enum Day//星期
{
    Mon,
    Tues,
    Wed,
    Thur,
    Fri,
    Sat,
    Sun
};

enum + 命名,枚举中的类型用 , 隔开。

这些可能取值都是有值的,默认从0开始,一次递增1,当然在定义的时候也可以赋初值。赋初值后定义的类型取值从初值开始递增1,如:

enum Day
{
	Mon,//0
	Tues = 2,//2
	Wed,//3
	Thur,//4
    //......
	Fri,
	Sat,
	Sun
};

3.1.2枚举类型的使用

枚举类型能怎么使用呢? 其实它的使用在我们写一些小应用时用到的概率大一点:

enum Day//星期
{
	Mon = 1,
	Tues,
	Wed,
	Thur,
	Fri,
	Sat,
	Sun
};

int main()
{
	int input = 0;
	scanf("%d", &input);
	switch (input)
	{
	case Mon:
	case Tues:
	case Wed:
	case Thur:
	case Fri:printf("今天是工作日\n"); break;
	case Sat:
	case Sun:printf("今天可以休息一下啦!\n"); break;
	}
	
	return 0;
}

当我们用枚举常量代替 case 情况的取值时,我们的代码是不是变得清晰易懂?

枚举的优点:
1. 增加代码的可读性和可维护性
2. 和#define定义的标识符比较枚举有类型检查,更加严谨。
3. 防止了命名污染(封装)
4. 便于调试
5. 使用方便,一次可以定义多个常量

3.2联合体

3.2.1联合体的定义

联合也是一种特殊的自定义类型,这种类型定义的变量也包含一系列的成员,特征是这些成员公用同一块空间(所以联合也叫共用体)。
比如:

//联合类型的声明
union Un
{
    char c;
    int i;
};
//联合变量的定义
union Un un;
//计算连个变量的大小
printf("%d\n", sizeof(un));

 union + 命名,成员之间用 ; 相隔。

3.2.2联合体的特点

联合的成员是共用同一块内存空间的,这样一个联合变量的大小,至少是最大成员的大小(因为联合至少得有能力保存最大的那个成员)。

联合体占用空间也遵循结构体对齐规则。

你可能感兴趣的:(C语言,c语言)