C语言的联合（union）介绍

   “联合”与“结构”有一些相似之处。但两者有本质上的不同。在结构中各成员有各自的内存空间, 一个结构变量的总长度是各成员长度之和。而在“联合”中,各成员共享一段内存空间, 一个联合变量的长度等于各成员中最长的长度。应该说明的是, 这里所谓的共享不是指把多个成员同时装入一个联合变量内, 而是指该联合变量可被赋予任一成员值,但每次只能赋一种值, 赋入新值则冲去旧值。如前面介绍的“单位”变量, 如定义为一个可装入“班级”或“教研室”的联合后,就允许赋予整型值（班级)或字符串（教研室)。要么赋予整型值,要么赋予字符串,不能把两者同时赋予它。联合类型的定义和联合变量的说明一个联合类型必须经过定义之后, 才能把变量说明为该联合类型。 

一、联合的定义 

定义一个联合类型的一般形式为:  
union 联合名  
{  
成员表  
}; 
成员表中含有若干成员,成员的一般形式为: 类型说明符 成员名 成员名的命名应符合标识符的规定。 
例如:  
union perdata 
{ 
   int class; 
   char office; 
}; 
　　定义了一个名为perdata的联合类型,它含有两个成员,一个为整型,成员名为class;另一个为字符数组,数组名为office。联合定义之后,即可进行联合变量说明,被说明为perdata类型的变量,可以存放整型量class或存放字符数组office。 

二、联合变量的说明 

　　联合变量的说明和结构变量的说明方式相同, 也有三种形式。即先定义,再说明;定义同时说明和直接说明。以perdata类型为例,说明如下:  
union perdata 
{ 
   int class; 
   char officae; 
}; 
union perdata a,b; /*说明a,b为perdata类型*/ 
或者可同时说明为:  
union perdata 
{  
int class; 
char office;  
}a,b; 
或直接说明为:  
union 
{  
int class; 
char office;  
}a,b  
经说明后的a,b变量均为perdata类型。 它们的内存分配示意图如图7—8所示。a,b变量的长度应等于 perdata 的成员中最长的长度, 即等于 
office数组的长度,共10个字节。从图中可见,a,b变量如赋予整型值时,只使用了2个字节,而赋予字符数组时,可用10个字节。 

联合变量的赋值和使用 

　　对联合变量的赋值,使用都只能是对变量的成员进行。 联合变量的成员表示为: 联合变量名.成员名 例如,a被说明为perdata类型的变量之后,可使用 a.class　a.office 不允许只用联合变量名作赋值或其它操作。 也不允许对联合变量作初始化赋值,赋值只能在程序中进行?一个联合变量, 每次只能赋予一个成员值?一个联合变量的值就是联合变员的某一个成员值。

[例7.15]设有一个教师与学生通用的表格,教师数据有姓名,年龄,职业,教研室四项。学生有姓名,年龄,职业,班级四项。 
编程输入人员数据, 再以表格输出。 
[code:1:8d8ee8c82c] 
main() 
{ 
   struct 
   { 
      char name[10]; 
      int age; 
      char job; 
      union 
      { 
         int class; 
         char office[10]; 
      } depa; 
   }body[2]; 
int n,i; 
   for(i=0;i<2;i++) 
   { 
      printf("input name,age,job and department\n"); 
      scanf("%s %d %c",body[i].name,&body[i].age,&body[i].job); 
      if(body[i].job=='s') 
         scanf("%d",&body[i].depa.class); 
      else 
         scanf("%s",body[i].depa.office); 
   } 
   printf("name\tage job class/office\n"); 
   for(i=0;i<2;i++) 
   { 
   if(body[i].job=='s') 
      printf("%s\t%3d %3c %d\n",body[i].name,body[i].age ,body[i].job,body[i].depa.class); 
   else 
      printf("%s\t%3d %3c %s\n",body[i].name,body[i].age, body[i].job,body[i].depa.office); 
   } 
} 
[/code:1:8d8ee8c82c] 
　　本例程序用一个结构数组body来存放人员数据, 该结构共有四个成员。其中成员项depa是一个联合类型, 这个联合又由两个成员组成,一个为整型量class,一个为字符数组office。在程序的第一个for语句中,输入人员的各项数据,先输入结构的前三个成员name,age和job,然后判别job成员项,如为"s"则对联合depa·class输入(对学生赋班级编号)否则对depa·office输入(对教师赋教研组名)。 

　　在用scanf语句输入时要注意,凡为数组类型的成员,无论是结构成员还是联合成员,在该项前不能再加"&"运算符。如程序第18行中 
body[i].name是一个数组类型,第22行中的body[i].depa.office也是数组类型,因此在这两项之间不能加"&"运算符。程序中的第二个for语句用于输出各成员项的值: 

本章小结 

1. 结构和联合是两种构造类型数据,是用户定义新数据类型的重要手段。结构和联合有很多的相似之处,它们都由成员组成。成员可以具有不同的数据类型。成员的表示方法相同。都可用三种方式作变量说明。 

2. 在结构中,各成员都占有自己的内存空间,它们是同时存在的。一个结构变量的总长度等于所有成员长度之和。在联合中,所有成员不能同时占用它的内存空间,它们不能同时存在。联合变量的长度等于最长的成员的长度。 

3. “.”是成员运算符,可用它表示成员项,成员还可用“->”运算符来表示。 

4. 结构变量可以作为函数参数,函数也可返回指向结构的指针变量。而联合变量不能作为函数参数,函数也不能返回指向联合的指针变量。但可以使用指向联合变量的指针,也可使用联合数组。 

5. 结构定义允许嵌套,结构中也可用联合作为成员,形成结构和联合的嵌套。