工会内的工会

Question

在C语言中，是否可以在另一个联合体中定义一个联合体？如果不是，为什么不可能？或者如果可以的话可以用在哪里？

Answer 1

假设您要定义：

union myun {
  int x;
  sometype y;
};

其中 sometype 是由您正在使用的库定义的 typedef。如果库碰巧将其实现为联合类型，那么这将是联合中的联合，并且这是有意义的，因为您不能（从良好的设计角度来看）违反库类型的封装。

Answer 2

是的，这是可能的，而且很有用。原因与 Y 中的 X 对 X 和 Y 的许多值有用的原因相同：组合性。程序是通过将微小的组件组​​装成小组件、组装成更大的组件、组装成巨大的组件……有时，一堆联合体恰好组装成一个联合体，那又怎样？

R..的答案显示了一个在幕后发生这种情况的示例：它只是碰巧联合成员类型之一是联合，但除非您查看库实现，否则您不知道这一点。

---

编辑 但是，请注意，可区分联合的常见习惯用法（其中联合的每个成员都是一个结构，其第一个字段是包含标签的整型类型）不会扩展到嵌套联合。也就是说，以下是常见的、符合标准的 (N1256 §6.5.2.3.5) 在 C 中实现可区分联合：

struct generic {
    unsigned tag;
};
struct smallnum {
    unsigned tag; /*always TAG_SMALLNUM*/
    unsigned value;
};
struct bignum {
    unsigned tag; /*always TAG_BIGNUM*/
    size_t length;
    unsigned *p;
};
struct string {
    unsigned tag; /*always TAG_STRING*/
    size_t length;
    char *p;
};
union number {
    struct bignum bignum;
    struct smallnum smallnum;
};
union object {
    struct generic generic;
    struct bignum bignum;
    struct smallnum smallnum;
    struct string string;
};

如果您有一个 union object 对象 x，您始终可以将其标签读取为x.generic.tag （或 x.bignum.tag 或任何其他），无论实际分配给对象的是什么。通过为对象使用唯一的标签（鉴别器）。

以下定义是合法的，但没有用，因为您不能仅读取 union level2 对象的第一个字段来获取标记：如果 union level2 对象被编写为union number，必须通过number成员读取其标签，否则必须通过generic或成员读取其标签字符串 成员。如果通过错误的成员进行访问在每个现有的实现上都有效，但它不符合标准，我不会感到惊讶。

union level2 {
    struct generic generic;
    union number number;
    struct string string;
};

Answer 3

是的，这是可能的。但我倾向于坚持永远不要使用工会的建议。工会是正确答案的情况很少。我怀疑在任何情况下，包含工会的工会都是一个好主意。

Answer 4

是的，这是可能的。我想不出如何很好地利用我的头顶，尽管很容易想出一个人为的例子。

Answer 5

是的，一个联合可能包含另一个联合：

union foo {
  int x;
  double y;
  union bar {
    char blah[10];
    char *blurga;
  } bletch;
};

不过，我想不出它会有用（甚至是可取）的情况。