结构中的匿名联合不在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’ 

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

Answer 1

联盟必须有一个名称，并声明如下：

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

UPair X; 
X.int_n.value = 12; 

Answer 2

匿名工会是一个GNU扩展，而不是C语言的任何标准版本的一部分。您可以使用-std = gnu99或类似的东西为C99 + GNU扩展，但它是最好写正确的C和不依赖于它提供什么，但语法糖扩展...

编辑：添加匿名联合在C11中，所以它们现在是语言的标准部分。据推测GCC的-std=c11可以让你使用它们。

Answer 3

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

 
$ 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 4

看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 5

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

Answer 6

另一种解决方案是将公共标题值（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; 
}