共用体是一种特殊的数据类型,允许您在相同的内存位置存储不同的数据类型。您可以定义一个带有多成员的共用体,但是任何时候只能有一个成员带有值。共用体提供了一种使用相同的内存位置的有效方式。
定义共用体
为了定义共用体,您必须使用 union
语句,方式与定义结构类似。union
语句定义了一个新的数据类型,带有多个成员。union
语句的格式如下:
1 | union [union tag] |
union tag
是可选的,每个 member definition
是标准的变量定义,比如 int i;
或者 float f;
或者其他有效的变量定义。在共用体定义的末尾,最后一个分号之前,您可以指定一个或多个共用体变量,这是可选的。下面定义一个名为 Data
的共用体类型,有三个成员 i、f 和 str
:
1 | union Data |
现在,Data
类型的变量可以存储一个整数、一个浮点数,或者一个字符串。这意味着一个变量(相同的内存位置)可以存储多个多种类型的数据。您可以根据需要在一个共用体内使用任何内置的或者用户自定义的数据类型。
共用体占用的内存应足够存储共用体中最大的成员。例如,在上面的实例中,Data
将占用 20
个字节的内存空间,因为在各个成员中,字符串所占用的空间是最大的。下面的实例将显示上面的共用体占用的总内存大小:
实例
1 |
|
结果:
1 | Memory size occupied by data : 20 |
访问共用体成员
为了访问共用体的成员,我们使用成员访问运算符(.)
。成员访问运算符是共用体变量名称和我们要访问的共用体成员之间的一个句号。您可以使用 union
关键字来定义共用体类型的变量。下面的实例演示了共用体的用法:
实例
1 |
|
结果:
1 | data.i : 1917853763 |
在这里,可以看到共用体的 i 和 f
成员的值有损坏,因为最后赋给变量的值占用了内存位置,这也是 str
成员能够完好输出的原因。
同一时间只使用一个变量:
实例
1 |
|
结果:
1 | data.i : 10 |
共用体字节对齐
1 | union Data{ |
对齐原则:
- 【原则1】数据成员对齐规则:结构(struct)(或联合(union))的数据成员,第一个数据成员放在offset为0的地方,以后每个数据成员的对齐按照
#pragma pack
指定的数值和这个数据成员自身长度中,比较小的那个进行。 - 【原则2】结构(或联合)的整体对齐规则:在数据成员完成各自对齐之后,结构(或联合)本身也要进行对齐,对齐将按照
#pragma pack
指定的数值和结构(或联合)最大数据成员长度中,比较小的那个进行。 - 【原则3】结构体作为成员:如果一个结构里有某些结构体成员,则结构体成员要从其内部最大元素大小的整数倍地址开始存储。
按照原则2,VS 中默认的是 #pragma park(8)
,char[9]
长度为 9。
1 | 8<9; |
按照 8 的倍数且 >9
,则取为 16
;
注:#pragma pack
:程序编译器对结构的存储的特殊处理确实提高CPU存储变量的速度,但是有时候也带来了一些麻烦,我们也屏蔽掉变量默认的对齐方式,自己可以设定变量的对齐方式。
共用体应用场景
通信中的数据包会用到共用体:因为不知道对方会发一个什么包过来,用共用体的话就很简单了,定义几种格式的包,收到包之后就可以直接根据包的格式取出数据。