联合

在这里插入图片描述

1.联合体的定义

联合也是一种特殊的自定义类型。

先来看一个结构体变量：

#include<stdio.h>
#include<stdlib.h>
union Un
{
	char c;
	int i;
};
int main()
{
	union Un un;
	printf("%p\n", &un);
	printf("%p\n", &un.c);
	printf("%p\n", &un.i);
	return 0;
}

$[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-y1rqMh60-1691546475550)(C:\Users\30539\AppData\Roaming\Typora\typora-user-images\image-20230808234108414.png)]$

发现联合每个成员的起始地址都是相同的，说明他们都是从同一个地址处开始增长的，包含一系列的成员，特征是这些成员公用同一块空间（所以联合也叫共用体）。

联合类型的声明：(需要union关键字)

//联合类型的声明
union Un
{
    char c;
    int i;
};
int main()
{
//联合变量的定义
union Un un;
//计算连个变量的大小
printf("%d\n", sizeof(un));
    return 0;
}

2.联合的特点

联合的成员是共用同一块内存空间的，这样一个联合变量的大小，至少是最大成员的大小（因为联合至少得有能力保存最大的那个成员）。

请预测一下代码的运行结果：

union Un
{
    int i;
    char c;
};
union Un un;
// 下面输出的结果是一样的吗？
printf("%d\n", &(un.i));
printf("%d\n", &(un.c));

//下面输出的结果是什么？
un.i = 0x11223344;
un.c = 0x55;
printf("%x\n", un.i);

运行结果：

$[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-vCM8511k-1691546475551)(C:\Users\30539\AppData\Roaming\Typora\typora-user-images\image-20230808235011994.png)]$

分析：这里i占用·四个字节，由低地址向高地址增长，由低到高字节的数据被依次赋值了，但是un.c=0x55;语句执行之后，最低地址的值就被修改为了55。

$[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-oP5SXHDV-1691546475552)(C:\Users\30539\AppData\Roaming\Typora\typora-user-images\image-20230809000544199.png)]$

3.联合的大小计算

联合的大小至少是最大成员的大小。
当最大成员大小不是最大对齐数的整数倍的时候，就要对齐到最大对齐数的整数倍。

例如：

union Un1
{
    char c[5];
    int i;
};
union Un2
{
    short c[7];
    int i;
};
int main()
{
    //下面输出的结果是什么？
    printf("%d\n", sizeof(union Un1));
    printf("%d\n", sizeof(union Un2));
	return 0;
}

运行结果：

$[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-PpH8Ra1Y-1691546475552)(C:\Users\30539\AppData\Roaming\Typora\typora-user-images\image-20230809001144962.png)]$

分析：

union Un1:union Un1的最大成员大小是5个字节，但是union Un1的最大对齐数是4，所以union Un1的大小最终要对齐到4的整数倍，就是8了**。**
union Un2:union Un2的最大成员大小是14个字节，但是union Un2的最大对齐数是4，所以union Un2的大小要对齐到最大对齐数的整数倍处，就是16了。