C语言——自定义数据类型(结构体内存对齐)

C语言中不只有内置类型诸如 int 、float、char 等类型,还有自定义数据类型,本文主要探讨结构体(struct)、联合体(union)、枚举(enum)三种自定义数据类型。

在我之前的文章《C语言——数据类型-CSDN博客》中对这三个类型有过简要的介绍。

一、结构体

对于结构体,也是一组数据的集合,但与数据不同这里的数据的集合是不同类型的数据。

我的文章《C语言——结构体-CSDN博客》有对结构体具体的介绍,本文对其进行补充。

1、结构体类型的定义

1)格式:

使用 struct 关键字可以对结构体进行定义:

struct tag {
    member-list
    member-list
    member-list  
    ...
} variable-list ;
 
struct 结构体标签
{
    变量定义;
    变量定义;
    变量定义;
        ...
} 结构变量列表;

tag 是结构体标签。
member-list 是标准的变量定义,比如 int i; 或者 float f;,或者其他有效的变量定义。
variable-list 结构变量,定义在结构的末尾,最后一个分号之前,您可以指定一个或多个结构变量。
在一般情况下,tag、member-list、variable-list 这 3 部分至少要出现 2 个

2)例子:

使用 struct 关键字来定义一个结构体。结构体定义了一个新的数据类型,但并不分配内存空间。内存分配发生在创建结构体变量时。以下是一个结构体的定义示例:

struct Student {
	char name[20];
	int age;
};

2、结构体变量的声明

1)一般声明:

定义结构体后,可以像使用其他任何数据类型一样声明同时初始化结构体变量:

struct Student Bob = { "Bob",18 };
struct Student Alice = { "Alice",19 };

也可以在结构体类型定义的同时声明和初始化结构体变量:

struct Student {
	char name[20];
	int age;
}Bob = { "Bob",18 }, Alice = { "Alice",19 };

2)特殊声明:

匿名结构体提供了一种在C语言中定义没有名称的结构体的方法。这种结构体类型常用于嵌入其他结构体中,以便无需通过中间结构体成员即可直接访问其字段。它们也可以用来创建临时的复合数据结构,无需为这些一次性使用的结构命名。

匿名结构体类型,只能被使用一次,需要在匿名结构体定义的同时进行结构体变量的定义和初始化。

struct
{
	char name[20];
	int age;
}student1;

这样就可以定义一个匿名结构体类型然后定义一个匿名结构体类型变量。

但是由于匿名结构体没有名字,后续就无法直接引用结构体类型来创建其他实例了。

3、结构体的自引用

1)定义:

结构体的自引用是一种在结构体定义中包含指向其自身类型的指针的技术。这在C语言中通常用来实现链表其他复杂的数据结构。自引用结构体的关键是在结构体定义内部使用指针,因为实际的结构体尺寸必须在编译时是已知的,而指针的尺寸总是已知的。

这里自引用不能使用自身类型的结构体,而是使用自身结构体类型的指针的原因是因为直接包含同类型的结构体会造成无限大小的定义。

2)例子:

以下是一个典型的自引用结构体定义的例子,它定义了一个链表的节点类型:

struct Node
{
    int value;         // 数据部分
    struct Node* next; // 指向下一个节点的指针
};

在这个例子中,Node 结构体类型包含了一个 int 类型的成员 value 和一个指向 Node 类型的指针 next。尽管 Node 在定义 next 成员的时候尚未完全定义,但是由于 next 是一个指针,所以编译器知道如何处理它。这允许结构体在逻辑上引用它自己,形成了一个可以持续链接下去的节点链。

4、使用 typedef 定义结构体类型

1)格式:

使用 typedef 定义结构体类型可以在定义结构体同时对结构体进行命名。

typedef struct 标签
{
	变量列表;
	变量列表;
    变量列表;
    ...
}别名;

使用typedef为结构体创建一个别名时,需要在结构体定义的末尾添加别名。

2)例子

typedef struct Stu
{
	int age;
	char name[20];
}Student;

这里的别名和标签是可以不同的。

所以这里就可以有两种创建结构变量的方法:

1)使用别名Student(由typedef创建)直接声明和初始化结构体变量。

Student student1 = { 18,"Bob" };

2)使用完整的结构体声明(包括struct关键字加结构体标签)来声明和初始化结构体变量。即使已经有了类型别名,这种写法仍然有效,因为它明确地引用了原始的结构体定义。

struct Stu student2 = { 19,"Alice" };

在C语言中,typedef关键字允许我们为类型创建一个新的名称,但这并不会抹去原有类型的名称。这就是为什么即使定义了Student作为struct Student的别名后,我们仍然可以使用struct Student来定义变量。这在我们向代码库中添加新的类型别名,同时仍然需要保持对旧代码的兼容性时非常有用。

在实际编程实践中,推荐选择一种声明方式并在代码中保持一致,以提高代码的可读性和可维护性。由于我们已经使用typedef定义了类型别名Student,通常会更倾向于使用这个别名而不是带有struct关键字的版本,除非特定情况下需要区分。

5、结构体类型的标签(tag)和别名

在上面一节的讨论中,我们发现了这两种结构体的标志。

1)标签(tag)

对于直接用结构体关键字 (struct) 定义的结构体类型,只存在结构体标签,不存在结构体类型别名。

struct Stu
{
	int age;
	char name[20];
};

就像这里,Stu 就是这个结构体类型的标签,当我们要引用这个结构体类型来创建此结构体类型的变量时,要使用以下形式:

struct 标签 变量名 = { 初始化内容 }:

例如:

struct Stu student2 = { 19,"Alice" };

而不能只使用标签不使用 struct 关键字。

2)别名

对于使用 typedef 定义的结构体类型,会既存在结构体标签,又存在结构体类型别名。

typedef struct 标签
{
	变量列表;
	变量列表;
    变量列表;
    ...
}别名;

