正如你所说，这是严格未定义的行为，尽管它将“工作”在许多平台上。使用联合的真正原因是为了创建不同的记录。

union A {
   int i;
   double d;
};

A a[10];    // records in "a" can be either ints or doubles 
a[0].i = 42;
a[1].d = 1.23;

当然，您还需要某种鉴别器来说明这个变体实际上包含了什么。注意，在c++中，联合的用处不大，因为它们只能包含POD类型——实际上是那些没有构造函数和析构函数的类型。

在c++中，Boost Variant实现了一个安全的联合版本，旨在尽可能地防止未定义的行为。

它的性能与enum + union结构相同(也分配了堆栈等)，但它使用类型的模板列表而不是enum:)

在1974年记录的C语言中，所有结构成员共享一个公共名称空间，“ptr->成员”的含义被定义为添加 成员的位移到“ptr”，并使用 成员的类型。这种设计使得成员可以使用相同的ptr 名称取自不同的结构定义，但偏移量相同; 程序员将这种能力用于各种目的。

When structure members were assigned their own namespaces, it became impossible to declare two structure members with the same displacement. Adding unions to the language made it possible to achieve the same semantics that had been available in earlier versions of the language (though the inability to have names exported to an enclosing context may have still necessitated using a find/replace to replace foo->member into foo->type1.member). What was important was not so much that the people who added unions have any particular target usage in mind, but rather that they provide a means by which programmers who had relied upon the earlier semantics, for whatever purpose, should still be able to achieve the same semantics even if they had to use a different syntax to do it.

在C语言中，这是实现像变体这样的东西的好方法。

enum possibleTypes{
  eInt,
  eDouble,
  eChar
}


struct Value{

    union Value {
      int iVal_;
      double dval;
      char cVal;
    } value_;
    possibleTypes discriminator_;
} 

switch(val.discriminator_)
{
  case eInt: val.value_.iVal_; break;

在内存较少的情况下，此结构体比具有所有成员的结构体使用更少的内存。

顺便说一下，C提供了

    typedef struct {
      unsigned int mantissa_low:32;      //mantissa
      unsigned int mantissa_high:20;
      unsigned int exponent:11;         //exponent
      unsigned int sign:1;
    } realVal;

访问位值。

结合的目的是相当明显的，但由于某种原因，人们经常忽略它。

联合的目的是通过使用相同的内存区域在不同的时间存储不同的对象来节省内存。就是这样。

它就像旅馆里的一个房间。不同的人住在里面的时间不重叠。这些人从来没有见过面，而且通常对彼此一无所知。通过合理管理房间的分时(即确保不同的人不会同时被分配到一个房间)，一个相对较小的酒店可以为相对大量的人提供住宿，这就是酒店的目的。

这正是工会所做的。如果您知道程序中的几个对象所保存的值具有不重叠的值生存期，那么您可以将这些对象“合并”为一个联合，从而节省内存。就像酒店房间在每个时刻最多有一个“活跃”租户一样，工会在每个节目时间最多有一个“活跃”成员。只能读取“活动”成员。通过写入其他成员，您将“活动”状态切换到其他成员。

出于某种原因，联合的最初目的被完全不同的东西“覆盖”了:写联合的一个成员，然后通过另一个成员检查它。这种内存重解释(又名“类型双关语”)不是联合的有效使用。它通常会导致未定义的行为，在C89/90中被描述为产生实现定义的行为。

编辑:在C99标准的一个技术勘误表(参见DR#257和DR#283)中，为了类型双关的目的而使用联合(即写入一个成员，然后读取另一个成员)给出了更详细的定义。但是，请记住，在形式上，这并不能防止您在试图读取陷阱表示时遇到未定义的行为。

你可以使用联合来创建像下面这样的结构体，它包含一个字段，告诉我们联合的哪个组件实际被使用:

struct VAROBJECT
{
    enum o_t { Int, Double, String } objectType;

    union
    {
        int intValue;
        double dblValue;
        char *strValue;
    } value;
} object;