当定义结构对象时，如果没有显式地初始化它们，则会采用一般初始化规则：如果该结构对象属于动态存储类型，那么其成员具有不确定的初始值。另一方面，如果结构对象具有静态存储周期，那么其非指针成员初始值是 0，其指针成员初始值是空指针。

         不同于结构成员——它们在结构中都具有单独的内存位置，联合成员则共享同一个内存位置。也就是说，联合中的所有成员都是从相同的内存地址开始。因此，可以定义一个拥有许多成员的联合，但是同一时刻只能有一个成员允许含有一个值。联合让程序员可以方便地通过不同方式使用同一个内存位置。

定义联合（union）

联合的定义方式与结构是一样的，只是把关键字 struct 改成 union：

union [标签名称]{成员声明列表};

下面的例子定义了一个名为Data的联合类型，它有 3 个成员：i、x 和 str：

这种类型的对象可以存储一个整数、一个浮点数或一个短字符串。下面的声明定义了一个 union Data 类型的对象 var 和一个 unionData 类型的数组 myData，它有 100 个元素（联合的空间大小为它最大成员的空间大小）：

如果想获得联合的空间大小，可以使用 sizeof 运算符。对上例来说，sizeof（var）会返回 16，而 sizeof（myData）则返回 1600。

如图 1 所示，联合中所有成员都是从内存中同一个地址开始的。

为展示联合和结构的差异，看看下面定义的 struct Record，它具有成员 i、x 和 str：

 

如图 2 所示，结构对象中每个成员使用内存中的不同位置。

获取联合成员的方式和获取结构成员的方式一样。唯一的差异在于，当改变一个联合成员的值时，实际上修改了该联合所有成员的值。下面的一些例子使用联合对象 var 和 myData：

与结构一样，每个联合类型的成员都拥有各自的命名空间。所以在上例最后的语句中，索引变量 i 和联合成员 i 代表两个不同的对象。

程序员要确保联合对象的内存内容被正确地解释和使用。联合内成员的类型不同，允许程序员采用不同的方式解释内存中的同一组字节值。例如，下面的循环使用联合来展示一个 double 值在内存中的存储形式：

该循环从 var.x 的最高位字节开始，生成下面的输出：

3F F4 00 00 00 00 00 00

初始化联合（union）

与结构类似，通过初始化列表（initialization list）来初始化联合对象。但是，对联合来说，列表只有一个初始化器（initializer）。

与结构一样，C99 允许在初始化器中使用成员指示符来指示哪个成员被初始化。而且，如果初始化器没有成员指示符，那么就与联合内的第一个成员关联。具有自动存储类的联合对象也可以使用已有的同类型对象来初始化。下面是一些初始化例子：

数组 myData 中的元素如果没有指定初始化器，会被隐式地初始化为 0 值。