例如:

typedef struct Stu
{
	int age;
	char name[20];
}Student;

结构体变量的创建方式有两种:

#include <stdio.h>

typedef struct Stu
{
	int age;
	char name[20];
}Student;

int main()
{
	
	struct Stu student2 = { 19,"Alice" };//使用struct关键字和标签声明和初始化变量
	Student student1 = { 18,"Bob" };//使用别名声明和初始化变量
	return 0;
}

6、匿名结构体

匿名结构体提供了一种在C语言中定义没有名称的结构体的方法。这种结构体类型常用于嵌入其他结构体中,以便无需通过中间结构体成员即可直接访问其字段。它们也可以用来创建临时的复合数据结构,无需为这些一次性使用的结构命名。我们来更详细地探讨匿名结构体的特点、用法和局限性。

1)特点

  1. 无名称:正如“匿名”所暗示的,这些结构体没有名称。因此,无法直接引用结构体类型来创建其他实例。只能在匿名结构体定义时创建其他实例。
  2. 直接访问成员:当匿名结构体嵌入到另一个结构体中时,可以直接通过外部结构体访问匿名结构体的成员,无需借助额外的结构体名或成员名。
  3. 代码简洁:在某些场景下,它们可以简化代码的复杂性,避免定义多余的结构体类型名。

2)基本用法

1)匿名结构体嵌入示例
#include <stdio.h>
#include <string.h>

struct Person
{
	char name[50];
	int age;
	struct {
		char street[100];
		int zipcode;
	} address; // 匿名结构体作为成员
};

int main()
{
	struct Person person;
	strcpy(person.name, "John Doe");
	person.age = 30;
	strcpy(person.address.street, "123 Main St");
	person.address.zipcode = 12345;
	return 0;
}

在这个例子中,Person 结构体包含了一个匿名结构体作为 address 成员。这允许直接通过 person.address.streetperson.address.zipcode 来访问地址信息。这样就无需再特地定义一个结构体类型来创建 address 结构体变量了。

2)完全匿名嵌套结构体
#include <stdio.h>

struct Rectangle {
	int width, height;
	struct {
		int x, y;
	}; // 完全匿名结构体,没有成员名
} rect;

int main()
{
	rect.width = 10;
	rect.height = 20;
	rect.x = 5; // 直接访问匿名结构体中的成员
	rect.y = 15;
	return 0;
}

这里,Rectangle 结构体直接嵌入了一个完全匿名的结构体,用于存放坐标。这样可以简化对其成员 xy 的访问。

3)使用 typedef 对匿名结构体重命名

1)一般情况

通过使用typedef关键字,可以为匿名结构体指定一个新的名称,从而创建一个可以在代码中重复使用的类型。这样做之后,该结构体就不再是匿名的。

例如:

#include <stdio.h>

typedef struct {
	int x, y;
} Point;

int main()
{
	Point p1, p2;
	p1.x = 10;
	p1.y = 20;
	return 0;
}

在这个例子中,我们定义了一个没有名称的结构体,并立即使用typedef给它起了一个名字Point。之后,我们就可以像使用普通结构体一样使用Point类型来声明变量p1p2

这里对变量的声明只能是:

	Point p2;

不能是:

	struct Point p2;

这样会报错,因为这里的匿名结构体没有标签,只有别名。所以只能用别名进行结构体变量的创建。

2)特殊情况

下面这种情况是不对的:

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

因为使用 typedef 的基础是我们已经定义了这个匿名结构体,但是这时匿名结构体没有名字,所以结构体的第二个元素 Node* 这个类型是未被定义的, Node 是需要匿名结构体完成定义后再用 typedef 命名得到的结构体类型,然而在匿名结构体类型定义之前是不存在的,所以这个匿名结构体就不能被定义。

4)匿名结构体的特点

两个匿名结构体即使变量列表一摸一样,它们两个也不是一样的结构体类型。在C语言中,即使两个匿名结构体的成员列表完全相同,它们也被视为不同的类型。这是因为在C语言中,结构体的类型是根据它们的声明来区分的,而不仅仅是它们的结构(成员列表)。

例子:

struct {
    int age;
    char name[20];
} student1,*p;

struct {
    int age;
    char name[20];
} student2;

如果进行这样的操作:

p = &student2;

就会报错,因为类型不兼容。

7、typedef 定义结构体类型的例子

1)例子

#include <stdio.h>

typedef struct Stu
{
	int age;
	char name[20];
}* pStu;

int main()
{
	struct Stu student1 = { 18,"Bob" };
	pStu pstudent1 = &student1;
	return 0;
}

这里的 typedef 给 Stu 结构体的指针类型重命名为了 pStu ,然后我们就可以使用 pStu 来创建这个结构体的指针变量。

8、结构体的成员

1)成员种类

在C语言中,结构体的成员可以是几乎任何类型,包括:

  1. 基本数据类型:如 int, float, double, char 等。

  2. 数组类型:可以是基本数据类型的数组,例如 int numbers[10];,也可以是结构体类型的数组。

  3. 指针类型:包括指向基本数据类型、数组、其他结构体或者函数的指针。

  4. 结构体类型

    • 同类型的结构体指针(因为直接包含同类型的结构体会造成无限大小的定义)。
    • 其他类型的结构体或结构体数组,常用于嵌套结构体。
  5. 联合体(union)类型:可以包含联合体,它是一种特殊的数据结构,允许在相同的内存位置存储不同的数据类型。

  6. 枚举类型(enum):可以包含枚举类型成员,用于表示成员变量只能取有限个命名的整数值。

  7. 函数指针类型:可以包含指向函数的指针,这允许结构体“拥有”可以调用的函数。

2)小细节

