Inicializando datos circulares en C. ¿Este código C es válido según cualquier estándar?

Question

quería ver si podía inicializar una variable global para apuntar a sí mismo:

#include <stdio.h> 
struct foo { struct foo *a, *b; } x = { &x, &x }; 
int main() 
{ 
    printf("&x = %p, x.a = %p, x.b = %p\n", &x, x.a, x.b); 
    return 0; 
} 

Este código se compila y se ejecuta como se esperaba con gcc (todo de impresión de tres puntos de forma idéntica).

Quiero saber:

1. Esto es confiable?
2. ¿Es este estándar?
3. ¿Es esto portátil?

EDIT: Solo para aclarar, estoy cuestionando la disponibilidad de la dirección de x en su propia inicializador.

Answer 1

Este es el código estándar de C

Este párrafo del poderoso norma permite que (el énfasis es mío):..

(C99, 6.2. 1p7) "Las etiquetas de estructura, unión y enumeración tienen alcance t El sombrero comienza justo después de la aparición de la etiqueta en un especificador de tipo que declara la etiqueta. Cada constante de enumeración tiene un alcance que comienza justo después de la aparición de su enumerador de definición en una lista de enumerador. Cualquier otro identificador tiene alcance que comienza justo después de la finalización de su declarador. "

Para obtener más información, tenga en cuenta que para ilustrar la última frase del 6.2.1p7, el libro "The New Standard C" por Derek M. Jones usa un ejemplo similar a la suya:

struct T {struct T *m;} x = /* declarator complete here. */ {&x}; 

Answer 2

Sí a todo lo anterior. Tiene un par de punteros que está inicializando con la misma dirección, por lo que tienen la misma dirección, y eso es lo mismo que la dirección con la que los inicializó.

Quizás más interesante, x.a también se garantiza que apunta a sí mismo (es decir, se garantiza que el primer elemento de una estructura está en el comienzo de la estructura, por lo que un puntero a la estructura, convertido al tipo de primer elemento, se garantiza que señalar que el primer elemento de