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.

最后,如果您觉得我的文章对您有帮助,欢迎添加我的个人公众号:wenzi嵌入式软件,期待与您一同前行~

union 的概念及在嵌入式编程中的应用的更多相关文章

  1. 嵌入式编程中使用 do{...} while(0) 的解释

    最近在看esp32的idf,有一些宏定义使用了do while(0)这种看起来好像没啥用的代码.然后我查了一下资料,发现在linux内核代码中经常用到这个东西! 现在就将这个东西整理一下. 为什么在内 ...

  2. 在嵌入式开发中应该这样理解嵌入式C编程

    一.新手常常问的一个问题:C语言和嵌入式C编程有什么区别?而嵌入式工程师一般都会告诉你,其区别在于嵌入式的C语言是跑在嵌入式的开发板上的,CPU和电脑不一样,所以编译器也是不一样的,生成的可执行程序也 ...

  3. 【Java并发编程】6、volatile关键字解析&内存模型&并发编程中三概念

    volatile这个关键字可能很多朋友都听说过,或许也都用过.在Java 5之前,它是一个备受争议的关键字,因为在程序中使用它往往会导致出人意料的结果.在Java 5之后,volatile关键字才得以 ...

  4. volatile关键字解析&内存模型&并发编程中三概念

    原文链接: http://www.cnblogs.com/dolphin0520/p/3920373.html volatile这个关键字可能很多朋友都听说过,或许也都用过.在Java5之前,它是一个 ...

  5. Python之☞网络编程中一些概念问题(未完)

    :::一些名词的解释::: 网络: 网络是辅助双方能够连接在一起的工具,使用网络的目的,为了联通多方然后进行通讯,能够让软件在不同的电脑上运行,相互传输数据. 网络协议: 约定俗成的,没有理由. TC ...

  6. 【C/C++】C语言嵌入式编程修炼·背景篇·软件架构篇·内存操作篇

    C 语言嵌入式系统编程修炼之一:背景篇 不同于一般形式的软件编程,嵌入式系统编程建立在特定的硬件平台上,势必要求其编程语言具备较强的硬件直接操作能力.无疑,汇编语言具备这样的特质.但是,归因于汇编语言 ...

  7. Java GUI编程中AWT/swing/SWT的优缺点

    http://www.cnblogs.com/dugang/archive/2010/10/22/1858478.html AWT AWT是Abstract Window Toolkit(抽象窗口工具 ...

  8. 有限状态机在单片机和 Arduino 编程中的应用

    有限状态机在单片机和 Arduino 编程中的应用,个人认为在实际中这是一种思想,意味着解决一类问题. 本帖最后由 张飞 于 2015-3-4 20:18 编辑 在单片机编程中,如果在不使用操作系统的 ...

  9. 链接脚本在编程中的高级运用之二——执行时库和C++特性支持

    我们在链接脚本在编程中的高级运用之中的一个可变长数组中已经讲述了编译链接的原理,并且以uboot命令为例具体介绍链接脚本怎样实现可变长数组. 本章在前者的基础上继续讲述链接脚本在执行时库中的高级应用技 ...

随机推荐

  1. linux中的文本处理命令

    一.wc :统计文本的行数.字符数. -l:只显示行数 -d:只显示单词数 -c:只显示字符数 二.tr:转换字符或者删除字符 -d:删除字符 三.cut -d:指定分隔符 -f:指定要显示的字段 例 ...

  2. TCP漫谈之keepalive和time_wait

    TCP是一个有状态通讯协议,所谓的有状态是指通信过程中通信的双方各自维护连接的状态. 一.TCP keepalive 先简单回顾一下TCP连接建立和断开的整个过程.(这里主要考虑主流程,关于丢包.拥塞 ...

  3. Java合并png图片

    package org.jimmy.autosearch2019.test; import java.awt.Graphics; import java.awt.image.BufferedImage ...

  4. Flutter AbsorbPointer 与 IgnorePointer的区别

    AbsorbPointer AbsorbPointer是一种禁止用户输入的控件,比如按钮的点击.输入框的输入.ListView的滚动等,你可能说将按钮的onPressed设置为null,一样也可以实现 ...

  5. raphael.js 使用指南

    RaphaelJS是一个用JavaScript实现的强大的矢量图形库. (1)使用前准备,下载RaphaelJS,到官网下载. (2)在相应的HTML页面引入RaphaelJS,如下示例代码: < ...

  6. Java调用ARM模板执行Azure Rest建立VM过程

    Azure Resource Manager 提供一致的管理层,用于管理通过 Azure PowerShell.Azure CLI.Azure 门户.REST API 和开发工具执行的任务,所有工具使 ...

  7. 【php】错误日志处理

    一. 错误处理: a) 在写程序的过程当中,遇到错误时,你的反应?可能比较急躁,比较烦 b) 遇到错误后:一别哭,二别闹,三别上吊,四别尿……二. 你可能会遇到的错误: a) 语法错误 i. 语法错误 ...

  8. es实现mysql的like查询

    es版本6.8 因为阿里云的dts同步最高支持es版本就是6.8 构建索引 PUT /z_test/ { "mappings": { "doc": { &quo ...

  9. k8s yaml示例

    Kind选择 https://kubernetes.io/zh/docs/concepts/workloads/controllers/ Pod示例 apiVersion : v1 #版本v1 kin ...

  10. Java创建线程的三种形式的区别以及优缺点

    1.实现Runnable,Callable Callable接口里定义的方法有返回值,可以声明抛出异常. 继承Callable接口实现线程 class ThreadCall implements Ca ...