Inizializzazione di dati circolari in C. Questo codice C valido è conforme a qualsiasi standard?

Question

Volevo vedere se riuscivo a inizializzare una variabile globale per puntare a se stesso:

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

Questo codice viene compilato ed eseguito come previsto con gcc (tutti e tre puntatori di stampa in modo identico).

Voglio sapere:

1. È questo affidabile?
2. È questo standard?
3. È portatile?

EDIT: Giusto per chiarire, io sono in discussione la disponibilità dell'indirizzo di x nella propria inizializzazione.

Answer 1

Questo è il codice C di serie

Questo paragrafo del potente standard lo permette (sottolineatura mia):..

(C99, 6.2. 1p7) "I tag struttura, unione e enumerazione hanno portata t hat inizia subito dopo la comparsa del tag in un identificatore di tipo che dichiara il tag. Ogni costante di enumerazione ha un ambito che inizia subito dopo l'apparizione del suo enumeratore di definizione in una lista di elenchi. Qualsiasi altro identificatore ha scope che inizia subito dopo il completamento del suo dichiaratore. "

Per informazioni, si noti che per illustrare l'ultima frase del 6.2.1p7, il libro "The New C standard" di Derek M. Jones utilizza un esempio simile al vostro:

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

Answer 2

Sì a tutte le precedenti. Hai un paio di indicazioni che stai iniziando con lo stesso indirizzo, quindi hanno lo stesso indirizzo e lo stesso indirizzo con cui le hai inizializzate.

Forse più interessante è che x.a punta a se stesso (ovvero, il primo elemento in una struttura è garantito proprio all'inizio della struttura, quindi un puntatore alla struttura, convertito nel tipo di struttura primo elemento, è garantito per puntare a quel primo elemento