8.3.1共同体类型
设有字符型变量c、整型变量j，若这二个变量在使用过程中互斥，即当用到c时，一定不用j，当用j时，一定不用c，则无需为二个变量分配不同的存储空间，而可使二个变量共同使用一个存储空间，如图8.1所示。具有这种存储特性的变量称为共同体类型的变量。要定义共同体类型变量，必须先定义共同体类型。共同体类型的定义方法与结构体类型的定义方法类似，只要用关键字union 代替struct即可。
定义格式： union <共同体类型名>
{ <类型> <成员名1>;
<类型> <成员名2>;
…
<类型> <成员名n>;
};
其中，共同体类型名由标识符组成，成员名也由标识符组成。成员类型可为基本类型或导出类型。各成员共用一个存储区，存储区的大小等于各成员占用字节长度的最大值。例如，定义共同体如下：
union data
{ char c;
int j ;
};
其中：data为共同体类型名，该共同体有两个成员c、j，c为字符型占用一个字节，j为整型占四个字节，c与j共用同一存储区，存储区长度为四个字节，如图8.1所示。
8.3.2共同体类型变量的定义
共同体类型变量的定义与结构体类型变量的定义完全相同，也有三种形式：
（1）先定义类型，后定义变量。
（2）定义类型的同时定义变量。
（3）直接定义共同体类型变量。
【例8.8】用三种方式定义共同体类型变量。
# include <iostream.h>
union data
{ char c;
int j ;
};
data d; //先定义类型，后定义变量。
union data1
{ char c1;
int j1;
}x1,x2,x3; //定义类型的同时定义变量。
union
{ char c;
int i;
float x;
} a,b,c; //直接定义共同体类型变量。
main ( )
{ d.c='a';
d.j=98;
cout<<d.c<<endl;
}
执行结果为 ：
b
在主函数中，共同体变量d的字符型成员c被赋于字符'a'值，共同体变量d的整型成员j被赋于98，由于j与c占用相同的内存空间，如图8.1所示。因此，执行赋值语句d.j=98后，d.c的内容已被修改为'b'的ASCII码98，因此，最后执行cout<<d.c时，屏幕上出现的是b，而不是a。
8.3.3共同体类型变量的引用
共同体变量的引用方式与结构体变量的引用方式相同，即使用成员运算符"."连接变量名与成员名即可，其引用格式为：<共同体变量名>.<成员名>
如上例中d.c、d.j均为对共同体变量d的成员c、j的引用。
使用共同体类型变量的主要目的是减少程序变量对内存的占用量。如今，计算机内存已越来越大，所以内存容量已不是程序设计中主要考虑的问题。因此，共同体类型变量使用越来越少。
8.3.4共同体类型的特点
（1）同一共同体内的成员共用一个存储区，存储区的大小=成员占用字节长度最大值。
（2）在任一时刻，在一个共同体变量中，只有一个成员起作用。
（3）共同体类型中的成员类型可为任意已定义的数据类型。
由于共同体变量在程序设计中已很少使用，所以本章节只作概念性的叙述，不再举例详细介绍。
