当前位置: 首页 > news >正文

穿越代码之海:探寻结构体深层逻辑,展望未来应用新天地

欢迎来到白刘的领域   Miracle_86.-CSDN博客

系列专栏  C语言知识

先赞后看,已成习惯

   创作不易,多多支持!

结构体作为一种数据结构,其定义和特点决定了它在各种应用中的广泛适用性。随着科技的进步和新兴行业的不断涌现,结构体在未来应用中将发挥更加重要的作用。

目录

一、结构体类型的声明

1.1 回顾

1.1.1 结构体的声明

1.1.2 结构体变量的创建和初始化 

1.2 结构体的特殊声明 

1.3 结构体的自引用 

二、结构体内存对齐

2.1 对齐规则

2.2 为什么有对齐规则

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

2.2.2 性能原因:

2.3 修改默认对齐数

三、结构体传参

四、位段

4.1 什么是位段

4.2 位段的内存分配

4.3 跨平台问题

4.4 位段的应用

4.5 位段使用的注意事项


一、结构体类型的声明

1.1 回顾

我们在学习操作符的时候,简单的介绍了结构体,这里稍微复习一下。

武器大师——操作符详解(下)-CSDN博客

1.1.1 结构体的声明
struct tag
{member-list;//成员列表
}variable-list //变量列表

其中tag表述结构体名,花括号里面放着成员列表,也就是要描述对象的各种属性。变量列表用来存放定义为该结构体类型的变量。

struct Stu
{char name[20];//名字int age;//年龄char sex[5];//性别char id[20];//学号
}; //分号不能丢
1.1.2 结构体变量的创建和初始化 
#include <stdio.h>
struct Stu
{char name[20];//名字int age;//年龄char sex[5];//性别char id[20];//学号
};
int main()
{//按照结构体成员的顺序初始化struct Stu s = { "张三", 20, "男", "20230818001" };printf("name: %s\n", s.name);printf("age : %d\n", s.age);printf("sex : %s\n", s.sex);printf("id : %s\n", s.id);//按照指定的顺序初始化struct Stu s2 = { .age = 18, .name = "lisi", .id = "20230818002", .sex = "女" };printf("name: %s\n", s2.name);printf("age : %d\n", s2.age);printf("sex : %s\n", s2.sex);printf("id : %s\n", s2.id);return 0;
}

1.2 结构体的特殊声明 

在声明结构体的时候,我们可以不完全声明,比如:

//匿名结构体类型
struct
{int a;char b;float c;
}x;
struct
{int a;char b;float c;
}a[20], * p;

 上面两个结构体在声明的时候省略了结构体标签(Tag)。

那么试想一下下面这行代码是否合法呢?

p = &x;

编译器会把两个声明当成两个类型,所以是非法的。

匿名的结构体类型,如果没有对结构体重命名的话,基本上只能使用一次。

1.3 结构体的自引用 

我们在结构体中包含一个类型为结构体本身的成员是否可以呢?

比如说我们定义一个链表的节点,首先我们简单介绍一下链表和节点:

链表是一种数据结构,它由节点组成,每个节点包含两部分数据和指向下一个节点的指针。

节点是链表中的基本单元,每个节点存储数据,并指向下一个节点。节点通常由一个具有数据成员的结构体或类表示,数据成员可以是任何类型的数据。

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

这么定义对吗?

仔细想想。这样其实不太合理,如果结构体里包含一个结构体,那结构体里的结构体就可以又包含一个结构体,以此类推就造成了无限大,是不合理的。

正确的自引用方式:

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

在结构体自引用使用的过程中,夹杂着typedef对匿名结构体重命名,也会容易引发问题,看看下面的代码是否可行?

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

 仔细想其实很简单,不可行,因为我在结构体里用了Node,而Node还没命名完,还是那句心法——从上到下,依次执行。

解决方案:

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

二、结构体内存对齐

2.1 对齐规则

1.结构体的第一个成员要对齐到结构体变量起始位置偏移量为0的地址处

2.其它成员要对齐到某个数字(对齐数)的整数倍的地址处。

   对齐数 = 编译器默认的一个对齐数 与 该成员变量大小的较小值。

   VS中默认的对齐数为8。

   Linux中gcc没有默认对齐数,对齐数就是成员变量本身的大小。

3.结构体的总大小为最大对齐数(结构体中每个成员都有一个对齐数,所有对齐数中最大的)的整数倍。

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

一些练习:

    //练习1struct S1{char c1;int i;char c2;};printf("%d\n", sizeof(struct S1));//练习2struct S2{char c1;char c2;int i;};printf("%d\n", sizeof(struct S2));//练习3struct S3{double d;char c;int i;};printf("%d\n", sizeof(struct S3));//练习4-结构体嵌套问题struct S4{char c1;struct S3 s3;double d;};printf("%d\n", sizeof(struct S4));

练习1:

首先由于1<8,所以c1,c2的对齐数为1,由于4<8,所以4为i的对齐数。同时4也是最大对齐数。

过程:首先一个字节放c1,i的对齐数是4,所以为了让i对齐,我们需要补充3个字节让i对齐,之后4个字节存放i,之后存放c2.目前总字节数:1+3(补)+4+1=9,9不是最大对齐数的倍数,所以继续补充3个字节到12,故总大小为12个字节。

练习2:

对齐数:c1、c2 —— 1,i —— 4。最大对齐数为4。

过程:一个字节放c1,一个字节放c2,目前两个字节,2不是4的倍数,补充2个字节然后放i,i占4个字节。目前1+1+2(补)+4=8,8是4的倍数,所以总大小为8。

练习3:

对齐数:d —— 8,c —— 1,i —— 4,最大对齐数为8。

过程:8个字节放d,1个字节放c,补充3个字节到12,4个字节存放i,总字节:8+1+3(补)+4=16,故总大小为16。

练习4:

对齐数:一个字节放c1,16个字节放S3,目前字节1+16,要补到24,然后放d。总字节:24+8=32,是8的倍数,故总大小为32。

运行结果:

2.2 为什么有对齐规则

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

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

2.2.2 性能原因:

数据结构(尤其是栈)应该尽可能地在自然边界上对齐。原因在于,为了访问未对齐的内存,处理器需要作两次内存访问;而对齐的内存访问仅需要一次访问。假设一个处理器总是从内存中取8个字节,则地址必须是8的倍数。如果我们能保证将所有的double类型的数据的地址都对齐成8的倍数,那么就可以用一个内存操作来读或者写值了。否则,我们可能需要执行两次内存访问,因为对象可能被分放在两个8字节内存块中。

总体来说:结构体的内存对齐是拿空间来换取时间的做法。

所以我们在结构体的设计时,要尽量将占用空间小的成员集中在一起。

//例如:
struct S1
{char c1;int i;char c2;
};struct S2
{char c1;char c2;int i;
};

 s1与s2的成员一模一样,但是s1和s2的空间有着区别。

2.3 修改默认对齐数

我们可以通过#pragam这个预处理指令来修改编译器的默认对齐数。

#include <stdio.h>
#pragma pack(1)//设置默认对⻬数为1
struct S
{char c1;int i;char c2;
};
#pragma pack()//取消设置的对⻬数,还原为默认
int main()
{//输出的结果是什么?printf("%d\n", sizeof(struct S));return 0;
}

运行结果:

可能有人会问,不是又取消对齐数了嘛,怎么不应该是12呢?这里还是那句心法:从上到下,依次执行。我们已经创建好结构体大小了,它再取消的话其实是没有用的。

三、结构体传参

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。

原因是:函数传参的时候,参数是需要压栈,会有时间和空间上的系统开销。
如果传递一个结构体对象的时候,结构体过大,参数压栈的系统开销较大,所以会导致性能的下降。

结论:结构体传参的时候,要传结构体的地址。

四、位段

4.1 什么是位段

位段是一种用于存储和操作位(二进制位)的数据结构,它允许将多个位组合在一起表示特定类型的数据,节省内存空间。

位段的声明和结构体是类似的,但有一下两点不同:

1.位段的成员必须是 int、unsigned int 或 signed int ,在C99中位段成员的类型也可以选择其他类型。

2.位段的成员名后边有一个冒号和一个数字。

eg:

struct A
{int _a : 2;int _b : 5;int _c : 10;int _d : 30;
};

 A就是一个位段,那A的大小是多少呢?这就需要了解位段的内存分配。

4.2 位段的内存分配

1.位段的成员可以是 int、unsigned int、signed int 或者是 char 等类型。


2.位段的空间上是按照需要以4个字节(int)或者1个字节(char)的方式来开辟的。

3.位段涉及很多不确定因素,位段是不跨平台的,注重可移植的程序应该避免使用位段。

//⼀个例⼦
struct S
{char a : 3;char b : 4;char c : 5;char d : 4;
};
struct S s = { 0 };
s.a = 10;
s.b = 12;
s.c = 3;
s.d = 4;
//空间是如何开辟的?

 

4.3 跨平台问题

1..int 位段被当成有符号数还是无符号数是不确定的。

