“聯合”與“結構”有一些相似之處。但兩者有本質上的不同。在結構中各成員有各自的內存空間, 一個結構變量的總長度是各成員長度之和。而在“聯合”中,各成員共享一段內存空間, 一個聯合變量的長度等於各成員中最長的長度。應該說明的是, 這裡所謂的共享不是指把多個成員同時裝入一個聯合變量內, 而是指該聯合變量可被賦予任一成員值,但每次只能賦一種值, 賦入新值則沖去舊值。如前面介紹的“單位”變量, 如定義為一個可裝入“班級”或“教研室”的聯合後,就允許賦予整型值（班級)或字符串（教研室)。要麼賦予整型值,要麼賦予字符串,不能把兩者同時賦予它。聯合類型的定義和聯合變量的說明一個聯合類型必須經過定義之後, 才能把變量說明為該聯合類型。
一、聯合的定義
定義一個聯合類型的一般形式為:
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個字節。