Question

为什么以下示例在C中不起作用？

#include <stdio.h>

typedef struct {
  int x;
} X;

typedef struct {
  char y[10];
} Y;

typedef struct {
  int pos;
  union {
    X x;
    Y y;
  };
} Test;

int main() {
  X x = { 65 };
  Y y = { "Hallo" };
  Test t = { 1, x }; // OK
  printf("1: %d %d '%s'\n", t.pos, t.x.x, t.y.y);
  Test t2 = { 2, y }; // ERROR
  printf("2: %d %d '%s'\n", t2.pos, t2.x.x, t2.y.y);
  Test t3 = { 3 }; // OK
  printf("3: %d %d '%s'\n", t3.pos, t3.x.x, t3.y.y);
  return 0;
}

main.c：在函数'main'中：
  main.c：25：3：错误：使用类型'Y'初始化类型'int'时不兼容的类型      测试t2 = {2，y}; //错误
     ^

编辑：顺便说一下：t2.y = y;有效

Answer 1

因为初始化程序的类型未与union的可能成员进行分析和匹配。

相反，您应该只为第一个union成员提供初始值设定项。

C11草案§6.7.9.17：

每个大括号括起的初始化列表都有一个关联的当前对象。当没有指定时，根据当前对象的类型按顺序初始化当前对象的子对象：增加下标顺序的数组元素，声明顺序中的结构成员，以及union的第一个命名成员。

如上所述，您可以使用指示符来控制它：

Test t2 = { 2, .y = y };

应该有用（.y是指定者，“C99中的新”）。

Answer 2

您必须指定您正在初始化第一个以外的成员：

 Test t2 = { 2, { .y = y } } ;

否则，编译器将尝试初始化它，就像您编写：.x = y

一样

Struct初始化程序中的匿名联合

2 个答案: