查看原文
其他

union 的概念及在嵌入式编程中的应用

Editor's Note

今天为大家分享一篇加文童鞋的C语言联合体的应用笔记,总结得挺不错的,共联体的思想其实和对内存的分时复用原理上是类似的,都能达到节省资源的目的,不过大家在多线程中使用共联体还是要多加小心,又开始唠叨了,嗨,看来真的老了,赶紧看看加文的文章!!

The following article is from wenzi嵌入式软件 Author wenzid


笔者能力有限,如果文章中出现错误的地方,还请各位朋友能给我指出来,我将不胜感激,谢谢~

union 概念

union 在中文的叫法中又被称为共用体,联合或者联合体,它定义的方式与 struct 是相同的,但是意义却与 struct 完全不同,下面是 union 的定义格式:

  1. union 共用体名

  2. {

  3. 成员列表

  4. }共用体变量名;

那么它与结构体的定义方式相同,那么区别是什么呢,下面通过一个 struct 与 union 的嵌套来说明两者的区别所在。

  1. struct my_struct

  2. {

  3. int type;

  4. union my_union

  5. {

  6. char *str;

  7. int number;

  8. }value;

  9. }Elem_t;

访问方式是同结构体是一样的,比如我要访问 number 变量,那么就可以以如下的方式进行访问:

  1. Elem_t.value.number = 10;

union 与 struct 的区别是什么呢?用一句话概括就是共用体中的成员的地址都是一样的,结构体中的成员都具有各自的地址,下面用一张图展示 Elem_t 在内存中的存储。

看到变量在内存中的存储位置之后,也就明白 union 的特性了,对于这样存储的好处显而易见,程序中能够使用不同类型的变量并且只占用一个变量的存储空间,能够节省存储空间。上述程序中共用体的中两个成员所占的存储空间大小一样,都是四个字节,所以最终这个共用体所占存储空间的大小就是四个字节,如果共用体的成员的存储空间大小不一样,那么共用体存储空间的大小取决于成员中存储空间最大的一个。

union 的应用

使用 union 来打包数据

在使用联合在打包数据的时候,必须要清楚当前处理器是大端对齐还是小端对齐。

  • 大端对齐:数据的低位保存在内存的高地址中,数据的高位保存的内存的低地址中。

  • 小端对齐:数据的低位保存在内存的低地址中,数据的高位保存在内存的高地址中。

下面用图的形式举一个例子分别在大端对齐和小端对齐中的存储形式。

有了大端对齐和小端对齐的认知下,我们来看 union 如何对数据进行打包,下面给出一段代码:

  1. #include <stdio.h>

  2. int main(void)

  3. {

  4. union

  5. {

  6. unsigned int word;

  7. struct

  8. {

  9. unsigned char byte1;

  10. unsigned char byte2;

  11. }byte;

  12. }u1;


  13. u1.byte.byte1 = 0x21;

  14. u1.byte.byte2 = 0x43;

  15. printf("The Value of word is:0x%x\n",u1.word);

  16. }

上述的运行结果会根据对齐方式的不一样而有所差别。如果是小端模式:

  1. The Value of word is:0x4321

如果是大端模式:

  1. The Value of word is:0x2143

当然对于采用这种方式进行数据的打包来说,弊端也是很明显的,因为会因为处理器的对齐方式而产生不同的结果,所以,我们往往采用的都是通过数据移位的方式来实现:

  1. uint8_t byte3 = 0x21;

  2. uint8_t byte4 = 0x43;

  3. uint16_t word;

  4. word = (((uint16_t)byte4) << 8)|((uint16_t)byte3);

上述的写法便不会收到处理器对齐方式的影响,也具有更好地移植性。

union 在数据传输中的应用

背景:现在有两个小车需要进行通信,分别是小车 A 和小车 B ,有些时候,小车 A 需要向小车 B 发送它当前的速度,有些时候,小车 A 需要向小车 B 发送它当前的位置,而有些时候小车 A 需要向小车 B 发送它当前的状态。

分析:在上面的背景当中,我们得知发送的消息的时候并不是同时要发送速度,状态,位置,而是这三个参数分开来的,并不是同时需要,那这个时候,我们就可以采用 union 的特性来构造一个数据结构,这样做的好处是能够缩减变量占用的内存,比如说我们不采用 union 来构造的话,通常我们会采用结构体的方式,比如这样:

  1. struct buffer

  2. {

  3. uint8_t power; /*当前电池容量*/

  4. uint8_t op_mode; /*操作模式*/

  5. uint8_t temp; /*当前的温度*/

  6. uint16_t x_pos;

  7. uint16_t y_pos;

  8. uint16_t vel; /*小车当前的速度*/

  9. }my_buff;

