你拥有它，仅此而已。 那么，工会的意义是什么呢?

您可以在相同的位置中放入不同类型的内容。你必须知道你在联合中存储的东西的类型(所以你经常把它放在一个带有type标签的结构体中…)

为什么这很重要?并不是为了获得空间。是的，你可以获得一些位或做一些填充，但这已经不是重点了。

这是为了类型安全，它允许你做某种“动态类型”:编译器知道你的内容可能有不同的含义，你如何解释它的确切含义取决于你在运行时。如果你有一个指针可以指向不同的类型，你必须使用联合，否则你的代码可能会因为别名问题而不正确(编译器会对自己说“哦，只有这个指针可以指向这种类型，所以我可以优化这些访问……”，糟糕的事情可能会发生)。

结构分配其中所有元素的总大小。

一个联合只分配它最大的成员所需要的内存。

对于联合，您只应该使用其中一个元素，因为它们都存储在同一个位置。这在您想要存储可能是几种类型之一的内容时非常有用。另一方面，结构体的每个元素都有单独的内存位置，并且它们都可以一次使用。

为了给出它们使用的一个具体例子，我不久前正在研究一个Scheme解释器，我实际上是将Scheme数据类型覆盖到C数据类型上。这涉及到在一个结构体中存储一个指明值类型的枚举和一个用于存储该值的联合。

union foo {
  int a;   // can't use both a and b at once
  char b;
} foo;

struct bar {
  int a;   // can use both a and b simultaneously
  char b;
} bar;

union foo x;
x.a = 3; // OK
x.b = 'c'; // NO! this affects the value of x.a!

struct bar y;
y.a = 3; // OK
y.b = 'c'; // OK

编辑:如果你想知道将x.b设置为“c”会改变x.a的值，从技术上讲，这是未定义的。在大多数现代机器上，char是1字节，int是4字节，所以给x.b的值'c'也给x.a的第一个字节相同的值:

union foo x;
x.a = 3;
x.b = 'c';
printf("%i, %i\n", x.a, x.b);

打印

99, 99

为什么这两个值是一样的?因为int 3的最后3个字节都是0，所以它也被读为99。如果我们为x.a输入一个更大的数字，你会发现情况并非总是如此:

union foo x;
x.a = 387439;
x.b = 'c';
printf("%i, %i\n", x.a, x.b);

打印

387427, 99

为了更仔细地查看实际的内存值，让我们设置并打印十六进制的值:

union foo x;
x.a = 0xDEADBEEF;
x.b = 0x22;
printf("%x, %x\n", x.a, x.b);

打印

deadbe22, 22

您可以清楚地看到0x22覆盖了0xEF的位置。

BUT

在C语言中，int类型的字节顺序没有定义。这个程序在我的Mac上用0x22覆盖了0xEF，但是在其他平台上它会覆盖0xDE，因为组成int的字节的顺序颠倒了。因此，在编写程序时，永远不要依赖于覆盖联合中特定数据的行为，因为它是不可移植的。

有关字节排序的更多信息，请参阅endianness。

简单的回答是:结构体是一个记录结构体:结构体中的每个元素分配新的空间。一个结构体

struct foobarbazquux_t {
    int foo;
    long bar;
    double baz; 
    long double quux;
}

为每个实例在内存中分配至少(sizeof(int)+sizeof(long)+sizeof(double)+sizeof(long double))字节。(“至少”是因为架构对齐约束可能迫使编译器填充结构。)

另一方面，

union foobarbazquux_u {
    int foo;
    long bar;
    double baz; 
    long double quux;
}

分配一个内存块并给它四个别名。因此sizeof(union foobarbazquux_u)≥max((sizeof(int)，sizeof(long)，sizeof(double)，sizeof(long double))，同样有可能添加一些对齐。

联合在一些场景中很有用。 Union可以是非常低级的操作工具，比如为内核编写设备驱动程序。

其中一个例子是通过使用具有位域和浮点数的结构并集来解剖浮点数。我在浮点数中保存了一个数字，之后我可以通过该结构体访问浮点数的特定部分。该示例展示了如何使用联合来从不同角度查看数据。

#include <stdio.h>                                                                                                                                       

union foo {
    struct float_guts {
        unsigned int fraction : 23;
        unsigned int exponent : 8;
        unsigned int sign     : 1;
    } fg;
    float f;
};

void print_float(float f) {
    union foo ff;
    ff.f = f;
    printf("%f: %d 0x%X 0x%X\n", f, ff.fg.sign, ff.fg.exponent, ff.fg.fraction);

}

int main(){
    print_float(0.15625);
    return 0;
}

看看维基百科上的单精度描述。我使用了这个例子和其中的神奇数字0.15625。

联合还可用于实现具有多个备选项的代数数据类型。我在O'Sullivan, Stewart和Goerzen的《Real World Haskell》一书中找到了一个例子。 请查看受歧视的工会部分。

干杯!

你拥有它，仅此而已。 那么，工会的意义是什么呢?

您可以在相同的位置中放入不同类型的内容。你必须知道你在联合中存储的东西的类型(所以你经常把它放在一个带有type标签的结构体中…)

为什么这很重要?并不是为了获得空间。是的，你可以获得一些位或做一些填充，但这已经不是重点了。

这是为了类型安全，它允许你做某种“动态类型”:编译器知道你的内容可能有不同的含义，你如何解释它的确切含义取决于你在运行时。如果你有一个指针可以指向不同的类型，你必须使用联合，否则你的代码可能会因为别名问题而不正确(编译器会对自己说“哦，只有这个指针可以指向这种类型，所以我可以优化这些访问……”，糟糕的事情可能会发生)。