如果两个结构体互相包含,则需要对其中一个结构体进行不完整声明,如下所示:

	struct B;//对结构体B进行不完整声明	     
	struct A//结构体A中包含指向结构体B的指针
	{
		struct B* partner;
		//other members;
	};

	//结构体B中包含指向结构体A的指针,在A声明完后,B也随之进行声明
	struct B
	{
		struct A* partner;
		//other members;
	};

3)字段

结构体的字段(Fields)就是结构体的成员(Members),也就是结构体中的每个变量。

9、结构体成员的访问

1). 点操作符(成员访问操作符)

格式:

结构体变量.成员

实例:

#include <stdio.h>

struct Student
{
	char name[20];
	double height;
	int age;
};

int main()
{
	struct Student a = {"xiaoa",1.80,19};
	printf("%s %lf %d",a.name,a.height,a.age);
	return 0;
}

 运行结果:

也可以使用指针,但 . 操作符的优先级大于 * 操作符,要加()

#include <stdio.h>

struct Student
{
	char name[20];
	double height;
	int age;
};

int main()
{
	struct Student a = {"xiaoa",1.80,19};
	struct Student* pa = &a;
	printf("%s %lf %d",(*pa).name,(*pa).height,(*pa).age);
	return 0;
}

 运行结果:

2)->箭头操作符(成员访问操作符)

格式:

结构体变量的指针->成员

实例:

#include <stdio.h>

struct Student
{
	char name[20];
	double height;
	int age;
};

int main()
{
	struct Student a = {"xiaoa",1.80,19};
	struct Student* pa = &a;
	printf("%s %lf %d\n",pa->name,pa->height,pa->age);
	return 0;
}

 运行结果:

二、结构体内存对齐

1、内存对齐的规则

1)第一个成员在与结构体变量偏移量(offset)为0的地址处。

2)其他成员变量要对其到某个数字(对其数)的整数倍的地址处。如果必要,编译器会在成员之间插入填充字节(padding)来确保这一点。

对齐数 = 该成员大小。(如果成员是结构体,则对齐数是此结构体的最大对齐数)

  • 但是VS中有一个默认的对齐数是8,这时对齐数 = 编译器的默认对齐数与该成员大小的较小值。其他编译器一般没有。

3)结构体总大小为最大对齐数(每个成员都有一个对齐数)的整数倍。编译器会添加额外的填充字节来确保整个结构体的大小满足对齐要求。

4)如果嵌套了结构体,嵌套的结构体对齐到自己的最大对齐数的整数倍处,结构体的整体大小就是所有对齐数中的最大对齐数(含嵌套结构体的对齐数)的整数倍。

2、内存对齐实例

1)例子

struct Example {
    char a;        // 占用1字节
    int b;         // 占用4字节
    short c;       // 占用2字节
};

下面为示例图(图中一个格子代表1字节):

根据内存对齐规则分析。

  • a 占用1字节,后面跟着3字节的填充,以确保 b 所在位置相对于结构体首地址的偏移量恰好是4的倍数,因为 b 的对齐数是4;
  • 通过3个填充字节, b 完成了对齐。
  • c 占用2字节,这时偏移量恰好是2的倍数,c 完成对齐,后面跟着2个字节的填充,以确保整个结构体的大小是4(最大对齐数)的倍数。

最终这个结构体的大小是12字节。

#include <stdio.h>

struct Example {
	char a;        
	int b;         
	short c;       
};

int main()
{
	printf("%zu\n", sizeof(struct Example));
	return 0;
}

运行结果:

2)小细节

在实际分析中,为什么只需要确保偏移量是对齐数的整数倍,而不是确保地址是对齐数的整数倍呢?

确保变量所在偏移量是对齐数的整数倍,而不是要求其绝对地址必须是对齐数的整数倍,是为了提高数据结构的灵活性和兼容性,特别是在嵌入式系统或跨平台开发中非常重要。

  1. 起始地址的灵活性: 数据结构(如结构体)的起始地址并不总是确定的或能够事先知道的,特别是在动态分配内存时。动态内存分配可能会返回任何合法的内存地址,不一定是某个数据类型对齐要求的整数倍。因此,只要内部成员相对于结构体起始地址的偏移量符合对齐要求,无论起始地址是什么,都能保证成员访问的有效性效率

  2. 提高内存访问效率: 多数硬件平台对内存的访问都有特定的对齐要求。如果一个数据类型的起始地址符合其对齐要求,那么处理器可以更高效地执行读写操作。从结构体起始地址开始,只要成员变量相对于起始地址的偏移量满足其对齐要求,即可实现高效访问,而不必担心结构体本身的绝对起始地址。

  3. 允许结构体嵌套: 在复杂的数据结构中,结构体往往会嵌套其他结构体。如果每个结构体或变量的地址都必须是对齐数的整数倍,会极大增加内存浪费,因为需要在嵌套的结构体之间添加大量填充字节。通过只要求偏移量满足对齐要求,可以最小化这种内存浪费,同时保持高效的内存访问。

  4. 跨平台兼容性: 不同的平台可能有不同的内存对齐要求。通过确保相对偏移量而非绝对地址符合对齐要求,可以更容易地将代码移植到不同的硬件平台上,而无需对每个平台进行大幅修改或优化。

总的来说,通过确保偏移量符合对齐要求,而不是依赖于结构体的绝对起始地址,可以提供更大的灵活性和效率,减少内存浪费,并简化跨平台开发的复杂性。此外,这种方法也允许编译器和链接器在不牺牲性能的前提下,更自由地管理内存布局。

3、通过 offsetof 宏来验证上面的结论

offsetof 宏定义在 C 语言的标准库头文件 <stddef.h> 中,用于获取一个结构体成员相对于结构体开始位置的字节偏移量。这个宏通常用于底层编程和数据结构对齐。

offsetof 宏通常是这样定义的:

#define offsetof(type, member) ((size_t) &(((type *)0)->member))

这里的 type 是一个结构体类型,member 是该结构体中的一个成员的名字。

