定义：
使用覆盖技术，几个变量相互覆盖，从而使几个不同变量共占同一段内存的结构，成为共同体类型的结构。
共同体的定义类似结构体，不过共同体的所有成员都在同一段内存中存放，起始地址一样，并且同一时刻只能使用其中的一个成员变量。
声明共用体的一般形式为：
复制代码 代码如下:
union 共用体类型名
{
成员列表
};
定义共用体变量的一般形式为：
共用体类型名 共用体变量名;
例如：
复制代码 代码如下:
union data{
int i;
char ch;
double d;
};
data a,b,c;
或者
复制代码 代码如下:
union{
int i;
char ch;
double d;
};
data a,b,c;
结构体变量所占长度是各成员占的内存长度之和。每个成员分别占有自己的内存单元。共用体变量所占的内存长度等于最长的成员的长度。
共用体的使用
1.不能应用共用体变量，而只能引用共用体变量中的成员。
例如:
复制代码 代码如下:
cout<<a.i;
cout<<a.ch;
2.使用共用体变量的目的是希望通过统一内存段存放几种不同类型的数据。
但是要注意，每一瞬间只能存放一种，而不是存放集中。并且，如果对新的成员变量的话，原来的成员变量的值就被覆盖了。
复制代码 代码如下:
#include<iostream>
using namespace std;
int main(){
union data{
char a;
char b;
};
data qianshou;
qianshou.a='q';
cout<<qianshou.a<<endl;
qianshou.b='m';
cout<<qianshou.a<<endl;
return 0;
}
后来，我们对共用体中的成员b进行了赋值，结果我们输出的是成员a，输出的是b的值，所以证明它们是公用地址的。
3.不能对共用体变量名赋值，不能企图引用变量名来得到一个值；不能在定义共用体变量时对它初始化，不能用共用体变量名作为函数参数。
一个共同体的实例：
设有若干个人员的数据，其中有学生和老师。学生的数据包括：姓名，编号，性别，职业，年级。老师的数据包括：姓名，编号，性别，职业，职务。可以看出，学生和老师所包含的数据是不同的。先要求把他们放在同一个表格中：
要求设计程序输入人员信息然后输出。
如果把每个人都看作一个结构体变量的话，可以看出老师和学生的前4个成员变量是一样的，并且第五个成员变量可能是class或者position，当第四个成员变量是s的时候，第五个成员变量就是class；当第四个成员变量是t的时候，第五个成员变量就是position。
复制代码 代码如下:
#include<iostream>
#include<string>
using namespace std;
int main(){
struct{
string name;
string num;
char sex;
char job;
union{
char grade[5];
char position[5];
}p;//定义了一个共同体变量
}person[2];//定义了一个结构体数组变量
int i=0;
cout<<"name\tnum\tsex\tjob\tclass/position"<<endl;
for(;i<2;i++){
cin>>person[i].name>>person[i].num>>person[i].sex>>person[i].job;
if(person[i].job=='s')cin>>person[i].p.grade;
else cin>>person[i].p.position;
}
i=0;
cout<<"===========show data==========="<<endl;
for(;i<2;i++){
cout<<person[i].name<<"\t";
cout<<person[i].num<<"\t";
cout<<person[i].sex<<"\t";
cout<<person[i].job<<"\t";
if(person[i].job=='s')cout<<person[i].p.grade<<endl;
else cout<<person[i].p.position<<endl;
}
cout<<endl;
return 0;
}