结构体中的匿名联合不在 c99 中？

Question

这是我遇到的问题的非常简化的代码：

enum node_type {
    t_int, t_double
};

struct int_node {
    int value;
};

struct double_node {
    double value;
};

struct node {
    enum node_type type;
    union {
        struct int_node int_n;
        struct double_node double_n;
    };
};

int main(void) {
    struct int_node i;
    i.value = 10;
    struct node n;
    n.type = t_int;
    n.int_n = i;
    return 0;
}

我不明白的是：

$ cc us.c 
$ cc -std=c99 us.c 
us.c:18:4: warning: declaration does not declare anything
us.c: In function ‘main’:
us.c:26:4: error: ‘struct node’ has no member named ‘int_n’

使用不带 -std 选项的 GCC 编译上面的代码没有任何问题（以及类似的代码工作得很好），但似乎c99不允许这种技术。为什么会这样？是否可以兼容 c99（或 c89、c90）？谢谢。

Answer 1

Union 必须有一个名称并声明如下：

union UPair {
    struct int_node int_n;
    struct double_node double_n;
};

UPair X;
X.int_n.value = 12;

Answer 2

另一个解决方案是将公共标头值（enum node_type type）放入每个结构中，并使顶级结构成为联合。这并不完全是“不要重复自己”，但它确实避免了匿名联合和看起来不舒服的代理值。

enum node_type {
    t_int, t_double
};
struct int_node {
    enum node_type type;
    int value;
};
struct double_node {
    enum node_type type;
    double value;
};
union node {
    enum node_type type;
    struct int_node int_n;
    struct double_node double_n;
};

int main(void) {
    union node n;
    n.type = t_int; // or n.int_n.type = t_int;
    n.int_n.value = 10;
    return 0;
}

Answer 3

查看 C99 的 6.2.7.1，我发现标识符是可选的：

struct-or-union-specifier:
    struct-or-union identifier-opt { struct-declaration-list }
    struct-or-union identifier

struct-or-union:
    struct
    union

struct-declaration-list:
    struct-declaration
    struct-declaration-list struct-declaration

struct-declaration:
    specifier-qualifier-list struct-declarator-list ;

specifier-qualifier-list:
    type-specifier specifier-qualifier-list-opt
    type-qualifier specifier-qualifier-list-opt

我一直在上下搜索，但找不到任何违反规范的匿名联合的引用。整个 -opt 后缀表示该事物（在本例中为 identifier）根据 6.1 是可选的。

Answer 4

匿名联合是 GNU 扩展，不属于任何 C 语言标准版本的一部分。您可以对 c99+GNU 扩展使用 -std=gnu99 或类似的东西，但最好编写正确的 C，而不是依赖于只提供语法糖的扩展...

编辑： 匿名联合是添加到 C11 中，因此它们现在已成为该语言的标准部分。大概 GCC 的 -std=c11 允许您使用它们。

Answer 5

我在其他人发现这个问题大约一年半后才发现，所以我可以给出不同的答案：匿名结构不在 C99 标准中，但它们在 C11 标准中。 GCC 和 clang 已经支持这一点（C11 标准似乎已经从 Microsoft 中取消了该功能，并且 GCC 已经为某些 MSFT 扩展提供了一段时间的支持）。

Answer 6

好吧，解决方案是命名联合实例（可以作为数据类型保持匿名），然后使用该名称作为代理。

$ diff -u old_us.c us.c 
--- old_us.c    2010-07-12 13:49:25.000000000 +0200
+++ us.c        2010-07-12 13:49:02.000000000 +0200
@@ -15,7 +15,7 @@
   union {
     struct int_node int_n;
     struct double_node double_n;
-  };
+  } data;
 };

 int main(void) {
@@ -23,6 +23,6 @@
   i.value = 10;
   struct node n;
   n.type = t_int;
-  n.int_n = i;
+  n.data.int_n = i;
   return 0;
 }

现在它编译为 c99 没有任何问题。

$ cc -std=c99 us.c 
$ 

注意：无论如何，我对这个解决方案并不满意。

Answer 7

只是为了澄清匿名 struct 或匿名 union。

C11

6.7.2.1 结构和联合说明符

未命名成员，其类型说明符是结构说明符
无标签称为匿名结构；一个未命名成员，其类型
说明符是一个无标签的联合说明符，称为匿名
联盟。考虑匿名结构或联合的成员
成为包含结构或联合的成员。这适用
如果包含的结构或联合也是匿名的，则递归。

C99 没有匿名结构体或联合体

简化：类型说明符 标识符 { 声明列表 }< /code> 标签 ;

• 类型说明符：struct 或 union;
• 标识符：可选，您的struct或union的自定义名称；
• 声明列表：成员、变量、匿名struct和匿名union
• 标签：可选。如果类型说明符前面有typedef，则标签是别名，而不是标签。

仅当它没有标识符和标签，并且存在于另一个 struct 或 union< 内时，它才是匿名 struct 或匿名 union /代码>。

struct s {
    struct { int x; };     // Anonymous struct, no identifier and no tag
    struct a { int x; };   // NOT Anonymous struct, has an identifier 'a'
    struct { int x; } b;   // NOT Anonymous struct, has a tag 'b'
    struct c { int x; } C; // NOT Anonymous struct
};

struct s {
    union { int x; };     // Anonymous union, no identifier and no tag
    union a { int x; };   // NOT Anonymous union, has an identifier 'a'
    union { int x; } b;   // NOT Anonymous union, has a tag 'b'
    union c { int x; } C; // NOT Anonymous union
};

typedef 地狱：如果你有一个 typedef 标签部分就不再是标签了，它是该类型的别名。

struct a { int x; } A; // 'A' is a tag
union a { int x; } A;  // 'A' is a tag

// But if you use this way
typedef struct b { int x; } B; // 'B' is NOT a tag. It is an alias to struct 'b'
typedef union b { int x; } B;  // 'B' is NOT a tag. It is an alias to union 'b'

// Usage
A.x = 10; // A tag you can use without having to declare a new variable

B.x = 10; // Does not work

B bb; // Because 'B' is an alias, you have to declare a new variable
bb.x = 10;

下面的例子只是将struct更改为union，工作方式相同。

struct a { int x; }; // Regular complete struct type
typedef struct a aa; // Alias 'aa' for the struct 'a'

struct { int x; } b; // Tag 'b'
typedef struct b bb; // Compile, but unusable.

struct c { int x; } C; // identifier or struct name 'c' and tag 'C'
typedef struct { int x; } d; // Alias 'd'
typedef struct e { int x; } ee; // struct 'e' and alias 'ee'