这个宏的工作原理是通过将一个假设的结构体的指针设置为 0(NULL地址),然后取其成员的地址。这个地址实际上就是成员离结构体起始地址的偏移量,因为整个结构体是从 0 地址开始布局的。由于仅仅是求地址,并没有实际的解引用操作,所以这种方式是合法的,不会造成运行时错误。

我们使用上面的例子来试验一下:

#include <stdio.h>
#include <stddef.h>

struct Example {
	char a;        
	int b;         
	short c;       
};

int main()
{
	printf("%zu\n", offsetof(Example, a));
	printf("%zu\n", offsetof(Example, b));
	printf("%zu\n", offsetof(Example, c));
	return 0;
}

运行结果:

可以发现这与我们分析的结果是相同的。

4、优化内存对齐

程序员有时为了减少内存的浪费,可能会重新排列结构体的成员顺序,以减少填充字节的数量。例如,将上面的结构体调整为:

struct ExampleOptimized {
	int b;
	short c;
	char a;
};

优化过的结构体的内存对齐为(图中一个格子代表1字节):

这种布局方法结构体只占8字节,只有一个填充字节。

#include <stdio.h>
#include <stddef.h>

struct ExampleOptimized {
	int b;
	short c;
	char a;
};

int main()
{
	printf("%zu\n", sizeof(ExampleOptimized));
	printf("--\n");

	printf("%zu\n", offsetof(ExampleOptimized, b));
	printf("%zu\n", offsetof(ExampleOptimized, c));
	printf("%zu\n", offsetof(ExampleOptimized, a));
	return 0;
}

运行结果:

可以发现与我们分析的相同。

5、结构体嵌套结构体的情况

struct Example {
	int i;
	struct Example1 {
		double a;
		char b;
		int c;
	}group;
	double j;
};

下面是分析图(图中一个格子代表1字节):

通过我们的分析,可以发现这个结构体大小为32字节。

#include <stdio.h>
#include <stddef.h>

struct Example {
	int i;
	struct Example1 {
		double a;
		char b;
		int c;
	}group;
	double j;
};

int main()
{
	printf("%zu\n", sizeof(Example));
	printf("--\n");

	printf("%zu\n", offsetof(Example, i));
	printf("%zu\n", offsetof(Example, group.a));
	printf("%zu\n", offsetof(Example, group.b));
	printf("%zu\n", offsetof(Example, group.c));
	printf("%zu\n", offsetof(Example, j));
	return 0;
}

运行结果:

可以发现与我们分析的结果一样。

6、为什么需要内存对齐?

内存对齐是基于硬件访问内存的需求而产生的。大多数计算机硬件访问内存时,如果数据的地址是某个大小(通常是4或8字节)的倍数,那么访问速度会更快。未对齐的内存访问可能导致多次内存访问或者在某些硬件上引发异常。

1)平台原因(移植原因):

并不是所有硬件平台都可以访问任意地址上的任意数据的,某些硬件凭他只能在某些地址处取某些特定类型的数据,否则抛出异常。

2)性能原因:

数据结构(尤其是栈)应尽可能地在自然边界上对齐。
原因在于,为了访问未对齐的内存,处理器需要作两次内存访问,而对齐的内存访问仅需要一次访问。

例如:

struct Example {
	int i;
	double j;
};

对于64位硬件平台,处理器一次可以读取64位。

如果我们只需要访问变量 j 而不需要访问变量 i ,则内存对齐的方式会有很好的性能,同时内存对齐的方式对变量 i 的访问也没有影响。

3)总的来说:

内存对齐是一种用空间换时间的操作。

4)怎么既满足对齐又节省空间呢?

尽量将内存占用小的元素放到一起。

7、修改默认对齐数

1)介绍:

#pragma pack(n)是一个常用于C和C++编程中,通过编译器指令改变结构体、联合和类成员的默认对齐方式的方法。n在这里指的是对齐的字节数。

在这里我们可以用 #pragma pack(n) 这个指令来改变结构体的对齐方法。

使用#pragma pack可以指定一个新的对齐值,这个值会影响紧随其后定义的结构体或联合的成员对齐方式。这通常用于减小数据结构的大小,或者为了与特定硬件平台的要求或二进制兼容性而进行匹配。

2)示例:

下面是一个示例,展示了如何使用#pragma pack

#pragma pack(push, n)  // 保存当前对齐状态,并设置新的对齐值为n
struct MyPackedStruct {
    char a;   // 占用1字节
    int b;    // 通常占用4字节,但因为#pragma pack可能不对齐
};// 结构体的总大小将受到#pragma pack指定的n值的影响

#pragma pack(pop)  // 恢复之前保存的对齐状态

在上面的代码中,#pragma pack(push, n)保存当前的对齐设置,并设置新的对齐值n。结构体MyPackedStruct中的成员将按照n字节对齐。最后,#pragma pack(pop)指令用于恢复之前保存的对齐设置。

3)实例:

#pragma pack(push,4)
struct Example {
	int i;
	double j;
};
#pragma pack(pop)

这个例子在上面的默认对齐数为8时,大小是16字节。

#include <stdio.h>

#pragma pack(push,4)
struct Example {
	int i;//大小为4,默认对齐数为4,较小值为对齐数,为4
	double j;//大小为8,默认对齐数为4,较小值为对齐数,为4
};
#pragma pack(pop)

int main()
{
	printf("%zu\n", sizeof(Example));
	return 0;
}

运行结果:

在这里我们发现大小是12字节,原因就是对齐数变成了4,double 类型变量 j 对齐在 int 类型变量 i 后面,中间没有填充字节,最终结构体大小也是对齐数4的整数倍,所以最终结构体的大小是12字节。

4)注意:

对对齐值的改变可能会导致性能下降,因为处理器可能需要进行额外的内存访问来处理未对齐的数据。此外,在不同的平台上,对齐要求可能不同,不正确的对齐可能导致程序崩溃或数据损坏。因此,使用#pragma pack时应当谨慎,并且确保理解其对你的程序可能造成的影响。

三、结构体其他知识

1、结构体作为函数参数传参

在C语言中,结构体可以作为函数参数传递。这通常可以通过以下两种方式完成:

1)传值(By Value):

这种方式会将整个结构体的内容复制到函数的形参中。虽然使用起来简单直观,但是如果结构体内容较大时,这种方式可能会导致较大的性能开销,因为它涉及到内存中数据的复制操作。

#include <stdio.h>

struct Example {
	int data[3];
	char ch;
};

void Print(struct Example s)
{
	int i = 0;
	for (i = 0; i < 3; i++)
	{
		printf("%d ", s.data[i]);
	}
	printf("%c", s.ch);
}

int main()
{
	struct Example s = { {1,2,3},'a' };

	Print(s);

	return 0;
}

运行结果:

2)传址(By Reference):

由于C语言本身不支持引用,所以"传址"实际是通过传递结构体的指针来实现的。这种方式不会复制整个结构体,只会复制指针的值,因此性能开销较小。此外,由于传递的是原始结构体的地址,函数内部可以通过指针修改原始结构体的内容。

#include <stdio.h>

struct Point {
    int x;
    int y;
};

void movePoint(struct Point* p, int dx, int dy)
{
    p->x += dx;
    p->y += dy;
    // 注意:这里修改的是指向的原始结构体,调用者会看到这些改变
}

int main() {
    struct Point p1 = { 10, 20 };
    movePoint(&p1, 5, 5); // 传递p1的地址,函数内部可以修改p1的值
    // p1的值这里被改变了
    printf("%d %d\n", p1.x, p1.y);
    return 0;
}

运行结果:

在实际编程中,建议通过传递结构体的指针来避免不必要的性能开销,特别是对于较大的结构体。同时,通过指针传递也可以允许函数修改原始结构体的内容。然而,如果你不希望函数内部修改原始数据,或者结构体非常小,那么传值也是一个可行的选择。

2、位段

1、什么是位段

结构体位段(Bit fields)是在C语言中定义结构体成员时,允许你指定每个成员占据多少位的一种特性。位段主要用于程序与硬件设备的底层数据交互,或者是当你需要打包数据以节省空间时。使用位段,可以非常精确地控制内存的布局。

2、位段的声明

1)位段在结构体中的声明看起来和一般的成员声明类似,但是会在成员名后面加上冒号和一个数字,这个数字指定了该成员要使用的位数。

这个数字,即位段(bit-fields)的大小是有限制的,它不能超出其类型所能表示的最大位数。

struct S {
	int d : 33;
};

这段代码就是错的,位段大小设为33,而整型(int)大小为4字节,即32位,超出了类型大小。

2)位段成员不能是某些类型,例如指针或者浮点数,通常它们是整数类型(比如 int, unsigned int, signed int,char)。

struct BitField {
    unsigned int is_enabled: 1; // 使用1位
    unsigned int is_visible: 1; // 使用1位
    unsigned int state: 3;      // 使用3位
    unsigned int priority: 4;   // 使用4位
};

3、位段的存储

位段成员的存储是连续的,但是它们通常会被打包到底层硬件的字边界内。这意味着位段可能会跨越几个字节,但通常不会跨越处理器的字边界。这也会导致一些对齐和填充的问题。

4、位段的内存对齐和内存分配

1)内存对齐

对于大多数硬件平台,位段的布局和对齐依赖于底层硬件和编译器的实现。例如,有些编译器可能会在位段成员之间插入填充位,以确保按照特定的对齐方式存储。

2)内存分配
i.介绍

位段在空间中是按需以4字节(int)或1字节(char)的方式来开辟空间的。

#include <stdio.h>

struct S {
	int a : 1;
	int b : 3;
	int c : 10;
	//首先开辟4字节空间,变量a、b和c使用了4字节中的14bit,还剩18bit,d需要30bit,所以剩余的空间不够了,再开辟4字节
	int d : 30;
};

int main()
{
	printf("%zu\n", sizeof(S));
	//最终大小为8
	return 0;
}

运行结果:

ii.例子
#include <stdio.h>

struct S {
	char a : 3;//首先开辟1字节空间,这里用了3bit,还剩5bit
	char b : 4;//只需4bit,上面剩下5bit,够用,还剩1bit
	char c : 5;//需要5bit,上面还剩1bit,不够用,再开辟1字节空间,这里不使用上面剩下的1bit,直接使用这里新开辟的1字节,上面的剩下的1bit被丢弃,这里使用了5bit,还剩3bit
	char d : 4;//需要4bit,上面剩下3bit,不够用,然后3bit被丢弃,再开辟1字节空间,直接使用新开辟的1字节,使用4bit,还剩4字节
};

int main()
{
	printf("%zu\n", sizeof(struct S));
	return 0;
}

运行结果:

可以发现与我们分析的一样。

#include <stdio.h>

struct S {
	char a : 3;//首先开辟1字节空间,这里用了3bit,还剩5bit
	char b : 4;//只需4bit,上面剩下5bit,够用,还剩1bit
	char c : 5;//需要5bit,上面还剩1bit,不够用,再开辟1字节空间,这里不使用上面剩下的1bit,直接使用这里新开辟的1字节,上面的剩下的1bit被丢弃,这里使用了5bit,还剩3bit
	char d : 4;//需要4bit,上面剩下3bit,不够用,然后3bit被丢弃,再开辟1字节空间,直接使用新开辟的1字节,使用4bit,还剩4字节
};

int main()
{
	struct S s = { 0 };//将全部的bit位都初始化为0
	s.a = 10;
	s.b = 12;
	s.c = 3;
	s.d = 4;
	printf("%zu\n", sizeof(struct S));
	return 0;
}