2.位段中最大位的数目不能确定。(16位机器最大16,32位机器最大32,写成27,在16位机器会出问题。

3.位段中的成员在内存中从左向右分配,还是从右向左分配标准尚未定义。

4.当一个结构包含两个位段,第二个位段成员比较大,无法容纳于第一个位段剩余的位时,是舍弃剩余的位还是利用,这是不确定的。

总结:跟结构相比,位段确实可以达到同样的效果,并且通常能够很好地节省空间。然而,位段确实存在跨平台的问题。由于不同编译器和平台对位段的处理方式可能不同,这可能导致在不同环境下程序的行为不一致。因此,在需要高度可移植性的场景中,使用位段需要特别小心,并进行充分的测试和验证。如果节省空间的需求不是特别迫切,或者跨平台兼容性更为重要,那么使用结构可能是一个更稳妥的选择。 

4.4 位段的应用

下图是网络协议中IP数据报的格式。确实,我们可以看到其中许多属性只需要较少的bit位就能描述。使用位段(bit-fields)在这种情况下是一个很好的选择,因为它能够实现所需的效果,同时节省空间。由于位段可以精确控制每个字段所占用的位数,所以它们非常适合用于表示那些只需要少量位数就能完整描述的信息。

在网络传输中,数据报的大小对于网络的畅通性至关重要。较小的数据报意味着在传输过程中所需的带宽和资源更少,这有助于减少网络拥塞和延迟。通过使用位段来减少数据报中每个字段的大小,我们可以有效地减小数据报的整体大小,从而提高网络的传输效率。

然而,需要注意的是,虽然位段在节省空间方面具有优势,但它们也带来了一些挑战。例如,位段的具体实现可能因编译器和平台的不同而有所差异,这可能导致跨平台兼容性问题。此外,过度使用位段可能会使代码变得难以理解和维护。因此,在决定是否使用位段时,需要权衡其优缺点,并根据具体的应用场景和需求做出决策。

4.5 位段使用的注意事项

位段的一个特性是,其成员可能共享同一个字节的存储空间,这导致某些成员的起始位置并非字节的起始边界。由于内存中每个字节分配一个地址,而字节内部的bit位是没有独立地址的,因此不能直接对位段的成员使用&操作符来获取其地址。

由于位段成员的这种地址特性,我们不能直接使用像scanf这样的函数来直接给位段的成员输入值。这是因为scanf等函数通常需要能够访问变量的内存地址来执行赋值操作,而位段成员并不总是拥有独立的、可寻址的内存位置。

因此,在实际编程中,我们通常需要先通过scanf等函数将输入值存放在一个临时变量中,然后再将这个临时变量的值赋给位段的成员。这样可以确保赋值操作的正确性和可靠性,避免因为位段成员地址的特殊性而导致的问题。

需要注意的是,位段的使用虽然可以节省空间,但也带来了一些限制和复杂性。在实际应用中,我们需要根据具体的需求和场景来权衡是否使用位段,并确保在使用过程中遵守相关的编程规范和最佳实践。

struct A
{int _a : 2;int _b : 5;int _c : 10;int _d : 30;
};
int main()
{struct A sa = { 0 };scanf("%d", &sa._b);//这是错误的//正确的⽰范int b = 0;scanf("%d", &b);sa._b = b;return 0;
}

完 

相关文章:

  • webpack环境配置分类结合vue使用
  • 蓝桥杯算法题:最大比例
  • 金融企业区域集中库的设计构想和测试验证
  • kubeadm部署的k8s1.29集群证书更新
  • 微信小程序中实现埋点的方法
  • flink1.18源码本地调试环境
  • 如何操作RAID 0阵列的扩容?
  • MongoDB初探:安装与图形化界面保姆级使用指南
  • 面试算法-132-和至少为 K 的最短子数组
  • 迷茫下是自我提升
  • Qt——Qt绘图之QPainter的使用总结(使用paintEvent实现旋转图片效果)
  • Oracle23免费版简易安装攻略
  • 区间概率预测python|QR-CNN-BiLSTM+KDE分位数-卷积-双向长短期记忆神经网络-时间序列区间概率预测+核密度估计
  • ML.NET(二) 使用机器学习预测表情分析
  • 网页的皮肤——CSS
  • -------------------- 第二讲-------- 第一节------在此给出链表的基本操作
  • 「译」Node.js Streams 基础
  • Android 控件背景颜色处理
  • CSS盒模型深入
  • Druid 在有赞的实践
  • Elasticsearch 参考指南(升级前重新索引)
  • EventListener原理
  • JS基础篇--通过JS生成由字母与数字组合的随机字符串
  • Laravel深入学习6 - 应用体系结构:解耦事件处理器
  • Leetcode 27 Remove Element
  • Rancher-k8s加速安装文档
  • Sass Day-01
  • SSH 免密登录
  • Terraform入门 - 1. 安装Terraform
  • Vue2.0 实现互斥
  • 动手做个聊天室,前端工程师百无聊赖的人生
  • 更好理解的面向对象的Javascript 1 —— 动态类型和多态
  • 基于web的全景—— Pannellum小试
  • 计算机常识 - 收藏集 - 掘金
  • 一个6年java程序员的工作感悟,写给还在迷茫的你
  • 摩拜创始人胡玮炜也彻底离开了,共享单车行业还有未来吗? ...
  • 树莓派用上kodexplorer也能玩成私有网盘
  • #1015 : KMP算法
  • #Linux(权限管理)
  • #快捷键# 大学四年我常用的软件快捷键大全,教你成为电脑高手!!
  • (13)Hive调优——动态分区导致的小文件问题
  • (c语言版)滑动窗口 给定一个字符串,只包含字母和数字,按要求找出字符串中的最长(连续)子串的长度
  • (DFS + 剪枝)【洛谷P1731】 [NOI1999] 生日蛋糕
  • (vue)页面文件上传获取:action地址
  • (第二周)效能测试
  • (二)pulsar安装在独立的docker中,python测试
  • (二)windows配置JDK环境
  • (附源码)ssm基于微信小程序的疫苗管理系统 毕业设计 092354
  • (四)图像的%2线性拉伸
  • (转)LINQ之路
  • (轉貼) UML中文FAQ (OO) (UML)
  • .bat批处理(五):遍历指定目录下资源文件并更新
  • .Family_物联网
  • .Net Framework 4.x 程序到底运行在哪个 CLR 版本之上
  • .NET MVC第三章、三种传值方式