采用上述的结构的话,我们可以计算一下(不考虑内存对齐的情况,内存对齐的话要对结构体内存进行填充,笔者打算后面单写一篇文章记录内存对齐的问题),结构体占用的存储空间是 9 个字节,为了优化我们的代码,我们可以采用如下的方式来构造我们要传输的数据。

  1. union

  2. {

  3. struct

  4. {

  5. uint8_t power;

  6. uint8_t op_mode;

  7. uint8_t temp;

  8. }status;


  9. struct

  10. {

  11. uint16_t x_pos;

  12. uint16_t y_pos;

  13. }position;


  14. uint16_t vel;

  15. }msg_union;

这样一来,从存储空间来讲,这个 union 所占的空间只有 4 个字节。如果要将发送的数据封装成一个数据帧,那上面所定义的 union 就存在问题了,因为接收方就不知道发送方发过去的是哪个参数,因此,需要在里面加入参数类型这个变量,于是就有了如下的代码:

  1. struct

  2. {

  3. uint8_t msg_type;

  4. union

  5. {

  6. struct

  7. {

  8. uint8_t power;

  9. uint8_t op_mode;

  10. uint8_t temp;

  11. }status;


  12. struct

  13. {

  14. uint16_t x_pos;

  15. uint16_t y_pos;

  16. }position;


  17. uint16_t vel;

  18. }msg_union;

  19. }message;

有了 msg_type 的加入,我们就可以在接收端对数据进行解析了。

小结

通过上述的这个例子,我们现在来回顾一下,如果不使用 union 的话,在进行数据传输的时候,直接将由 struct 构造的数据形成数据帧发送过去,发送的数据包要比使用 union 构造的数据大不少,使用 union 构造数据,既能够帮助我们节省了存储空间,还节省了通信时的带宽。

union 在数据解析中的应用

上面一个例子我们使用 union 在数据传输中优化了代码,那么 union 在数据解析中又具有什么作用呢,看下面这样一段代码:

  1. typedef union

  2. {

  3. uint8_t buffer[PACKET_SIZE];


  4. struct

  5. {

  6. uint8_t size;

  7. uint8_t CMD;

  8. uint8_t payload[PAYLOAD_SIZE];

  9. uint8_t crc;

  10. }fields;

  11. }PACKET_t;


  12. // 函数调用方法:packet_builder(packet.buffer,new_data)

  13. // 将新数据存到 buffer 的时候,还需要一些额外的操作

  14. // 比如应该将 size 存放 buffer[0]中

  15. // 将 cmd 存放到 buffer[1] 中,依次类推

  16. void packet_builder(uint8_t *buffer,uint8_t data)

  17. {

  18. static uint8_t received_bytes = 0;

  19. buffer[received_bytes++] = data;

  20. }


  21. void packet_handler(PACKET_t *packet)

  22. {

  23. if (packet->fields.size > TOO_BIG)

  24. {

  25. //错误

  26. }

  27. if (packet->fields.cmd == CMD)

  28. {

  29. //处理对应的数据

  30. }

  31. }

要理解这个数据解析过程,需要用到 union 中的成员存放在同一个地址这个特性,buffer[PACKET_SIZE]中的元素与 fields 中的元素是一一对应的,用一张图来表示就很清楚了,如下图:

看了这张图,我想就很清楚了,往 buffer 里写了数据,直接从 fileds 里面读出来就可以了。

总结

运用好 union 不仅仅是能够节省存储空间,用好地址共享这个特性也能够实现很精妙的效果,笔者之前都没怎么用过 union,这几天关于 union 的学习也使笔者意识到路漫漫其修远兮,但是也引用胡适先生的一句话:怕什么真理无穷,进一寸有一寸的欢喜。

参考资料:

[1] https://www.allaboutcircuits.com/technical-articles/union-in-c-language-for-packing-and-unpacking-data/

[2] https://www.allaboutcircuits.com/technical-articles/learn-embedded-c-programming-language-understanding-union-data-object/.

[3] https://stackoverflow.com/questions/252552/why-do-we-need-c-unions.

您的阅读是对我最大的鼓励,您的建议是对我最大的提升,欢迎点击下方图片进入小程序进行评论或者添加笔者微信相互交流,名片二维码在公众号底部获取

 结束语

    这里是公众号:“最后一个bug”,一个为大家打造的技术知识提升基地。同时非常感谢各位小伙伴的支持,我们下期精彩见!

推荐好文  点击蓝色字体即可跳转

【硬壳】C程序里面嵌点"机器码"玩一玩"(小知识揭露大道理)

顿悟,神秘的register关键字(C语言篇) 

【典藏】深度剖析单片机程序的运行(C程序版) 

【连载】通过"库文件"学单片机驱动编程(5)-完结篇

☞ C语言为什么一般不在.h中定义函数或者变量?(精华)

【典藏】大佬们都在用的结构体进阶小技巧

深度剖析"bit序"与"字节序"(追思永念)

听说因为代码没"对齐"程序就奔了?(深度剖析)

【典藏】自制小型GUI界面框架(设计思想篇)

您可能也对以下帖子感兴趣

文章有问题?点此查看未经处理的缓存