¿Unión anónima dentro de struct no en c99?

gcc unions

Question

Aquí hay un código de problema muy simplificado que tengo:

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; }

Y lo que no entiendo es esto:

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

El uso de GCC sin la opción -std compila el código anterior sin ningún problema (y el código similar funciona bastante bien), pero parece que c99 no permite esta técnica. ¿Por qué es así y es posible hacer que c99 (o c89 , c90 ) sea compatible? Gracias.

Answer 1

Bueno, la solución fue nombrar la instancia de la unión (que puede permanecer anónima como tipo de datos) y luego usar ese nombre como proxy.

$ 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; }

Ahora se compila como c99 sin ningún problema.

$ cc -std=c99 us.c $

Nota: de todos modos, no estoy contento con esta solución.

Answer 2

Estoy encontrando esta pregunta aproximadamente un año y medio después que todos los demás, por lo que puedo dar una respuesta diferente: las estructuras anónimas no están en el estándar C99, pero están en el estándar C11. GCC y clang ya lo admiten (el estándar C11 parece haber eliminado la función de Microsoft, y GCC ha brindado soporte para algunas extensiones de MSFT durante algún tiempo).

Answer 3

La Unión debe tener un nombre y declararse así:

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

UPair X;
X.int_n.value = 12;

Answer 4

Los sindicatos anónimos son una extensión de GNU, que no forma parte de ninguna versión estándar del lenguaje C. Puede usar -std = gnu99 o algo así para las extensiones c99 + GNU, pero lo mejor es escribir C propiamente dicha y no confiar en extensiones que proporcionan nada más que azúcar sintáctico ...

Editar: Se agregaron uniones anónimas en C11, por lo que ahora son una parte estándar del idioma. Presumiblemente GCC''s -std=c11 te permite usarlos.

Answer 5

Mirando 6.2.7.1 de C99, estoy viendo que el identificador es opcional:

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

He estado buscando y buscando, y no puedo encontrar ninguna referencia a uniones anónimas que estén en contra de las especificaciones. El sufijo -opt completo indica que la cosa, en este caso el identifier es opcional de acuerdo con 6.1.

Answer 6

Otra solución es colocar el valor de encabezado común ( enum node_type type ) en cada estructura y hacer que su estructura de nivel superior sea una unión. No es exactamente "Do not Repeat Yourself", pero evita las uniones anónimas y los valores de proxy incómodos.

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;
}