具体分析图(由于位段在内存中的具体分布由很多因素决定,这里的环境是VS2022,所以这里是从低地址到高地址存储的,每一个位段在一个字节中的使用是从后往前的。这里的一个格子代表1bit):

我们可以通过监视功能来查看:

可以看到与我们分析的是一样的。

我们再从内存中看一下(这里的一个格子代表1bit):

可以发现与我们上面分析的在内存中存储的情况是一样的。

5、位段的访问

位段的成员可以像普通的结构体成员一样访问,但是背后的机制不同。编译器会生成额外的指令来访问这些特定的位,可能会有一些额外的性能开销。

6、可移植性

1)介绍

由于不同的编译器可能会以不同的方式实现位段,所以使用位段可能会导致可移植性问题。一个编译器可能会以一种方式打包位段,而另一个编译器可能会有不同的打包方式。因此,在需要跨平台或跨编译器工作时,位段的使用可能会导致不确定的行为。

2)跨平台的一些问题

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

7、使用场景

1)介绍

尽管位段提供了很好的空间优化能力,但它们在现代应用程序编程中使用较少。然而,在需要和硬件密切合作的嵌入式系统编程中,位段却非常有用。例如,在定义硬件寄存器的模型或者在处理特定的通信协议时,位段可以帮助程序员以非常精确的方式控制数据的布局。

在使用位段的时候,需要特别注意编译器的文档,以理解编译器对位段的具体实现方式,以及它可能带来的对齐和端序等问题。

2)用途

下图是网络数据包的头部和数据部分具体情况:

可以看到这里的每一个数据都是精确到 bit 的,所以这里是使用位段的。

以下是一个IPv4头部的位段表示(假设没有选项字段),在实际应用中,每个字段都有它的特定意义:

// IPv4头部结构
struct IPv4Header {
    uint8_t version : 4;          // 版本,占用4位
    uint8_t headerLength : 4;     // 头部长度(首部长度),占用4位
    uint8_t typeOfService : 8;    // 服务类型,占用8位
    uint16_t totalLength : 16;    // 总长度,占用16位
    uint16_t identification : 16; // 标识符,占用16位
    uint16_t flags : 3;           // 标志位,占用3位
    uint16_t fragmentOffset : 13; // 片偏移,占用13位
    uint8_t timeToLive : 8;       // 生存时间(TTL),占用8位
    uint8_t protocol : 8;         // 协议,占用8位
    uint16_t checksum : 16;       // 头部校验和,占用16位
    uint32_t sourceAddress : 32;  // 源IP地址,占用32位
    uint32_t destAddress : 32;    // 目的IP地址,占用32位
    // 选项字段和填充位在这里省略,因为它们是可选的,且长度可变
};

四、枚举

1、介绍

C语言中的枚举(enumeration)是一种用户定义的数据类型,它允许程序员为整数值定义一组命名的常量。这样可以通过名字来代替数字,使得程序更加易读和便于理解。枚举类型通过关键字 enum 来定义。

2、枚举类型的声明和定义

enum 枚举名 {
    枚举元素1,
    枚举元素2,
    ...
    枚举元素N
};

3、一些特性

每个枚举元素实际上是一个整数常量。当你定义一个枚举类型时,如果不显式指定数值,默认情况下,第一个枚举元素的值为0,后续元素的值依次递增1。你也可以为枚举元素显式指定整数值:

enum color {
    RED,    // 0
    GREEN,  // 1
    BLUE    // 2
};

enum color {
    RED = 1,    // 1
    GREEN,      // 2
    BLUE        // 3
};

enum color {
    RED = 5,    // 5
    GREEN = 10, // 10
    BLUE = 15   // 15
};

可以使用 printf 函数打印枚举常量的值:

#include <stdio.h>

enum Color {
	RED,
	GREEN,
	BULE
};

int main()
{
	printf("%d\n", RED);
	printf("%d\n", GREEN);
	printf("%d\n", BULE);
	return 0;
}

运行结果:

4、使用方法

枚举类型通常用于代替数值,以使代码更具可读性。例如,代替使用数字表示颜色代码,可以使用上面定义的枚举类型 color,这样代码就会更加直观。

在C语言中,枚举类型的实质是整数,因此它们可以存储在整数类型的变量中,并且可以在表达式中像整数常量一样使用。但是,使用枚举类型可以提升代码的表意性和可维护性。

下面是如何在C语言中使用枚举的一个示例:

#include <stdio.h>

enum color {
    RED,    // 0
    GREEN,  // 1
    BLUE    // 2
};

int main()
{
    enum color favorite_color;//枚举变量声明

    favorite_color = BLUE;//枚举变量初始化

    if (favorite_color == RED)
    {
        printf("Your favorite color is Red.\n");
    }
    else if (favorite_color == GREEN)
    {
        printf("Your favorite color is Green.\n");
    }
    else if (favorite_color == BLUE)
    {
        printf("Your favorite color is Blue.\n");
    }
    else
    {
        printf("Unknown color.\n");
    }

    return 0;
}

在这个示例中,枚举 color 被用来声明变量 favorite_color,并且我们用 BLUE 来初始化它。在 if 条件语句中,我们检查 favorite_color 的值,并打印出相应的颜色名称。

运行结果:

5、枚举优点

1)提高代码可读性:

枚举允许程序员使用描述性名称代替数值,使得代码更加易懂。这种命名方式有助于理解代码中变量的意图和用途。

2)易于维护:

如果你需要改变某个枚举常量的值,你只需要在枚举的定义中更改它,而不需要在代码中搜索和替换所有的硬编码值,这极大地方便了代码的维护。

3)类型安全:

枚举增加了类型安全,因为你不能将一个枚举的值直接赋给另一个不同的枚举类型的变量(尽管在C语言中,枚举值可以自由地转换为整数,但这种转换在C++中更受限制)。

4)易于调试:

当你在调试程序时,看到枚举的名字通常比看到一个裸露的整数值更有帮助,因为名字更有意义。

对于#define这样的预处理指令,例如:

#include <stdio.h>

#define MAX 100

int main()
{
	int num = MAX;
	return 0;
}

在预处理时,MAX会被直接替换为100,在调试时,你只能看到100,而不能看到MAX。对于枚举类型,则与之不同,在调试时我们依旧可以看到枚举常量的名字。

五、联合(共用体)

1、介绍

在C语言中,联合体(Union)是一种特殊的数据类型,它允许在同一内存位置存储不同的数据类型。联合体为包含的所有成员分配一个共享的内存空间,这个空间足够大,以存储联合体中最大的成员。因此,联合体的大小等于其最大成员的大小。不同于结构体(struct),在任何给定时间点,联合体只能存储其中的一个成员的值,修改联合体的任何成员都会改变其余成员的值。

2、声明和定义联合体

联合体使用关键字 union 来定义。下面是定义联合体的一般语法:

union UnionName {
    type1 member1;
    type2 member2;
    type3 member3;
    ...
};

这里,UnionName 是联合体的名称,type1type2type3 等是联合体成员的数据类型,member1member2member3 等是对应的成员名称。

3、一些特点

1)共享内存:

联合体的所有成员共享同一块内存,所以对一个成员的更新会影响到其他成员。

#include <stdio.h>

union Example {
	int a;
	char b;
};

int main()
{
	union Example u;
	printf("%p\n", &u);
	printf("%p\n", &u.a);
	printf("%p\n", &u.b);

	return 0;
}

运行结果:

可以看到每个成员的地址都是相同的,所以它们的内存实际上时公用的或者说是重叠的。

示例图(这里一个格子代表一个字节):

在对一个联合体成员的操作时,其他成员也会有影响:

#include <stdio.h>

union Example {
	int a;
	char b;
};

int main()
{
	union Example u;
	u.a = 0x11223344;

	printf("%x\n", u.a);
	printf("%x\n", u.b);
	u.b = 0x55;

	printf("%x\n", u.a);
	printf("%x\n", u.b);

	return 0;
}

运行结果:

可以发现在对一个成员进行改动时,另一个成员也发生了改变。同时我们还可以发现这里是小端字节序。

2)节省空间

由于共享内存,联合体可以比结构体更节省空间,特别是当联合体包含了不同类型的大型数据时。

3)大小

联合体的大小至少等于其最大成员的大小。

4、应用场景

联合体通常用于以下场景:

  • 数据的不同表示:当一个数据单元可能以多种格式出现时,可以使用联合体来处理不同的数据格式。例如,一个变量可以存储整型、浮点型或字符型数据。
  • 资源节省:在需要在多种数据类型间切换但不需要同时使用它们的场合,联合体可以有效节省内存资源。

5、联合体的大小

联合体也存在内存对齐:

1、联合体大小至少是最大成员的大小
2、当最大成员大小不是最大对齐数的整数倍时,就要补齐到最大对齐数的整数倍。

#include <stdio.h>

union Example {
	char arr[5];
	int i;
};

int main()
{
	union Example u;
	printf("%zu\n", sizeof(u));
	return 0;
}

运行结果:

示例图(这里一个格子代表一个字节):

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mfbz.cn/a/575014.html

如若内容造成侵权/违法违规/事实不符,请联系我们进行投诉反馈qq邮箱809451989@qq.com,一经查实,立即删除!

相关文章

WPF2 样式布局

样式布局 WPF中的各类控件元素, 都可以自由的设置其样式。 诸如: 字体(FontFamily) 字体大小(FontSize) 背景颜色(Background) 字体颜色(Foreground) 边距(Margin) 水平位置(HorizontalAlignment) 垂直位置(VerticalAlignment) 等等。 而样式则是组织和重用以上的重要工具。…

解码Linux中的Shell:一探脚本起源、发展与变量数据类型之奥秘

&#x1f407;明明跟你说过&#xff1a;个人主页 &#x1f3c5;个人专栏&#xff1a;《Linux &#xff1a;从菜鸟到飞鸟的逆袭》&#x1f3c5; &#x1f516;行路有良友&#xff0c;便是天堂&#x1f516; 目录 一、前言 1、Linux的起源与发展 2、什么是Shell脚本 3、Sh…

MySQL面试——聚簇/非聚簇索引

存储引擎是针对表结构&#xff0c;不是数据库 引擎层&#xff1a;对数据层以何种方式进行组织 update&#xff1a;加索引&#xff1a;行级锁&#xff1b;不加索引&#xff1a;表级锁

LabVIEW专栏七、队列

目录 一、队列范例二、命令簇三、队列应用1.1、并行循环队列1.2、命名队列和匿名队列1.2.1、命名队列1.2.2、匿名队列 1.3、长度为1的队列 队列是一种特殊的线性表&#xff0c;就是队列里的元素都是按照顺序进出。 队列的数据元素又称为队列元素。在队列中插入一个队列元素称为…

HNCTF 2022 week1 题解

自由才是生活主旋律。 [HNCTF 2022 Week1] Interesting_include <?php //WEB手要懂得搜索 //flag in ./flag.phpif(isset($_GET[filter])){$file $_GET[filter];if(!preg_match("/flag/i", $file)){die("error");}include($file); }else{highlight_…

OSPF的协议特性

路由汇总的概念 l 路由汇总&#xff08; Route Aggregation &#xff09;&#xff0c;又称路由聚合&#xff08;Route Summarization&#xff09;&#xff0c;指的是把一组明细路由汇聚成一条汇总路由条目的操作 l 路由汇总能够减少路由条目数量、减小路由表规模&#xff0…

目标检测——3D玩具数据集

在数字化时代&#xff0c;计算机视觉技术取得了长足的进展&#xff0c;其中基于形状的3D物体识别技术更是引起了广泛关注。该技术不仅有助于提升计算机对现实世界物体的感知能力&#xff0c;还在多个领域展现出了广阔的应用前景。本文将探讨基于形状的3D物体识别实验的重要性意…

STM32的Flash读写保护

参考链接 STM32的Flash读写保护&#xff0c;SWD引脚锁的各种解决办法汇总&#xff08;2020-03-10&#xff09;-腾讯云开发者社区-腾讯云 (tencent.com)https://cloud.tencent.com/developer/article/1597959 STM32系列芯片Flash解除写保护的办法 - 知乎 (zhihu.com)https://zh…

Java设计模式:使用责任链模式和状态模式优化‘审批流程‘

Java设计模式&#xff1a;使用责任链模式和状态模式优化审批流程 摘要引言 需求流程图正文内容&#x1f4d0; 基本概念介绍 功能实现示例1:设计模式&#xff1a;责任链模式方法&#xff1a;好处&#xff1a; 示例2:设计模式&#xff1a;责任链模式方法和操作流程&#xff1a;好…

mongodb 分片集群认证

增加认证 副本间认证外部使用认证 如果是开启状态,先关闭路由,再关闭配置服务,最后关闭分片数据复本集中的每个mongod&#xff0c;从次节点开始。直到副本集的所 有成员都离线&#xff0c;包括任何仲裁者。主节点必须是最后一个成员关闭以避免潜在的回滚.最好通过 db.shutdow…

Spring Bean 的生命周期与作用域解析及实战

引言 在Spring框架中&#xff0c;Bean是构成应用的核心组件&#xff0c;它们负责执行应用中的业务逻辑。理解Spring Bean的生命周期和作用域对于开发高效、稳定的Spring应用至关重要。本文将详细解析Spring Bean的生命周期和作用域&#xff0c;并通过实战案例加深理解。 一、…

人工智能好多人都在用,那么用户画像要怎么看?

用户画像是通过对用户行为、偏好、兴趣等数据进行分析和整理&#xff0c;从而形成的关于特定用户群体的描述和模型。在人工智能应用中&#xff0c;用户画像可以起到指导个性化推荐、精准营销、产品设计等方面的作用。以下是用户画像在人工智能应用中的几个重要方面&#xff1a;…

网站被SmartScreen标记为不安全怎么办?

在互联网时代&#xff0c;网站的安全性和可信度是用户选择是否继续访问的重要因素之一&#xff0c;然而&#xff0c;网站运营者偶尔会发现使用Edge浏览器访问网站时&#xff0c;会出现Microsoft Defender SmartScreen&#xff08;以下简称SmartScreen&#xff09;提示网站不安全…

上位机图像处理和嵌入式模块部署(树莓派4b之mcu固件升级)

【 声明&#xff1a;版权所有&#xff0c;欢迎转载&#xff0c;请勿用于商业用途。 联系信箱&#xff1a;feixiaoxing 163.com】 在一个系统当中&#xff0c;可能不止需要树莓派4b一个设备&#xff0c;有的时候还需要搭载一个mcu&#xff0c;做一些运动控制的事情。比如说&…

SRAM控制原理与读写实例

本文对SRAM进行介绍&#xff0c;并对其内部的存储器矩阵、地址译码器、列I/O及I/O数据电路、控制电路、SRAM的读写流程进行简要介绍&#xff0c;并给出SRAM IS62LV256-45U读写实例。 文章目录 存储容量的计算SRAM控制原理SRAM信号线存储器矩阵地址译码器、列I/O及I/O数据电路控…

陆游只爱前妻唐婉,深情大渣男太虐了

陆游和唐婉的感情太好了&#xff0c;经常写诗逗乐。陆游科举考不上&#xff0c;沉迷儿女情长&#xff0c;被母亲拆散。 秦侩当政&#xff0c;就是害死岳飞的那个秦桧。陆游第二次考进士&#xff0c;被秦侩批复“喜论恢复”&#xff0c;没考上。陆游的母亲生气&#xff0c;找个…

计算机视觉——两视图几何求解投影矩阵

上文我提到了通过图像匹配得到基本矩阵&#xff0c;接下来我们要接着求解投影矩阵。 计算投影矩阵思路 假设两个投影矩阵为规范化相机&#xff0c;因此采用基本矩阵进行恢复。在规范化相机下&#xff0c; P [ I ∣ 0 ] P[I|0] P[I∣0], P ′ [ M ∣ m ] P[M|m] P′[M∣m]。…

【Webgl_glslThreejs】搬运分享shader_飘落心形

来源网站 https://www.shadertoy.com/view/4sccWr效果预览 代码演示 将shadertory上的代码转成了threejs可以直接用的代码&#xff0c;引入文件的material&#xff0c;并在创建mesh或已有物体上使用material即可&#xff0c;使用时请注意uv对齐。 import { DoubleSide, Shad…

视频中为什么需要这么多的颜色空间?

在视频处理中&#xff0c;经常会用到不同色彩空间&#xff1a;非线性RGB&#xff0c;线性 RGB&#xff0c;YUV&#xff0c;XYZ……为什么需要这么多的色彩空间呢&#xff1f; 1、视频采集时的线性RGB颜色空间 由数码相机中的 CMOS 传感器产生并写入原始文件&#xff08;Raw Fil…

深度学习检测算法YOLOv5的实战应用

在当前的检测项目中&#xff0c;需要一个高效且准确的算法来处理大量的图像数据。经过一番研究和比较&#xff0c;初步选择了YOLOv5作为算法工具。YOLOv5是一个基于深度学习的检测算法&#xff0c;以其快速和准确而闻名。它不仅能够快速处理图像数据&#xff0c;还能提供较高的…